整数環

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

${\displaystyle x=\sum _{i=1}^{n}a_{i}b_{i}}$

と表せる^[3]。O_K の自由 Z 加群としての階数 n は K の Q 上の次数（英語版）に等しい。

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

p が素数で、ζ が1の p 乗根で、K = Q(ζ) が対応する円分体のとき、O_K = Z[ζ] の整基底は (1, ζ, ζ², … , ζ^p−2) で与えられる^[5]。

d が平方因子を持たない整数で、K = Q(√d) が対応する二次体のとき、O_K は二次の整数（英語版）の環であり、その整基底は次で与えられる：d ≡ 1 (mod 4) のとき (1, (1 + √d)/2) で、d ≡ 2, 3 (mod 4) のとき (1, √d) である^[6]。

整数環において、すべての元は既約元への分解を持つが、環は一意分解の性質を持つとは限らない：例えば、整数環 Z[√−5] において、元 6 は2つの本質的に異なる既約元への分解を持つ^[4][7]：

${\displaystyle 6=2\cdot 3=(1+{\sqrt {-5}})(1-{\sqrt {-5}})\ .}$

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

整数環 O_K の単数全体は、ディリクレの単数定理により、有限生成アーベル群である。捩れ部分群は K の1の冪根全体からなる。捩れなし生成元の集合は基本単数（英語版）の集合と呼ばれる^[9]。

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

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