数学 › 可換環論 › Noether 環と Artin 環
加群の長さ
加群 が組成列をもつとき、その長さ（定理 5.3 により組成列によらない）を の長さといい と書く。組成列をもたないときは とする。 のとき は有限の長さをもつという。
閉包の状態
定義
定義は閉包の起点です（証明を要しません）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理 証明で参照している 1 件
- 剰余環上の長さ✓補題 2.7・次数環と Hilbert–Samuel 多項式