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

Noether 加群・Artin 加群

定義 2.2(「Noether 環と Artin 環」§2)

AA 加群 MM が Noether 加群であるとは、部分加群の昇鎖 M1⊆M2⊆⋯M_1 \subseteq M_2 \subseteq \cdots がつねに止まる(ある nn 以降 Mn=Mn+1=⋯M_n = M_{n+1} = \cdots)ことをいう。部分加群の降鎖 M1⊇M2⊇⋯M_1 \supseteq M_2 \supseteq \cdots がつねに止まるとき Artin 加群という。環 AA が Artin 環であるとは、AA が AA 加群として Artin 加群であること、すなわちイデアルの降鎖がつねに止まることをいう。

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

閉包の状態

定義

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

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

これを使っている定理

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