Let
be a number
field with
real embeddings and
imaginary embeddings and let
. Then
the multiplicative group of units
of
has the form
 | (1) |
where
is a primitive
th root of unity,
(unless
, in which
case
, or
,
in which case
). Thus,
is isomorphic
to the group
. The
generators
for
are
called the fundamental units of
. Real quadratic
number fields and imaginary cubic number fields have just one fundamental unit and
imaginary quadratic number fields have no fundamental units.
In a real quadratic field, there exists a special unit
known as the fundamental
unit such that all units
are given by
, for
,
,
, .... The notation
is sometimes used instead of
(Zucker and Robertson 1976). The fundamental units
for real quadratic fields
may be computed from the fundamental solution
of the Pell equation
 | (2) |
where the sign is taken such that the solution
has smallest
possible positive
(LeVeque 1977; Cohn 1980,
p. 101; Hua 1982; Borwein and Borwein 1986, p. 294). If the positive sign is taken,
then one solution is simply given by
,
where
is the solution to the Pell equation
 | (3) |
However, this need not be the minimal solution. For example, the solution
to Pell equation
 | (4) |
is
, so
,
but
is the minimal solution. Given
a minimal
(Sloane's A048941 and A048942), the fundamental unit is given by
 | (5) |
(Cohn 1980, p. 101).
The following table gives fundamental units for small
.
 |  |  |  |
2 |  | 54 |  |
3 |  | 55 |  |
5 |  | 56 |  |
6 |  | 57 |  |
7 |  | 58 |  |
8 |  | 59 |  |
10 |  | 60 |  |
11 |  | 61 |  |
12 |  | 62 |  |
13 |  | 63 |  |
14 |  | 65 |  |
15 |  | 66 |  |
17 |  | 67 |  |
18 |  | 68 |  |
19 |  | 69 |  |
20 |  | 70 |  |
21 |  | 71 |  |
22 |  | 72 |  |
23 |  | 73 |  |
24 |  | 74 |  |
26 |  | 75 |  |
27 |  | 76 |  |
28 |  | 77 |  |
29 |  | 78 |  |
30 |  | 79 |  |
31 |  | 80 |  |
32 |  | 82 |  |
33 |  | 83 |  |
34 |  | 84 |  |
35 |  | 85 |  |
37 |  | 86 |  |
38 |  | 87 |  |
39 |  | 88 |  |
40 |  | 89 |  |
41 |  | 90 |  |
42 |  | 91 |  |
43 |  | 92 |  |
44 |  | 93 |  |
45 |  | 94 |  |
46 |  | 95 |  |
47 |  | 96 |  |
48 |  | 97 |  |
50 |  | 98 |  |
51 |  | 99 |  |
52 |  | 101 |  |
53 |  | 102 |  |
The following table given the squarefree numbers
for which the denominator
of
is
for
or 2. These
sequences turn out to be related to Eisenstein's problem: there is no known fast
way to compute them for large
(Finch).
 | Sloane | squarefree numbers with  |
1 | A107997 | 5, 13, 21, 29, 53, 61, 69, 77,
85, 93, ... |
2 | A107998 | 2, 3, 6, 7, 10, 11, 14, 15, 17,
19, 22, ... |