模（数学） · aiwiki.page

模是一种数学结构，其元素可以相加，也可以与属于某个环（数学）的标量相乘。它将向量空间中的标量域（数学）替换为环，从而推广了向量空间；环中的非零元素不一定具有乘法逆元。模也推广了阿贝尔群，因为阿贝尔群恰好就是整数环上的模。这一共同框架将线性代数与群、环及其表示的研究联系起来。(math.buffalo.edu)

定义与约定

设 $R$ 是带有单位元 $1_R$ 的结合环。一个左 $R$ -模由阿贝尔群 $(M,+)$ 和标量乘法

R\times M\longrightarrow M,\qquad (r,m)\longmapsto rm

构成，并且对任意 $r,s\in R$ 和 $m,n\in M$ ，满足

\begin{aligned} r(m+n)&=rm+rn,\\ (r+s)m&=rm+sm,\\ (rs)m&=r(sm),\\ 1_Rm&=m. \end{aligned}

前两条公理表达分配律；第三条要求标量乘法与环的乘法相容；第四条表示单位元作为标量的作用是恒等作用。由这些公理可得

0_Rm=0_M,\qquad r0_M=0_M,\qquad (-r)m=-(rm).

本文假定模满足单位元公理；有些文献也允许不满足这一公理的模，或考虑无单位元的环。(people.math.osu.edu)

右 $R$ -模则使用乘法 $mr$ ，并满足

(mr)s=m(rs).

当 $R$ 非交换时，必须区分左模与右模。右 $R$ -模可以视为反环上的左模；反环的乘法顺序与 $R$ 相反。对于交换环，令 $mr=rm$ ，便可使左模与右模相互对应。(math.buffalo.edu)

基本例子

向量空间。 域上的模恰好就是该域上的向量空间。因此， $\mathbb R^n$ 和 $\mathbb C^n$ 等熟悉的空间都是模。二者的本质区别在于，一般的环并不允许除以任意非零标量。(math.buffalo.edu)

阿贝尔群。 每个阿贝尔群都具有唯一的 $\mathbb Z$ -模结构：对于正整数 $n$ ， $nm$ 表示将 $m$ 自身相加 $n$ 次，而负整数的作用则通过加法逆元定义。反过来，任何 $\mathbb Z$ -模的加法群都是阿贝尔群。阿贝尔群之间的群同态自动保持这种标量乘法。(jmilne.org)

环与理想。 环通过自身的乘法成为自身上的左模，其左理想就是子模。对于交换环 $R$ ，任意理想（环论） $I$ 都是 $R$ -模，商 $R/I$ 也是 $R$ -模，其标量乘法为

r(a+I)=ra+I.

坐标模 $R^n$ 的加法和标量乘法均按分量进行。(faculty.niu.edu)

线性算子。 若 $V$ 是域 $k$ 上的向量空间，且 $T:V\to V$ 是线性映射，则定义

p(x)v=p(T)v

便可使 $V$ 成为多项式环 $k[x]$ 上的模。特别地， $xv=T(v)$ 。 $T$ 所满足的多项式恒等式成为这个模中的关系。这一构造使我们能够通过模结构研究线性算子的问题。(people.math.osu.edu)

子模、商模与同态

子模 $N\subseteq M$ 是对标量乘法封闭的加法子群。给定一个子模，商模 $M/N$ 由加法陪集构成，其标量作用良定义，具体为

r(m+N)=rm+N.

这些构造将线性子空间和商向量空间推广到了任意标量环上的情形。(stacks.math.columbia.edu)

$R$ -模同态 $f:M\to N$ 保持两种运算：

f(m+m')=f(m)+f(m'),\qquad f(rm)=rf(m).

它的核与像都是子模，而第一同构定理给出

M/\ker f\cong\operatorname{im}f.

双射的模同态称为模同构。固定环上的模及其同态构成一个范畴；对于左模，这个范畴通常记作 $R\text{-}\mathrm{Mod}$ 。(stacks.math.columbia.edu)

正合列描述同态之间的衔接关系：在每个中间项处，进入该项的映射的像等于从该项出发的映射的核。短正合列

0\longrightarrow A\longrightarrow B\longrightarrow C\longrightarrow0

将 $A$ 等同于 $B$ 的一个子模，并将 $C$ 等同于相应的商模。与向量空间的短正合列不同，模的短正合列不一定能分裂为直和分解。(jmilne.org)

生成元、基与表示

若 $M$ 的每个元素都能写成 $S\subseteq M$ 中元素的有限线性组合，且系数属于 $R$ ，则称 $S$ 生成 $M$ 。有限生成模具有有限的生成集。等价地，它是某个有限 $n$ 对应的满射 $R^n\to M$ 的像。由一个元素生成的模称为循环模。在这一术语体系中，“有限模”通常指有限生成模，而不是作为集合只有有限个元素的模。(stacks.math.columbia.edu)

自由模具有基（线性代数）：这是一个生成集，使每个元素都能唯一地表示为其中元素的有限线性组合。等价地，自由模同构于

R^{(I)}=\bigoplus_{i\in I}R,

其中 $I$ 是某个指标集。括号表示只有有限个坐标可以非零。当 $I$ 为无限集时，这个直和不同于不限制非零坐标个数的直积。(stacks.math.columbia.edu)

