TOPICS
Search

Unit


A unit is an element a of a ring with multiplicative identity 1 for which an element b satisfies ab=ba=1. Every nonzero element of a field is a unit. For a number field K, the units of K considered here are the units of its ring of integers O_K. Equivalently, they are the algebraic integers in K that divide 1 in O_K, and hence divide every algebraic integer in K. The ring O_K may have infinitely many units.

For an integer n>=2, the units of Z_n are the residue classes represented by integers relatively prime to n. Among these units, the squares modulo n are quadratic residues.

All real quadratic fields Q(sqrt(D)) have +/-1 as units of their rings of integers.

The numbers of units in the ring of integers of the imaginary quadratic field Q(sqrt(-D)) for D=1, 2, ... are 4, 2, 6, 4, 2, 2, 2, 2, 4, 2, 2, 6, 2, ... (OEIS A092205). There are four units for D=1, 4, 9, 16, ... (OEIS A000290; the square numbers), six units for D=3, 12, 27, 48, ... (OEIS A033428; three times the square numbers), and two units for all other imaginary quadratic fields, i.e., D=2, 5, 6, 7, 8, 10, 11, ... (OEIS A092206). The following table gives the units for small D. In this table, omega is a primitive root of unity of order 3.

Dunits of O_(Q(sqrt(-D)))
1+/-1, +/-i
2+/-1
3+/-1, +/-omega, +/-omega^2

See also

Eisenstein Unit, Fundamental Unit, Imaginary Unit, Prime Unit, Quadratic Residue, Root of Unity

Explore with Wolfram|Alpha

References

Sloane, N. J. A. Sequences A000290/M3356, A033428, A092205, and A092206 in "The On-Line Encyclopedia of Integer Sequences."

Referenced on Wolfram|Alpha

Unit

Cite this as:

Weisstein, Eric W. "Unit." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/Unit.html

Subject classifications