05/10/17 12:06:11
補題
A を環、M を A-加群とする。
M が長さ n の組成列(>>254)を持てば、M の任意の部分加群 N は、
長さ ≦ n の組成列を持つ。
証明
n に関する帰納法。
M = M_0 ⊃ M_1 ⊃ M_2 ... ⊃ M_n = 0 を組成列とする。
(N + M_1)/ M_1 は N/(M_1 ∩ N) と同型である。
N + M_1 = M_1 つまり N ⊂ M_1 の場合は帰納法の仮定より、
N は長さ ≦ n-1 の組成列を持つ。
N + M_1 ≠ M_1 の場合は、N + M_1 = M であり、N/(M_1 ∩ N) は
単純加群(>>253)である。一方、M_1 ∩ N は帰納法の仮定より、
長さ ≦ n-1 の組成列を持つ。よって、N は長さ ≦ n の組成列を持つ。
証明終
(注) 図を書くと証明が良く分かる。