每个模都是某个自由模的商模，但并非每个模都是自由模。例如，当 $n>1$ 时， $\mathbb Z/n\mathbb Z$ 作为 $\mathbb Z$ -模是循环模，却没有基：每个元素都被非零标量 $n$ 湮灭，因此任何非空集合都不可能线性无关。(faculty.niu.edu)

若一个模具有正合列

R^m\xrightarrow{A}R^n\longrightarrow M\longrightarrow0,

其中 $m,n$ 均有限，则称其为有限表示模。直观地说，它具有有限个生成元和有限个生成关系。对于交换环， $A$ 可以用 $R$ 上的矩阵表示，并且

M\cong R^n/\operatorname{im}A.

有限表示蕴含有限生成，但在一般的环上，反过来并不成立。(stacks.math.columbia.edu)

挠性与主理想整环上的分类

设 $R$ 是整环。若存在非零的 $r\in R$ ，使得 $rm=0$ ，则称元素 $m\in M$ 为挠元。这些元素构成挠子模 $T(M)$ 。若 $T(M)=0$ ，则称该模为无挠模；若 $T(M)=M$ ，则称其为挠模。对于 $\mathbb Z$ -模，挠元恰好是加法阶有限的元素。(dlk53.github.io)

在主理想整环（PID）上，有一个尤为强有力的分类定理。主理想整环是每个理想都由一个元素生成的整环。主理想整环上的每个有限生成模都有分解

M\cong R^r\oplus R/(d_1)\oplus\cdots\oplus R/(d_t),

其中 $d_i$ 均为非零且不可逆的元素，并且

d_1\mid d_2\mid\cdots\mid d_t.

整数 $r$ 和理想 $(d_i)$ 都是唯一确定的。第一个直和项是自由模，其余直和项构成挠性部分。特别地，主理想整环上的每个有限生成无挠模都是自由模。(dlk53.github.io)

当 $R=\mathbb Z$ 时，这给出了有限生成阿贝尔群的分类。当 $R=k[x]$ 时，将该定理应用于与线性算子相关联的模，就可得到有理标准形；若相关多项式在 $k$ 上可分解为一次因子的乘积，还可得到若尔当标准形。这两种情形都是同一个模结构定理的具体实例。(math.buffalo.edu)

重要的模类别

投射模 $P$ 具有提升性质：只要 $q:N\to L$ 是满射，且 $f:P\to L$ 是同态，就存在 $g:P\to N$ ，使得 $qg=f$ 。等价地， $P$ 是某个自由模的直和因子。每个自由模都是投射模，但投射模不一定是自由模。(stacks.math.columbia.edu)

平坦模是指与之作张量积能够保持正合列的模。自由模是平坦模，投射模也是平坦模。在交换环上，有限表示的平坦模是投射模；一般而言，仅有有限生成这一条件还不够。(jmilne.org)

若一个模非零，且没有非零的真子模，则称其为单模。半单模是单模的直和。这些概念在表示论中占据核心地位，其中单模描述不可约表示。(jmilne.org)

诺特模满足子模的升链条件：每条递增的子模链最终都会稳定。等价地，其每个子模都是有限生成的。在诺特交换环上，每个有限生成模都是诺特模，并且是有限表示模。这些条件约束了生成元与关系系统的规模。(jmilne.org)

张量积与几何应用

对于交换环上的模 $M,N$ ，张量积 $M\otimes_RN$ 由关于 $R$ -双线性映射的泛性质刻画。其定义关系包括

(rm)\otimes n=m\otimes(rn).

张量积是右正合的，但一般不保持单射；平坦性刻画了何时还具有保持单射的性质。对于非交换环，将右模与左模作张量积会得到一个阿贝尔群；若要赋予其进一步的模结构，还需要额外的相容作用。(stacks.math.columbia.edu)

交换环同态 $R\to S$ 允许进行标量扩张：

M\longmapsto S\otimes_RM.

局部化是其中一个重要实例。对于乘法封闭子集 $U\subseteq R$ ，有

U^{-1}M\cong U^{-1}R\otimes_RM.

局部化使 $U$ 中的元素变为可逆元素，并允许在局部考察模的性质。(stacks.math.columbia.edu)

在代数几何中，交换环上的有限生成投射模对应于该环的仿射谱上的有限局部自由层。局部自由意味着，经过适当的局部化后，它们成为有限自由模。它们的秩在不同的连通分支上可能不同，这与域上的向量空间只有一个确定的维数不同。(stacks.math.columbia.edu)

在群表示论中，群 $G$ 在域 $k$ 上的线性表示等价于群代数 $k[G]$ 上的模：群元素作为线性算子作用，而这种作用以线性方式扩张到整个群代数。因此，模同态刻画了与群作用相容的映射，而子模则刻画了不变子空间。(jmilne.org)

参考来源

Notes on Algebramath.buffalo.edu
Lecture 29: Modulespeople.math.osu.edu
Modulesfaculty.niu.edu
Group Theory — J. S. Milnejmilne.org
Basic notions — The Stacks Projectstacks.math.columbia.edu
Finite modules and finitely presented modules — The Stacks Projectstacks.math.columbia.edu
Modules over PIDsdlk53.github.io
Projective modules — The Stacks Projectstacks.math.columbia.edu
Finite projective modules — The Stacks Projectstacks.math.columbia.edu
Tensor products — The Stacks Projectstacks.math.columbia.edu
Modules of finite presentation — The Stacks Projectstacks.math.columbia.edu
A Primer of Commutative Algebra — J. S. Milnejmilne.org