ここで、Z[ζ] の単数を求めよう。

>>230 の式
N(a + bζ) = a^2 - ab + b^2
より、
a^2 - ab + b^2 = 1 となる有理整数 a, b を求めればよい(>>193)。

この式の両辺を４倍して、
(2a - b)^2 + 3b^2 = 4
となる。
これから |b| ≦ 1 である。
つまり b = 0, 1, -1

簡単な計算で
b = 0 なら a = ±1
b = 1 ならa = 0, 1
b = -1 ならa = 0, -1
となる。
よって単数は以下の６個のみである。

1, -1, ζ, 1 + ζ, -ζ, -1 -ζ