A unit is an element of a ring with multiplicative
identity 1 for which an element
satisfies
.
Every nonzero element of
a field is a unit. For a number
field
, the units of
considered here are the units of its ring
of integers
.
Equivalently, they are the algebraic integers
in
that divide 1 in
, and hence divide every algebraic
integer in
.
The ring
may have infinitely many units.
For an integer , the units of
are the residue classes
represented by integers relatively
prime to
.
Among these units, the squares modulo
are quadratic residues.
All real quadratic fields have
as units of their rings
of integers.
The numbers of units in the ring of integers of the imaginary quadratic field for
, 2, ... are 4, 2, 6, 4, 2, 2, 2, 2, 4, 2, 2, 6, 2, ... (OEIS
A092205). There are four units for
, 4, 9, 16, ... (OEIS A000290;
the square numbers), six units for
, 12, 27, 48, ... (OEIS A033428;
three times the square numbers), and two units for
all other imaginary quadratic fields, i.e.,
, 5, 6, 7, 8, 10, 11, ... (OEIS A092206).
The following table gives the units for small
. In this table,
is a primitive root
of unity of order 3.
| units of | |
| 1 | |
| 2 | |
| 3 |