全部书籍

专业

应用 关于 Coach 登录 开始阅读

书籍暂未推出简体中文版——当前显示英文版。

Mathematics · 术语表

什么是 module?

Definition 3.1 University Mathematics — Year 3 · 第 3 章 — Modules over a Principal Ideal Domain

An AA-module is an abelian group (M,+)(M, +) with a scalar multiplication A×M→MA \times M \to M satisfying the vector-space axioms: a(x+y)=ax+aya(x + y) = ax + ay, (a+b)x=ax+bx(a + b)x = ax + bx, (ab)x=a(bx)(ab)x = a(bx), 1x=x1x = x. Submodules, quotients M/NM/N, morphisms (AA-linear maps), direct sums ⨁iMi\bigoplus_i M_i, and the isomorphism theorems are defined and proved word for word as for vector spaces and abelian groups; in particular M/ker⁡f≅im⁡fM/\ker f \cong \operatorname{im} f for a morphism ff.

示例

Example 3.2

The three motivating cases.

  1. A=KA = K a field: modules are vector spaces.
  2. A=ZA = \Z: modules are exactly abelian groups (nxnx is forced to be x+⋯+xx + \dots + x), submodules are subgroups.
  3. A=K[X]A = K[X]: a module is a KK-vector space VV together with the KK-linear map u ⁣:x↦X⋅xu\colon x \mapsto X\cdot x — conversely, every pair (V,u)(V, u) with u∈L(V)u \in \mathcal L(V) becomes a K[X]K[X]-module by P⋅x=P(u)(x)P \cdot x = P(u)(x). The submodules are precisely the uu-stable subspaces.

An ideal of AA is exactly a submodule of AA; a quotient ring A/IA/I is an AA-module. Unlike vector spaces, modules can have torsion: in Z/6Z\Z/6\Z, the element 3ˉ≠0\bar 3 \ne 0 is killed by 2≠02 \neq 0.

在原文中阅读 →