- 285 名前：208 [2005/10/17(月) 12:22:24 ]
- 補題
A を環、M を A-加群とする。
M が長さ n の組成列(>>254)を持てば、M の任意の部分加群 N に
対して、M/N は長さ ≦ n の組成列を持つ。
証明
n に関する帰納法。
M = M_0 ⊃ M_1 ⊃ M_2 ... ⊃ M_n = 0 を組成列とする。
(N + M_(n-1))/N は M_(n-1)/(N ∩ M_(n-1)) と同型である。
N + M_(n-1) ⊃ M_(n-1) であり、M/M_(n-1) は長さ = n-1 の
組成列を持つ。よって、N + M_(n-1) に帰納法の仮定が使える。
残りの証明は読者に任す。
