整拡大は環の拡大の中でも特に良い性質をもつクラスであり、代数幾何学における有限射や整数論における代数的整数の理論の基礎となります。
整元の定義
を可換環の拡大とします。 が 上整であるとは、ある正整数 と が存在して
を満たすことをいいます。すなわち、 は 係数のモニック多項式の根です。
整元の同値条件
が 上整であることは、次の条件と同値です。
が 上有限生成加群である
を含む の部分環 で、 上有限生成加群となるものが存在する
「有限生成加群」という条件は、有限個の元の -線型結合で表せることを意味します。
整拡大の定義
のすべての元が 上整であるとき、 は の整拡大であるといいます。
体の拡大 において「 が 上代数的」という条件の環版です。
整閉包
上整である の元全体を の における整閉包といい、 や と書きます。
整閉包はイデアル
は の部分環である。すなわち、整元の和・積は再び整元。
整拡大の推移性
において、 が 上整かつ が 上整ならば、 は 上整です。
整拡大の性質
が 上整かつ有限生成 -代数なら、 は有限生成 -加群
整拡大 において、 が整域なら も整域
整拡大 において、 が体なら も体
素イデアルの振る舞い
整拡大において素イデアルは良い振る舞いをします。
Lying over
が整拡大、 が の素イデアルなら、 となる の素イデアル が存在する。
Incomparability
が の同じ素イデアル上にある の素イデアルで なら、。
具体例
代数的整数
は整拡大。 は の根なので 上整。
非整元
において は 上整でない。 を根とするモニック多項式 は 係数でない。
有限体拡大
体 上の有限次拡大 は整拡大（代数拡大と同じ）。
