数学 › 可換環論 › Noether 環と Artin 環

単純加群・組成列

定義 5.1(「Noether 環と Artin 環」§5)

AA 加群 MM が単純であるとは、M≠0M \ne 0 で、部分加群が 00 と MM だけであることをいう。MM の部分加群の列

0=M0⊊M1⊊⋯⊊Mn=M0 = M_0 \subsetneq M_1 \subsetneq \cdots \subsetneq M_n = M

で、各 Mi/Mi−1M_i/M_{i-1}(1≤i≤n1 \le i \le n)が単純であるものを MM の組成列、nn をその長さ、Mi/Mi−1M_i/M_{i-1} を組成因子という(M=0M = 0 のときは n=0n = 0 の列だけを組成列とする)。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理

証明で明示的に参照している定理は、まだありません。