整数環

数学において、代数体  の整数環（せいすうかん、）とは、 に含まれるすべての整な元からなる環である。整な元とは有理整数係数の単多項式  の根である。この環はしばしば  あるいは  と書かれる。任意の有理整数は  に属し、その整元であるから、環  はつねに  の部分環である。

環  は最も簡単な整数環である。すなわち、 ただし  は有理数体である。そして実際、代数的整数論では、 の元はこのためしばしば「有理整数」と呼ばれる。

代数体の整数環は体の一意的な極大である。

性質 
整数環  は有限生成  加群である。実際、それは自由  加群であり、したがって整基底 (integral basis), すなわち次のような基底を持つ： ベクトル空間  の基底  であって、 の各元  は  で一意的に

と表せる。 の自由  加群としての階数  は  の  上のに等しい。

代数体の整数環はデデキント整域である。

例
 が素数で、 が1の  乗根で、 が対応する円分体のとき、 の整基底は  で与えられる。

 が平方因子を持たない整数で、 が対応する二次体のとき、 はの環であり、その整基底は次で与えられる： のとき  で、 のとき  である。

乗法的構造
整数環において、すべての元は既約元への分解を持つが、環は一意分解の性質を持つとは限らない：例えば、整数環  において、元  は2つの本質的に異なる既約元への分解を持つ：

整数環はつねにデデキント整域であり、したがってイデアルの素イデアルへの一意分解を持つ。

整数環  の単数全体は、ディリクレの単数定理により、有限生成アーベル群である。捩れ部分群は  の1の冪根全体からなる。捩れなし生成元の集合はの集合と呼ばれる。

一般化
非アルキメデス的局所体  の整数環を絶対値が 1 以下の  のすべての元の集合として定義する；これは強三角不等式により環である。 が代数体の完備化であれば、その整数環は代数体の整数環の完備化である。代数体の整数環はすべての非アルキメデス的完備化において整数であるような元の全体として特徴づけられる。

例えば、 進整数  は  進数  の整数環である。

脚注

参考文献
 

 

環論
代数的整数論
数学に関する記事