数学 › 可換環論 › Noether 環と Artin 環
単純加群・組成列
定義 5.1(「Noether 環と Artin 環」§5)
A 加群 M が単純であるとは、M=0 で、部分加群が 0 と M だけであることをいう。M の部分加群の列
0=M0⊊M1⊊⋯⊊Mn=Mで、各 Mi/Mi−1(1≤i≤n)が単純であるものを M の組成列、n をその長さ、Mi/Mi−1 を組成因子という(M=0 のときは n=0 の列だけを組成列とする)。
本文で読む(前後の説明と例)→
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。