0729132人目の素数さん
2018/11/13(火) 23:56:50.94ID:0KDw12l5一般に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 である。