令A为交换环,M为任意A模块,U=(αij)矩阵为型(m,n),元素位于A中。
(a) 假设m=n并设Δ=det(U);那么,如果 x1,…,xn 是 M 的元素,使得 1≤i≤n 对应 ∑j=1nαijxj=0,则每个指标 i 对应 Δxi=0。
(b) 假设m和n是任意的,阶>r的U的所有小数都是零,并且阶r的小数是可逆的,对于例矩阵(αij),其中i≤r和j≤r;那么如果ai表示U中指标i的行,则所有An的子模的指标≤r形式基的ai U 行;对于i>r,因此ai=∑k=1rλikak。则令y1,…,ym为M的元素;对于1≤i≤m,存在方程∑j=1nαijxj=yi的M满足系统的元素x1,…,xn,yi=∑k=1rλikyk对于i>r是充分必要的。