数学 › 可換環論 › Cohen–Macaulay 環と正則局所環

普遍鎖状環

定義 4.1(「Cohen–Macaulay 環と正則局所環」§4)

Noether 環 AA が普遍鎖状であるとは、すべての有限生成 AA 代数が鎖状環(定義 7.3[Krull 次元と単項イデアル定理])であることをいう。

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

閉包の状態

定義

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

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

これを使っている定理

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