This site is supported by donations to The OEIS Foundation.
Units
From OeisWiki
Units are elements of a set having a multiplicative inverse belonging to that set. (The set of units form a multiplicative group.) Algebraic integer units have complex norm 1 and are thus complex roots of unity.
Units in quadratic integer rings
Imaginary quadratic integer rings have only a few units (see Theorem I1). In the table below,
, one of the complex cubic roots of 1.
| –1, 1 |
| d = − 3 | ω, − ω,ω2, − ω2,1, − 1 |
| d = − 2 | –1, 1 |
| d = − 1 | − 1,1, − i,i |
Real quadratic fields have infinitely many units (see Theorem R1), which are all powers of each other, some multiplied by –1. For that reason, the table below can't be complete like the table above.
An inefficient way to find a unit of a real field
other than 1 or –1 is to try each positive value of b starting with 1 and going up until
is an integer.
| d | |
| 2 |
|
| 3 |
|
| 4 | N/A |
| 5 |
|
| 6 |
|
| 7 |
|
| 8 | N/A, but note that 32 − 8(12) = 1 |
| 9 | N/A |
| 10 |
|
| 11 |
|
| 12 | N/A, but 72 − 12(22) = 1 |
| 13 |
|
| 14 |
|
| 15 |
|
| 16 | N/A |
| 17 |
|
| 18 | N/A, but 172 − 18(42) = 1 |
| 19 |
|
| 20 | N/A, but 92 − 20(22) = 1 |
| 21 |
|
| 22 |
|
| 23 |
|
| 24 | N/A, but 52 − 24(12) = 1 |
| 25 | N/A |
| 26 |
|
| 27 | N/A, but 262 − 27(52) = 1 |
| 28 | N/A, but 1272 − 28(242) = 1 |
| 29 |
|
Examples
- The units of
are:
where
(cf. natural numbers)
- The units of
are:
where
(cf. rational integers)
- The units of
are:
where
(cf. Eisenstein integers)
- The units of
are:
where
(cf. Gaussian integers)
- The units of
are:
\
- The units of
are:
\
- The units of
are:
\
