20/06/18 17:14:13.95 F4jhkTZx.net
>>509 ありがとうございます。理解できました。
>>510 ネーター云々は私にはレベルが高すぎました。申し訳ない。
M :=＜s1,s2,..,sM＞, M' ⊂ M
L := ＜s2,..,sM＞ ⊂ M
N := M/L = ＜[s1]＞
L':= L∩M' {有限生成 ∵L'⊂L}
N':= M'/L' {有限生成 ∵M'/L'≃(M'+L)/L ⊂ M/L=N}
完全系列: 0→ L'=L∩M' → M' → M'/L'=N' → 0
補題より M' は 有限生成