习题 1, § 1

设A为主理想整环，不是域，且A的不可约元的代表由……组成的P系统。A-模M是阿廷的当且仅当它是挠元模且存在P的有限子集S，这样满足以下两个条件：

(i) 对于每个 $\pi \in P$ - S，M 的 $\pi$ 主成分 $M_{\pi}$ (VII, §2, No. 2，p. 8) 减少到 0。

(ii) 对于每个$\pi \in S$，被$\pi$消灭的M的元素的集合，被视为向量空间超过域$A/\pi A$，是有限维的。