阿廷模是抽象代数中一类满足降链条件的模。

定义

以下固定一个环 ${\displaystyle A}$。设 ${\displaystyle M}$ 为左 ${\displaystyle A}$-模，当 ${\displaystyle M}$ 满足下列，则称 ${\displaystyle M}$ 为阿廷模：

对所有由 ${\displaystyle M}$ 的子模构成的降链 ${\displaystyle M_{1}\supset M_{2}\supset \cdots }$，存在 ${\displaystyle N\in \mathbb {N} }$ 使得 ${\displaystyle i\geq \mathbb {N} \Rightarrow M_{i}=M_{i+1))$；换言之，此降链将会固定。

若将上述定义中的左模换成右模，可得到右阿廷模的定义。

性质

• 若 ${\displaystyle A}$ 是 ${\displaystyle k}$-代数，任何在 ${\displaystyle k}$ 上有限维的 ${\displaystyle A}$-模都是阿廷模。
• 若 ${\displaystyle N\subset M}$，且 ${\displaystyle N}$ 与 ${\displaystyle M/N}$ 皆为阿廷模，则 ${\displaystyle M}$ 为阿廷模。
• 阿廷模的子模与商模皆为阿廷模。
• 阿廷模与环的性质差异之一，在于有非诺特模的阿廷模，以下将给出一个例子：

令 ${\displaystyle M:=\mathbb {Z} [1/p]/\mathbb {Z} }$，视之为 ${\displaystyle \mathbb {Z} }$-模。升链

${\displaystyle \langle 1/p\rangle \subset \langle 1/p^{2}\rangle \subset \langle 1/p^{3}\rangle \cdots }$

不会固定，因此 ${\displaystyle M}$ 并非诺特模。然而我们知道 ${\displaystyle M}$ 的任何子模皆形如 ${\displaystyle \langle 1/n\rangle }$，由此可知任何降链皆可写成

${\displaystyle \langle 1/n_{1}\rangle \supset \langle 1/n_{2}\rangle \supset \langle 1/n_{3}\rangle \cdots }$

其中 ${\displaystyle n_{i+1}|n_{i))$，故将固定，于是 ${\displaystyle M}$ 是阿廷模。

文献

• Serge Lang, Algebra (2002), Graduate Texts in Mathematics 211, Springer. ISBN 0-387-95385-X