整数
は、整数の全体が環であることを用いれば、n を任意の整数とするとき、逆元の一意性による −(−n) = n と 0 が吸収元すなわち n × 0 = 0 = 0 × n = 0 となることなどを使って証明できる。
整数環 Z は零因子を持たない単位的可換環ゆえに整域である。逆元を持つ整数は {±1} の二つだけであり、Z から 0 を除いた集合は除法について閉じていないので、Z は体にならない。
乗法の逆演算としての通常の除法は Z 上で定義された演算とはならないけれども、しかし Z は除法の原理と呼ばれる性質「任意の整数a と任意の整数 b ≠ 0 に対して、a = qb + r かつ 0 ≦ r < |b| を満たす二つの整数q とr が存在する」が成り立つので、「余りのある除法」を定義することができて、Z はユークリッド整域となる。特に x と y の最大公約数が d のとき、ax + by = d を満たす整数 a, b が存在することはユークリッドの互除法などにより保証され
(x) + (y) = (d)
が成り立つから、Z が単項イデアル整域であることがわかる。ここから導かれる、任意の整数が単元を掛ける違いを除いて素数の積として一意に表されるという重要な事実は算術の基本定理と呼ばれ、Z が一意分解環であることを示す。