>>722-723
一般にMが有限生成、(m[i])がMの元の集合でM = Σ[i∈I]m[i]AとするとIの有限部分集合FがとれてM = Σm[i∈F]A。

(∵) M = Σ[j=1〜n]n[j]Aとする。
各 j に対し有限集合 F[j] と a[i,j]∈Aで
n[j] = Σ[i∈F[j]]m[i]a[ij]
となるものがとれる。
F = ∪ F[j] とすれば n[j] ∈ Σ[i∈F] m[i]Aであるから
M ⊂ Σ[j=1〜n]n[j]A ⊂ Σ[i∈F] m[i]A である。