<< стр. 2(всего 4)СОДЕРЖАНИЕ >>
gcd((a), (b)) = gcd(IJ, II ) = I

because gcd(J, I ) = (1). в™Ј

3.4.5 The Ideal Class Group
Let I(R) be the group of nonzero fractional ideals of a Dedekind domain R. If P (R) is
the subset of I(R) consisting of all nonzero principal fractional ideals Rx, x в€€ K, then
P (R) is a subgroup of I(R). To see this, note that (Rx)(Ry)в€’1 = (Rx)(Ry в€’1 ) = Rxy в€’1 ,
which belongs to P (R). The quotient group C(R) = I(R)/P (R) is called the ideal class
group of R. Since R is commutative, C(R) is abelian, and we will show later that C(R)
is п¬Ѓnite.
3.4. SOME ARITHMETIC IN DEDEKIND DOMAINS 9

Let us verify that C(R) is trivial if and only if R is a PID. If C(R) is trivial, then
every integral ideal I of R is a principal fractional ideal Rx, x в€€ K. But I вЉ† R, so x = 1x
must belong to R, proving that R is a PID. Conversely, if R is a PID and I is a nonzero
fractional ideal, then rI вЉ† R for some nonzero r в€€ R. By hypothesis, the integral ideal
rI must be principal, so rI = Ra for some a в€€ R. Thus I = R(a/r) with a/r в€€ K, and
we conclude that every nonzero fractional ideal of R is a principal fractional ideal.

Problems For Section 3.4
We will now go through the factorization of an ideal in a number п¬Ѓeld. In the next chapter,
we will begin to develop the necessary background, but some of the manipulations are
accessible to us now. By (2.3.11), the ring B of algebraic integers of the number п¬Ѓeld
в€љ в€љ
Q( в€’5) is Z[ в€’5]. (Note that в€’5 в‰Ў 3 mod 4.) If we wish to factor the ideal (2) = 2B
of B, the idea is to factor x2 + 5 mod 2, and the result в€љ x2 + 5 в‰Ў (x + 1)2 mod 2.
is
в€љ
Identifying x with в€’5, we form the ideal P2 = (2, 1 + в€’5), which turns out to be
prime. The desired factorization is (2) = P2 . This technique works if B = Z[О±], where
2
в€љ
the number п¬Ѓeld L is Q( О±).
в€љ
1. Show that 1 в€’ в€’5 в€€ P2 , and conclude that 6 в€€ P2 . 2

2. Show that 2 в€€ P2 , hence (2) вЉ† P2 в€љ
2 2
.
в€љ
3. Expand P2 = (2, 1 + в€’5)(2, 1 + в€’5), and conclude that P2 вЉ† (2).
2 2

4. Following the technique suggested in the above problems, factor x2 + 5 mod 3, and в€љ
conjecture that the prime factorization of (3) in the ring of algebraic integers of Q( в€’5)
is (3) = P3 P3 for appropriate P3 and P3 .
5. With P3 and P3 as found in Problem 4, verify that (3) = P3 P3 .
Chapter 4

Factoring of Prime Ideals in
Extensions

4.1 Lifting of Prime Ideals
Recall the basic AKLB setup: A is a Dedekind domain with fraction п¬Ѓeld K, L is a п¬Ѓnite,
separable extension of K of degree n, and B is the integral closure of A in L. If A = Z,
then K = Q, L is a number п¬Ѓeld, and B is the ring of algebraic integers of L.

4.1.1 Deп¬Ѓnitions and Comments
Let P be a nonzero prime ideal of A. The lifting (also called the extension) of P to B is
the ideal P B. Although P B need not be a prime ideal of B, we can use the fact that B
is a Dedekind domain [see (3.1.3)] and the unique factorization theorem (3.3.1) to write
g
Piei
PB =
i=1

where the Pi are distinct prime ideals of B and the ei are positive integers [see (3.3.2)].
On the other hand, we can start with a nonzero prime ideal Q of B and form a prime
ideal of A via
P = Q в€© A.
We say that Q lies over P , or that P is the contraction of Q to A.
Now suppose that we start with a nonzero prime ideal P of A and lift it to B. We
will show that the prime ideals P1 , . . . , Pg that appear in the prime factorization of P B
are precisely the prime ideals of B that lie over P .

4.1.2 Proposition
Let Q be a nonzero prime ideal of B. Then Q appears in the prime factorization of P B
if and only if Q в€© A = P .

1
2 CHAPTER 4. FACTORING OF PRIME IDEALS IN EXTENSIONS

Proof. If Q в€© A = P , then P вЉ† Q, hence P B вЉ† Q because Q is an ideal. By (3.3.5), Q
divides P B. Conversely, assume that Q divides, hence contains, P B. Then

P = P в€© A вЉ† P B в€© A вЉ† Q в€© A.

But in a Dedekind domain, every nonzero prime ideal is maximal, so P = Q в€© A. в™Ј

4.1.3 Ramiп¬Ѓcation and Relative Degree
g
If we lift P to B and factor P B as i=1 Piei , the positive integer ei is called the ramiп¬Ѓcation
index of Pi over P (or over A). We say that P ramiп¬Ѓes in B (or in L) if ei > 1 for at
least one i. We will prove in a moment that B/Pi is a п¬Ѓnite extension of the п¬Ѓeld A/P .
The degree fi of this extension is called the relative degree (or the residue class degree, or
the inertial degree) of Pi over P (or over A).

4.1.4 Proposition
We can identify A/P with a subп¬Ѓeld of B/Pi , and B/Pi is a п¬Ѓnite extension of A/P .
Proof. The map from A/P to B/Pi given by a + P в†’ a + Pi is well-deп¬Ѓned and injective,
because P = Pi в€© A, and it is a homomorphism by direct veriп¬Ѓcation. By (3.1.2), B is a
п¬Ѓnitely generated A-module, hence B/Pi is a п¬Ѓnitely generated A/P -module, that is, a
п¬Ѓnite-dimensional vector space over A/P . в™Ј

4.1.5 Remarks
The same argument, with Pi replaced by P B, shows that B/P B is a п¬Ѓnitely generated
A/P -algebra, in particular, a п¬Ѓnite-dimensional vector space over A/P . We will denote
the dimension of this vector space by [B/P B : A/P ].
The numbers ei and fi are connected by an important identity, which does not seem
to have a name in the literature. We will therefore christen it as follows.

4.1.6 Ram-Rel Identity

g
ei fi = [B/P B : A/P ] = n.
i=1

Proof. To prove the п¬Ѓrst equality, consider the chain of ideals

B вЉ‡ P 1 вЉ‡ P 1 вЉ‡ В· В· В· вЉ‡ P1 1
e
2

вЉ‡ P 1 1 P 2 вЉ‡ P 1 1 P 2 вЉ‡ В· В· В· вЉ‡ P 1 1 P2 2
e e e e
2

вЉ‡ В· В· В· вЉ‡ P1 1 В· В· В· Pg g = P B.
e e

By unique factorization, there can be no ideals between consecutive terms in the sequence.
(Any such ideal would contain, hence divide, P B.) Thus the quotient ОІ/ОІPi of any two
4.1. LIFTING OF PRIME IDEALS 3

consecutive terms is a one-dimensional vector space over B/Pi , as there are no nontrivial
proper subspaces. (It is a vector space over this п¬Ѓeld because it is annihilated by Pi .)
But, with notation as in (4.1.5), [B/Pi : A/P ] = fi , so [ОІ/ОІPi : A/P ] = fi . For each i,
we have exactly ei consecutive quotients, each of dimension fi over A/P . Consequently,
g
[B/P B : A/P ] = i=1 ei fi , as claimed.
To prove the second equality, we п¬Ѓrst assume that B is a free A-module of rank n. By
(2.3.8), this covers the case where A is a PID, in particular, when L is a number п¬Ѓeld. If
x1 , . . . , xn is a basis for B over A, we can reduce mod P B to produce a basis for B/P B
n
over A/P , and the result follows. Explicitly, suppose i=1 (ai +P )(xi +P B) = 0 in B/P B.
n
Then i=1 ai xi belongs to P B, hence can be written as j bj yj with bj в€€ B, yj в€€ P .
Since bj = k cjk xk with cjk в€€ A, we have ak = j cjk yj в€€ P for all k.
The general case is handled by localization. Let S = A\P , A = S в€’1 A, B = S в€’1 B. By
(1.2.6), (1.2.9), and the Dedekind property (every nonzero prime ideal of A is maximal),
it follows that A has exactly one nonzero prime ideal, namely P = P A . Moreover, P
is principal, so A is a discrete valuation ring, that is, a local PID that is not a п¬Ѓeld. [By
unique factorization, we can choose an element a в€€ P \(P )2 , so (a) вЉ† P but (a) вЉ† (P )2 .
Since the only nonzero ideals of A are powers of P (unique factorization again), we have
(a) = P .] Now B is the integral closure of A in L, so B is the integral closure of A in
S в€’1 L = L. [The idea is that we can go back and forth between an equation of integral
dependence for b в€€ B and an equation of integral dependence for b/s в€€ B either by
introducing or clearing denominators.] We have now reduced to the PID case already
analyzed, and [B /P B : A /P A ] = n.
g
Now P B = i=1 Piei , and Pi is a nonzero prime ideal of B not meeting S. [If
y в€€ Pi в€© S, then y в€€ Pi в€© A = P by (4.1.2). Thus y в€€ P в€© S, a contradiction.] By the
g
basic correspondence (1.2.6), we have the factorization P B = i=1 (Pi B )ei . By the PID
case,
g
n = [B /P B : A /P A ] = ei [B /Pi B : A /P A ].
i=1

We are п¬Ѓnished if we can show that B /Pi B в€ј B/Pi and A /P A в€ј A/P . The statement
= =
of the appropriate lemma, and the proof in outline form, are given in the exercises. в™Ј

Problems For Section 4.1
We will п¬Ѓll in the gap at the end of the proof of the ram-rel identity. Let S be a mul-
tiplicative subset of the integral domain A, and let M be a maximal ideal of A disjoint
from S. Consider the composite map A в†’ S в€’1 A в†’ S в€’1 A/MS в€’1 A, where the п¬Ѓrst map
is given by a в†’ a/1 and the second by a/s в†’ (a/s) + MS в€’1 A.
1. Show that the kernel of the map is M, so by the factor theorem, we have a monomor-
phism h : A/M в†’ S в€’1 A/MS в€’1 A.
2. Let a/s в€€ S в€’1 A. Show that for some b в€€ A we have bs в‰Ў 1 mod M.
3. Show that (a/s) + MS в€’1 A = h(ab), so h is surjective and therefore an isomorphism.
Consequently, S в€’1 A/MS в€’1 A в€ј A/M, which is the result we need.
=
4 CHAPTER 4. FACTORING OF PRIME IDEALS IN EXTENSIONS

4.2 Norms of Ideals
4.2.1 Deп¬Ѓnitions and Comments
We are familiar with the norm of an element of a п¬Ѓeld, and we are going to extend the
idea to ideals. We assume the AKLB setup with A = Z, so that B is a number ring,
that is, the ring of algebraic integers of a number п¬Ѓeld L. If I is a nonzero ideal of B, we
deп¬Ѓne the norm of I by N (I) = |B/I|. We will show that the norm is п¬Ѓnite, so if P is a
nonzero prime ideal of B, then B/P is a п¬Ѓnite п¬Ѓeld. Also, N has a multiplicative property
analogous to the formula N (xy) = N (x)N (y) for elements. [See (2.1.3), equation (2).]

4.2.2 Proposition
Let b be any nonzero element of the ideal I of B, and let m = NL/Q (b) в€€ Z. Then m в€€ I
and |B/mB| = mn , where n = [L : Q].
Proof. By (2.1.6), m = bc where c is a product of conjugates of b. But a conjugate of an
algebraic integer is an algebraic integer. (If a monomorphism is applied to an equation
of integral dependence, the result is an equation of integral dependence.) Thus c в€€ B,
and since b в€€ I, we have m в€€ I. Now by (2.3.9), B is the direct sum of n copies of Z,
hence by the п¬Ѓrst isomorphism theorem, B/mB is the direct sum of n copies of Z/mZ.
Consequently, |B/mB| = mn . в™Ј

4.2.3 Corollary
If I is any nonzero ideal of B, then N (I) is п¬Ѓnite. In fact, if m is as in (4.2.2), then N (I)
divides mn .
Proof. Observe that (m) вЉ† I, hence

B/(m) в€ј
= I/(m). в™Ј
B/I

4.2.4 Corollary
Every nonzero ideal I of B is a free abelian group of rank n.
Proof. By the simultaneous basis theorem, we may represent B as the direct sum of n
copies of Z, and I as the direct sum of a1 Z, . . . , ar Z, where r в‰¤ n and the ai are positive
integers such that ai divides ai+1 for all i. Thus B/I is the direct sum of r cyclic groups
(whose orders are a1 , . . . , ar ) and n в€’ r copies of Z. If r < n, then at least one copy of Z
appears, and |B/I| cannot be п¬Ѓnite. в™Ј

4.2.5 Computation of the Norm
Suppose that {x1 , . . . , xn } is a Z-basis for B, and {z1 , . . . , zn } is a basis for I. Each zi is
a linear combination of the xi with integer coeп¬ѓcients, in matrix form z = Cx. We claim
that the norm of I is the absolute value of the determinant of C. To verify this, п¬Ѓrst look
at the special case xi = yi and zi = ai yi , as in the proof of (4.2.4). Then C is a diagonal
4.2. NORMS OF IDEALS 5

matrix with entries ai , and the result follows. But the special case implies the general
result, because any matrix corresponding to a change of basis of B or I is unimodular, in
other words, has integer entries and determinant В±1. [See (2.3.9) and (2.3.10).]
Now with z = Cx as above, the discriminant of x is the п¬Ѓeld discriminant d, and the
discriminant of z is D(z) = (det C)2 d by (2.3.2). We have just seen that N (I) = | det C|,
so we have the following formula for computing the norm of an ideal I. If z is a Z-basis
for I, then
1/2
D(z)
N (I) = .
d

There is a natural relation between the norm of a principal ideal and the norm of the
corresponding element.

4.2.6 Proposition
If I = (a) with a = 0, then N (I) = |NL/Q (a)|.
Proof. If x is a Z-basis for B, then ax is a Z-basis for I. By (2.3.3), D(ax) is the square
of the determinant whose ij entry is Пѓi (axj ) = Пѓi (a)Пѓi (xj ). By (4.2.5), the norm of I is
|Пѓ1 (a) В· В· В· Пѓn (a)| = |NL/Q (a)|. в™Ј
In the proof of (4.2.6), we cannot invoke (2.3.2) to get D(ax1 , . . . , axn ) = (an )2 D(x1 , . . . , xn ),
because we need not have a в€€ Q.
We now establish the multiplicative property of ideal norms.

4.2.7 Theorem
If I and J are nonzero ideals of B, then N (IJ) = N (I)N (J).
Proof. By unique factorization, we may assume without loss of generality that J is a
prime ideal P . By the third isomorphism theorem, |B/IP | = |B/I| |I/IP |, so we must
show that |I/IP | is the norm of P , that is, |B/P |. But this has already been done in the
п¬Ѓrst part of the proof of (4.1.6). в™Ј

4.2.8 Corollary
Let I be a nonzero ideal of B. If N (I) is prime, then I is a prime ideal.
Proof. Suppose I is the product of two ideals I1 and I2 . By (4.2.7), N (I) = N (I1 )N (I2 ),
so by hypothesis, N (I1 ) = 1 or N (I2 ) = 1. Thus either I1 or I2 is the identity element
of the ideal group, namely B. Therefore, the prime factorization of I is I itself, in other
words, I is a prime ideal. в™Ј

4.2.9 Proposition
N (I) в€€ I, in other words, I divides N (I). [More precisely, I divides the principal ideal
generated by N (I).]
6 CHAPTER 4. FACTORING OF PRIME IDEALS IN EXTENSIONS

Proof. Let N (I) = |B/I| = r. If x в€€ B, then r(x + I) is 0 in B/I, because the order of
any element of a group divides the order of the group. Thus rx в€€ I, and in particular we
may take x = 1 to conclude that r в€€ I. в™Ј

4.2.10 Corollary
If I is a nonzero prime ideal of B, then I divides (equivalently, contains) exactly one
rational prime p.
Proof. By (4.2.9), I divides N (I) = pm1 В· В· В· pmt , so I divides some pi . But if I divides
t
1
two distinct primes p and q, then there exist integers u and v such that up + vq = 1. Thus
I divides 1, so I = B, a contradiction. Therefore I divides exactly one p. в™Ј

4.2.11 The Norm of a Prime Ideal
If we can compute the norm of every nonzero prime ideal P , then by multiplicativity, we
can calculate the norm of any nonzero ideal. Let p be the unique rational prime in P , and
recall from (4.1.3) that the relative degree of P over p is f (P ) = [B/P : Z/pZ]. Therefore

N (P ) = |B/P | = pf (P ) .

Note that by (4.2.6), the norm of the principal ideal (p) is |N (p)| = pn , so N (P ) = pm
for some m в‰¤ n. This conclusion also follows from the above formula N (P ) = pf (P ) and
the ram-rel identity (4.1.6).
Here are two other useful п¬Ѓniteness results.

4.2.12 Proposition
A rational integer m can belong to only п¬Ѓnitely many ideals of B.
Proof. We have m в€€ I iп¬Ђ I divides (m), and by unique factorization, (m) has only п¬Ѓnitely
many divisors. в™Ј

4.2.13 Corollary
Only п¬Ѓnitely many ideals can have a given norm.
Proof. If N (I) = m, then by (4.2.9), m в€€ I, and the result follows from (4.2.12). в™Ј

Problems For Section 4.2
This problem set will give the proof that a rational prime p ramiп¬Ѓes in the number п¬Ѓeld
L if and only if p divides the п¬Ѓeld discriminant d = dL/Q .
1. Let (p) = pB have prime factorization i Piei . Show that p ramiп¬Ѓes if and only if the
ring B/(p) has nonzero nilpotent elements.
Now as in (2.1.1), represent elements of B by matrices with respect to an integral basis
П‰1 , . . . , П‰n of B. Reduction of the entries mod p gives matrices representing elements of
B/(p).
2. Show that a nilpotent element (or matrix) has zero trace.
4.3. A PRACTICAL FACTORIZATION THEOREM 7

Suppose that A(ОІ), the matrix representing the element ОІ, is nilpotent mod p. Then
A(ОІП‰i ) will be nilpotent mod p for all i, because ОІП‰i is nilpotent mod p.
3. By expressing ОІ in terms of the П‰i and computing the trace of A(ОІП‰j ), show that if ОІ
is nilpotent mod p and ОІ в€€ (p), then d в‰Ў 0 mod p, hence p divides d.
/
Now assume that p does not ramify.
4. Show that B/(p) is isomorphic to a п¬Ѓnite product of п¬Ѓnite п¬Ѓelds Fi of characteristic p.
Let ПЂi : B в†’ B/(p) в†’ Fi be the composition of the canonical map from B onto B/(p)
and the projection from B/(p) onto Fi .
5. Show that the trace form Ti (x, y) = TFi /Fp (ПЂi (x)ПЂi (y)) is nondegenerate, and conclude
that i Ti is also nondegenerate.
We have d = det T (П‰i П‰j ), in other words, the determinant of the matrix of the bilinear
form T (x, y) on B, with respect to the basis {П‰1 , . . . , П‰n }. Reducing the matrix entries
mod p, we get the matrix of the reduced bilinear form T0 on the Fp -vector space B/(p).
6. Show that T0 coincides with i Ti , hence T0 is nondegenerate. Therefore d = 0 mod p,
so p does not divide d.
As a corollary, it follows that only п¬Ѓnitely many primes can ramify in L.

4.3 A Practical Factorization Theorem
The following result, usually credited to Kummer but sometimes attributed to Dedekind,
allows, under certain conditions, an eп¬ѓcient factorization of a rational prime in a number
п¬Ѓeld.

4.3.1 Theorem
Let L be a number п¬Ѓeld of degree n over Q, and assume that the ring B of algebraic
integers of L is Z[Оё] for some Оё в€€ B. Thus 1, Оё, Оё2 , . . . , Оёnв€’1 form an integral basis of B.
Let p be a rational prime, and let f be the minimal polynomial of Оё over Q. Reduce the
coeп¬ѓcients of f modulo p to obtain f в€€ Z[X]. Suppose that the factorization of f into
irreducible polynomials over Fp is given by

f = h e1 В· В· В· h e r .
r
1

Let fi be any polynomial in Z[X] whose reduction mod p is hi . Then the ideal

Pi = (p, fi (Оё))

is prime, and the prime factorization of (p) in B is

(p) = P1 1 В· В· В· Pr r .
e e

Proof. Adjoin a root Оёi of hi to produce the п¬Ѓeld Fp [Оёi ] в€ј Fp [X]/hi (X). The assignment
=
Оё в†’ Оёi extends by linearity (and reduction of coeп¬ѓcients mod p) to an epimorphism
О»i : Z[Оё] в†’ Fp [Оёi ]. Since Fp [Оёi ] is a п¬Ѓeld, the kernel of О»i is a maximal, hence prime,
ideal of Z[Оё] = B. Since О»i maps fi (Оё) to hi (Оёi ) = 0 and also maps p to 0, it follows that
Pi вЉ† ker О»i . We claim that Pi = ker О»i . To prove this, assume g(Оё) в€€ ker О»i . With a
8 CHAPTER 4. FACTORING OF PRIME IDEALS IN EXTENSIONS

subscript 0 indicating reduction of coeп¬ѓcients mod p, we have g0 (Оёi ) = 0, hence hi , the
minimal polynomial of Оёi , divides g0 . If g0 = q0 hi , then g в€’ qfi в‰Ў 0 mod p. Therefore

g(Оё) = [g(Оё) в€’ q(Оё)fi (Оё)] + q(Оё)fi (Оё)

so g(Оё) is the sum of an element of (p) and an element of (fi (Оё)). Thus ker О»i вЉ† Pi , so
Pi = ker О»i , a prime ideal.
We now show that (p) divides P1 1 В· В· В· Pr r . We use the identity (I+I1 )(I+I2 ) вЉ† I+I1 I2 ,
e e

where I, I1 and I2 are ideals. We begin with P1 = (p) + (f1 (Оё)), and compute

P1 вЉ† (p) + (f1 (Оё))2 , . . . , P1 1 В· В· В· Pr r вЉ† (p) + (f1 (Оё))e1 В· В· В· (fr (Оё))er .
e
2 e

r
But the product of the fi (Оё)ei coincides mod p with hi (Оё) = f (Оё) = 0. We conclude
i=1
r
that i=1 Piei вЉ† (p), as asserted.
We now know that (p) = P1 1 В· В· В· Pr r with 0 в‰¤ ki в‰¤ ei . (Actually, ki > 0 since
k k

p в€€ ker О»i = Pi , so Pi divides (p). But we will not need this reп¬Ѓnement.) By hypothesis,
B/Pi = Z[Оё]/Pi , which is isomorphic to Fp [Оёi ], as observed at the beginning of the proof.
Thus the norm of Pi is |Fp [Оёi ]| = pdi , where di is the degree of hi . By (4.2.6), (4.2.7) and
equation (3) of (2.1.3),
r r
n ki
pdi ki
p = N ((p)) = N (Pi ) =
i=1 i=1

hence n = d1 k1 + В· В· В· + dr kr . But n is the degree of the monic polynomial f , which is the
same as deg f = d1 e1 + В· В· В· + dr er . Since ki в‰¤ ei for every i, we have ki = ei for all i, and
the result follows. в™Ј

4.3.2 Prime Factorization in Quadratic Fields
в€љ
We consider L = Q( m), where m is a square-free integer, and factor the ideal (p) in
the ring B of algebraic integers of L. By the ram-rel identity (4.1.6), there will be three
cases:
(1) g = 2, e1 = e2 = f1 = f2 = 1. Then (p) is the product of two distinct prime ideals P1
and P2 , and we say that p splits in L.
(2) g = 1, e1 = 1, f1 = 2. Then (p) is a prime ideal of B, and we say that p remains prime
in L or that p is inert.
2
(3) g = 1, e1 = 2, f1 = 1. Then (p) = P1 for some prime ideal P1 , and we say that p
ramiп¬Ѓes in L.
We will examine all possibilities systematically.
(a) Assume p is an odd prime not dividing m. Then p does not divide the discriminant,
so p does not ramify.
(a1) If m is a quadratic residue mod p, then p splits. Say m в‰Ў n2 mod p. Then x2 в€’ m
в€љ в€љ
factors mod p as (x + n)(x в€’ n), so (p) = (p, n + m) (p, n в€’ m).
(a2) If m is not a quadratic residue mod p, then x2 в€’ m cannot be the product of two
linear factors, hence x2 в€’ m is irreducible mod p and p remains prime.
4.3. A PRACTICAL FACTORIZATION THEOREM 9

(b) Let p be any prime dividing m. Then p divides the discriminant, hence p ramiп¬Ѓes.
в€љ
Since x2 в€’ m в‰Ў x2 = xx mod p, we have (p) = (p, m)2 .
This takes care of all odd primes, and also p = 2 with m even.
(c) Assume p = 2, m odd.
(c1) Let m в‰Ў 3 mod 4. Then 2 divides the в€љ
discriminant D = 4m, so 2 ramiп¬Ѓes. We have
x в€’ m в‰Ў (x + 1) mod 2, so (2) = (2, 1 + m)2 .
2 2
в€љ
(c2) Let m в‰Ў 1 mod 8, hence m в‰Ў 1 mod 4. An integral basis is {1, (1 + m)/2}, and
the discriminant is D = m. Thus 2 does not divide D, so 2 does not ramify. We claim
в€љ в€љ
that (2) = (2, (1 + m)/2) (2, (1 в€’ m)/2). To verify this note that the right side is
в€љ в€љ
(2, 1 в€’ m, 1 + в€љ m, (1 в€’ m)/4). This coincides with (2) because (1 в€’ m)/4 is an even
в€љ
integer and 1 в€’ m + 1 + m = 2.
If m в‰Ў 3 or 7 mod 8, then m в‰Ў 3 mod 4, so there is only one remaining case.
(c3) Let m в‰Ў 5 mod 8, hence m в‰Ў 1 mod 4, so D = m and 2 does not ramify. Consider
f (x) = x2 в€’ x + (1 в€’ m)/4 over B/P , where P is any prime ideal lying over (2). The roots
в€љ
of f are (1 В± m)/2, so f has a root in B, hence in B/P . But there is no root in F2 ,
because (1 в€’ m)/4 в‰Ў 1 mod 2. Thus B/P and F2 cannot be isomorphic. If (2) factors as
Q1 Q2 , then the norm of (2) is 4, so Q1 and Q2 have norm 2, so the B/Qi are isomorphic
to F2 , which contradicts the argument just given. Therefore 2 remains prime.
You probably noticed something suspicious in cases (a) and (b). In order to apply
в€љ
(4.3.1), 1 and m must form an integral basis, so m в‰Ў 1 mod 4, as in (2.3.11). But we
can repair the damage. In (a1), verify directly that the factorization of (p) is as given. The
в€љ в€љ в€љ в€љ
key point is that the ideal (p, n + m) (p, n в€’ m) contains p(n + m + n в€’ m) = 2np,
and if p divides n, then p divides (m в€’ n2 ) + n2 = m, contradicting the assumption of
case (a). Thus the greatest common divisor of p2 and 2np is p, so p belongs to the ideal.
Since every generator of the ideal is a multiple of p, the result follows. In (a2), suppose
(p) = Q1 Q2в€љSince the norm of p is p2 , each Qi has norm p, so B/Qi must be isomorphic
.
to Fp . But m в€€ B, so m has a square root in B/Qi [see (4.1.4)]. But case (a2) assumes
that there is no square root of m in Fp , a contradiction. Finally, case (b) is similar to
case (a1). We have p|m, but p2 does not divide the square-free integer m, so the greatest
common divisor of p2 and m is p.

Problems For Section 4.3
1. In the exercises for Section 3.4, we factored (2) and (3) in the ring B of algebraic
в€љ
integers of L = Q( в€’5), using ad hoc techniques. Using the results of this section, derive
the results rigorously.
2. Continuing в€љ Problem 1, factor (5), (7) and (11). в€љ
3. Let L = Q( 3 2), and assume as known that the ring of algebraic integers is B = Z[ 3 2].
Find the prime factorization of (5).
Chapter 5

The Ideal Class Group

We will use Minkowski theory, which belongs to the general area of geometry of numbers,
to gain insight into the ideal class group of a number п¬Ѓeld. We have already mentioned
the ideal class group brieп¬‚y in (3.4.5); it measures how close a Dedekind domain is to a
principal ideal domain.

5.1 Lattices
5.1.1 Deп¬Ѓnitions and Comments
Let e1 , . . . , en в€€ Rn , with the ei linearly independent over R. Thus the ei form a basis
for Rn as a vector space over R. The ei also form a basis for a free Z-module of rank n,
namely

H = Ze1 + В· В· В· + Zen .

A set H constructed in this way is said to be a lattice in Rn . The fundamental domain
of H is given by
n
T = {x в€€ R : x = ai ei , 0 в‰¤ ai < 1}.
n

i=1

In the most familiar case, e1 and e2 are linearly independent vectors in the plane, and T is
the parallelogram generated by the ei . In general, every point of Rn is congruent modulo
H to a unique point of T , so Rn is the disjoint union of the sets h + T, h в€€ H. If Вµ is
Lebesgue measure, then the volume Вµ(T ) of the fundamental domain T will be denoted by
v(H). If we generate H using a diп¬Ђerent Z-basis, the volume of the fundamental domain
is unchanged. (The change of variables matrix between Z-bases is unimodular, hence has
determinant В±1. The result follows from the change of variables formula for multiple
integrals.)

1
2 CHAPTER 5. THE IDEAL CLASS GROUP

5.1.2 Lemma
Let S be a Lebesgue measurable subset of Rn with Вµ(S) > v(H). Then there exist distinct
points x, y в€€ S such that x в€’ y в€€ H.
Proof. As we observed in (5.1.1), the sets h + T, h в€€ H, are (pairwise) disjoint and cover
Rn . Thus the sets S в€© (h + T ), h в€€ H, are disjoint and cover S. Consequently,

Вµ(S в€© (h + T )).
Вµ(S) =
hв€€H

By translation-invariance of Lebesgue measure, Вµ(S в€© (h + T )) = Вµ((в€’h + S) в€© T ). Now
if S в€© (h1 + T ) and S в€© (h2 + T ) are disjoint, it does not follow that (в€’h1 + S) в€© T and
(в€’h2 + S) в€© T are disjoint, as we are not subtracting the same vector from each set. In
fact, if the sets (в€’h + S) в€© T, h в€€ H, were disjoint, we would reach a contradiction via

v(H) = Вµ(T ) в‰Ґ Вµ((в€’h + S) в€© T ) = Вµ(S).
hв€€H

Thus there are distinct elements h1 , h2 в€€ H such that (в€’h1 +S)в€©(в€’h2 +S)в€©T = в€…. Choose
(necessarily distinct) x, y в€€ S such that в€’h1 + x = в€’h2 + y. Then x в€’ y = h1 в€’ h2 в€€ H,
as desired. в™Ј

5.1.3 MinkowskiвЂ™s Convex Body Theorem
Let H be a lattice in Rn , and assume that S is a Lebesgue measurable subset of Rn that
is symmetric about the origin and convex. If
(a) Вµ(S) > 2n v(H), or
(b) Вµ(S) в‰Ґ 2n v(H) and S is compact,
then S в€© (H \ {0}) = в€….
Proof.
(a) Let S = 1 S. Then Вµ(S ) = 2в€’n Вµ(S) > v(H) by hypothesis, so by (5.1.2), there exist
2
distinct elements y, z в€€ S such that y в€’ z в€€ H. But y в€’ z = 1 (2y + (в€’2z)), a convex
2
combination of 2y and в€’2z. But y в€€ S в‡’ 2y в€€ S, and z в€€ S в‡’ 2z в€€ S в‡’ в€’2z в€€ S by
symmetry about the origin. Thus y в€’ z в€€ S and since y and z are distinct, y в€’ z в€€ H \ {0}.
(b) We apply (a) to (1+1/m)S, m = 1, 2, . . . . Since S, hence (1+1/m)S, is a bounded set,
it contains only п¬Ѓnitely many points of the lattice H. Consequently, for every positive
integer m, Sm = (1 + 1/m)S в€© (H \ {0}) is a nonempty п¬Ѓnite, hence compact, subset
of Rn . Since Sm+1 вЉ† Sm for all m, the sets Sm form a nested sequence, and therefore
в€©в€ћ Sm = в€…. If x в€€ в€©в€ћ Sm , then x в€€ H \ {0} and x/(1 + 1/m) в€€ S for every m. Since
m=1 m=1
S is closed, we may let m в†’ в€ћ to conclude that x в€€ S. в™Ј

5.1.4 Example
With n = 2, take e1 = (1, 0) and e2 = (0, 1). The fundamental domain is the unit square,
closed at the bottom and on the left, and open at the top and on the right. Let S be the
set of all a1 e1 + a2 e2 with в€’1 < ai < 1, i = 1, 2. Then Вµ(S) = 4v(H), but S contains no
nonzero lattice points. Thus compactness is a necessary hypothesis in part (b).
5.2. A VOLUME CALCULATION 3

5.2 A Volume Calculation
We will use n-dimensional integration technique to derive a result that will be needed in
the proof that the ideal class group is п¬Ѓnite. We will work in Rn , realized as the product
of r1 copies of R and r2 copies of C, where r1 + 2r2 = n. Our interest is in the set
r1 r2
Bt = {(y1 , . . . , yr1 , z1 , . . . , zr2 ) в€€ R Г—C |yi | + 2 |zj | в‰¤ t}, t в‰Ґ 0.
r1 r2
:
i=1 j=1

We will show that the volume of Bt is given by
ПЂ r2 t n
r1
V (r1 , r2 , t) = 2 () .
2 n!
The proof is by double induction on r1 and r2 . If r1 = 1 and r2 = 0, hence n = 1, we
are calculating the length of the interval [в€’t, t], which is 2t, as predicted. If r1 = 0 and
r2 = 1, hence n = 2, we are calculating the area of {z1 : 2|z1 | в‰¤ t}, a disk of radius t/2.
The result is ПЂt2 /4, again as predicted. Now assume that the formula holds for r1 , r2 , and
all t. Then V (r1 + 1, r2 , t) is the volume of the set described by
r1 r2
|y| + |yi | + 2 |zj | в‰¤ t
i=1 j=1

or equivalently by
r1 r2
|yi | + 2 |zj | в‰¤ t в€’ |y|.
i=1 j=1

Now if |y| > t, then Bt is empty. For smaller values of |y|, suppose we change y to y + dy.
This creates a box in (n + 1)-space with dy as one of the dimensions. The volume of the
box is V (r1 , r2 , t в€’ y)dy. Thus
t
V (r1 , r2 , t в€’ |y|)dy
V (r1 + 1, r2 , t) =
в€’t

t
which by the induction hypothesis is 2 0 2r1 (ПЂ/2)r2 [(t в€’ y)n /n!] dy. Evaluating the inte-
gral, we obtain 2r+1 (ПЂ/2)r2 tn+1 /(n + 1)!, as desired.
Finally, V (r1 , r2 + 1, t) is the volume of the set described by
r1 r2
|yi | + 2 |zj | + 2|z| в‰¤ t.
i=1 j=1

As above,

V (r1 , r2 , t в€’ 2|z|)dВµ(z)
V (r1 , r2 + 1, t) =
|z|в‰¤t/2
4 CHAPTER 5. THE IDEAL CLASS GROUP

where Вµ is Lebesgue measure on C. In polar coordinates, the integral becomes

ПЂ r2 (t в€’ 2r)n
2ПЂ t/2
2r1 ( ) r dr dОё
2 n!
Оё=0 r=0

t/2
which reduces to 2r1 (ПЂ/2)r2 (2ПЂ/n!) r=0 (t в€’ 2r)n r dr. We may write the integrand as
(t в€’ 2r)n r dr = в€’rd(t в€’ 2r)n+1 /2(n + 1). Integration by parts yields (for the moment
ignoring the constant factors preceding the integral)
t/2
в€’(t в€’ 2r)n+2
t/2
tn+2
(t в€’ 2r)
n+1
dr/2(n + 1) = = .
2(n + 1)2(n + 2) 4(n + 1)(n + 2)
0 0

Therefore V (r1 , r2 + 1, t) = 2r1 (ПЂ/2)r2 (2ПЂ/n!)tn+2 /4(n + 1)(n + 2), which simpliп¬Ѓes to
2r1 (ПЂ/2)r2 +1 tn+2 /(n + 2)!, completing the induction. Note that n + 2 (rather than n + 1)
is correct, because r1 + 2(r2 + 1) = r1 + 2r2 + 2 = n + 2.

5.3 The Canonical Embedding
5.3.1 Deп¬Ѓnitions and Comments
Let L be a number п¬Ѓeld of degree n over Q, and let Пѓ1 , . . . , Пѓn be the Q-monomorphisms
of L into C. If Пѓi maps entirely into R, we say that Пѓi is a real embedding; otherwise it
is a complex embedding. Since the complex conjugate of a Q-monomorphism is also a Q-
monomorphism, we can renumber the Пѓi so that the real embeddings are Пѓ1 , . . . , Пѓr1 and
the complex embeddings are Пѓr1 +1 , . . . , Пѓn , with Пѓr1 +j paired with its complex conjugate
Пѓr1 +r2 +j , j = 1, . . . , r2 . Thus there are 2r2 complex embeddings, and r1 + 2r2 = n.
The canonical embedding Пѓ : L в†’ Rr1 Г— Cr2 = Rn is the injective ring homomorhism
given by

Пѓ(x) = (Пѓ1 (x), . . . , Пѓr1 +r2 (x)).

5.3.2 Some Matrix Manipulations
Let x1 , . . . , xn в€€ L be linearly dependent over Z (hence the xi form a basis for L over Q).
Let C be the matrix whose k th column (k = 1, . . . , n) is

Пѓ1 (xk ), . . . , Пѓr1 (xk ), Re Пѓr1 +1 (xk ), Im Пѓr1 +1 (xk ), . . . , Re Пѓr1 +r2 (xk ), Im Пѓr1 +r2 (xk ).

The determinant of C looks something like a discriminant, and we can be more precise
with the aid of elementary row operations. Suppose that

Пѓj (xk ) x + iy
= .
x в€’ iy
Пѓ j (xk )

We are п¬Ѓxing j and allowing k to range from 1 to n, so we have two rows of an n by
n matrix. Add the second row to the п¬Ѓrst, so that the entries on the right become 2x
5.3. THE CANONICAL EMBEDDING 5

and x в€’ iy. Then add в€’1/2 times row 1 to row 2, and the entries become 2x and в€’iy.
Factoring out 2 and в€’i, we get

x Re Пѓj (xk )
в€’2i = в€’2i .
y Im Пѓj (xk )

Do this for each j = 1, . . . , r2 . In the above calculation, Пѓ j appears immediately under
Пѓj , but in the original ordering they are separated by r2 , which introduces a factor of
(в€’1)r2 when we calculate a determinant. To summarize, we have

det C = (2i)в€’r2 det(Пѓj (xk ))

Note that j and k range from 1 to n; no operations are needed for the п¬Ѓrst r1 rows.
Now let M be the free Z-module generated by the xi , so that Пѓ(M ) is a free Z-module
with basis Пѓ(xi ), i = 1, . . . , n, hence a lattice in Rn . The fundamental domain is a
parallelotope whose sides are the Пѓ(xi ), and the volume of the fundamental domain is the
absolute value of the determinant whose rows (or columns) are the Пѓ(xi ). Consequently
[see (5.1.1) for notation],

v(Пѓ(M )) = | det C| = 2в€’r2 | det Пѓj (xk )|.

We apply this result in an algebraic number theory setting.

5.3.3 Proposition
Let B be the ring of algebraic integers of a number п¬Ѓeld L, and let I be a nonzero integral
ideal of B, so that by (4.2.4) and (5.3.2), Пѓ(I) is a lattice in Rn . Then the volume of the
fundamental domain of this lattice is

v(Пѓ(I)) = 2в€’r2 |d|1/2 N (I),

in particular, v(Пѓ(B)) = 2в€’r2 |d|1/2 , where d is the п¬Ѓeld discriminant.
Proof. The result for I = B follows from (5.3.2) and (2.3.3), taking the xk as an integral
basis for B. To establish the general result, observe that the fundamental domain for Пѓ(I)
can be assembled by taking the disjoint union of N (I) copies of the fundamental domain
of Пѓ(B). To convince yourself of this, let e1 and e2 be basis vectors in the plane. The
lattice H generated by 2e1 and 3e2 is a subgroup of the lattice H generated by e1 and
e2 , but the fundamental domain T of H is larger than the fundamental domain T of H.
In fact, exactly 6 copies of T will п¬Ѓt inside T . в™Ј

5.3.4 Minkowski Bound on Element Norms
If I is a nonzero integral ideal of B, then I contains a nonzero element x such that

|NL/Q (x)| в‰¤ (4/ПЂ)r2 (n!/nn )|d|1/2 N (I).

Proof. The set Bt of Section 5.2 is compact, convex and symmetric about the origin.
The volume of Bt is Вµ(Bt ) = 2r1 (ПЂ/2)r2 tn /n!, with Вµ indicating Lebesgue measure. We
6 CHAPTER 5. THE IDEAL CLASS GROUP

choose t so that Вµ(Bt ) = 2n v(Пѓ(I)), which by (5.3.3) is 2nв€’r2 |d|1/2 N (I). Equating the
two expressions for Вµ(Bt ), we get

tn = 2nв€’r1 ПЂ в€’r2 n! |d|1/2 N (I).

Apply (5.1.3b) with H = Пѓ(I) and S = Bt . By our choice of t, the hypothesis of (5.1.3b)
is satisп¬Ѓed, and we have S в€© (H \ {0}) = в€…. Thus there is a nonzero element x в€€ I such
that Пѓ(x) в€€ Bt . Now by (2.1.6), the norm of x is the product of the positive numbers
ai = |Пѓi (x)|, i = 1, . . . , n. To estimate N (x), we invoke the inequality of the arithmetic
and geometric means, which states that (a1 В· В· В· an )1/n в‰¤ (a1 + В· В· В· + an )/n. It follows that
n
a1 В· В· В· an в‰¤ ( i=1 ai /n)n . With our ai вЂ™s, we have

r +r2
r1
21
1
|N (x)| в‰¤ [ |Пѓi (x)| + |Пѓi (x)| ]n .
n n j=r
1 +1
i=1

Since Пѓ(x) в€€ Bt , we have |N (x)| в‰¤ tn /nn . By choice of t,

|N (x)| в‰¤ (1/nn )2nв€’r1 ПЂ в€’r2 n! |d|1/2 N (I).

But n в€’ r1 = 2r2 , so 2nв€’r1 ПЂ в€’r2 = 22r2 ПЂ в€’r2 = (4/ПЂ)r2 , and the result follows. в™Ј

5.3.5 Minkowski Bound on Ideal Norms
Every ideal class [see (3.4.5)] of L contains an integral ideal I such that

N (I) в‰¤ (4/ПЂ)r2 (n!/nn ) |d|1/2 .

Proof. Let J be a fractional ideal in the given class. We can multiply by a principal
ideal of B without changing the ideal class, so we can assume with loss of generality that
J = (J )в€’1 is an integral ideal. Choose a nonzero element x в€€ J such that x satisп¬Ѓes the
norm inequality of (5.3.4). Our candidate is I = xJ .
First note that I is an integral ideal because x в€€ J and JJ = B. Now (x) = IJ, so
by (4.2.6) and (5.3.4),

N (I)N (J) = N (x) в‰¤ (4/ПЂ)r2 (n!/nn ) |d|1/2 N (J).

Cancel N (J) to get the desired result. в™Ј

5.3.6 Corollary
The ideal class group is п¬Ѓnite.
Proof. By (4.2.13), there are only п¬Ѓnitely many integral ideals with a given norm. By
(5.3.5), we can associate with each ideal class an integral ideal whose norm is bounded
above by a п¬Ѓxed constant. If the ideal class group were inп¬Ѓnite, we would eventually use
the same integral ideal in two diп¬Ђerent ideal classes, which is impossible. в™Ј
5.3. THE CANONICAL EMBEDDING 7

5.3.7 Applications
Suppose that a number п¬Ѓeld L has a Minkowski bound on ideal norms that is less than 2.
Since the only ideal of norm 1 is the trivial ideal (1) = B, every ideal class must contain
(1). Thus there can be only one ideal class, and the class number of L, that is, the order
of the ideal class group, is hL = 1. By (3.4.5), B is a PID, equivalently, by (3.2.8), a
UFD.
If the Minkowski bound is greater than 2 but less than 3, we must examine ideals
whose norm is 2. If I is such an ideal, then by (4.2.9), I divides (2). Thus the prime
factorization of (2) will give useful information about the class number.
In the exercises, we will look at several explicit examples.

Problems For Section 5.3
1. Calculate the Minkowski bound on ideal norms for an imaginary quadratic п¬Ѓeld, in
в€љ
terms of the п¬Ѓeld discriminant d. Use the result to show that Q( m) has class number 1
for m = в€’1, в€’3, в€’7.
2. Calculate the Minkowski bound on ideal norms or a real quadratic п¬Ѓeld, in terms
в€љ
of the п¬Ѓeld discriminant d. Use the result to show that Q( m) has class number 1 for
m = 2, 3, 5, 13. в€љ
3. Show that in the ring of algebraic integers of Q( в€’5), there is only one ideal whose
norm is 2. Then use the Minkowski bound to prove that the class number is 2.
в€љ
4. Repeat Problem 3 for Q( 6). в€љ
5. Show that the only prime ideals of norm 2 in the ring of algebraic integers of Q( 17)
are principal. Conclude that theв€љclass number is 1.
6. Find the class number of Q( 14). (It will be necessary to determine the number of
ideals of norm 3 as well as norm 2.)
Problems 7-10 consider bounds on the п¬Ѓeld discriminant.
7. Let L be a number п¬Ѓeld of degree n over Q, with п¬Ѓeld discriminant d. Show that
|d| в‰Ґ an = (ПЂ/4)n n2n /(n!)2 .
8. Show that a2 = ПЂ 2 /4 and an+1 /an в‰Ґ 3ПЂ/4. From this, derive the lower bound
|d| в‰Ґ (ПЂ/3)(3ПЂ/4)nв€’1 for n в‰Ґ 2.
9. Show that n/ log |d| is bounded above by a constant that is independent of the
particular number п¬Ѓeld.
10. Show that if L = Q, then |d| > 1, hence in any nontrivial extension of Q, at least one
prime must ramify.
Chapter 6

The Dirichlet Unit Theorem

As usual, we will be working in the ring B of algebraic integers of a number п¬Ѓeld L. Two
factorizations of an element of B are regarded as essentially the same if one is obtained
from the other by multiplication by a unit. Our experience with the integers, where
the only units are В±1, and the Gaussian integers, where the only units are В±1 and В±i,
suggests that units are not very complicated, but this is misleading. The Dirichlet unit
theorem gives a complete description of the structure of the multiplicative group of units
in a number п¬Ѓeld.

6.1 Preliminary Results
6.1.1 Lemma
Let B в€— be the group of units of B. An element x в€€ B belongs to B в€— if and only if
N (x) = В±1.
Proof. If xxв€’1 = 1, then 1 = N (1) = N (xxв€’1 ) = N (x)N (xв€’1 ), so the integer N (x) must
be В±1. Conversely, if the norm of x is В±1, then the characteristic equation of x has the
form xn + anв€’1 xnв€’1 + В· В· В· + a1 x В± 1 = 0, with the ai в€€ Z [see (2.1.3) and (2.2.2)]. Thus
x(xnв€’1 + anв€’1 xnв€’2 + В· В· В· + a2 x + a1 ) = в€“ 1. в™Ј

6.1.2 The Logarithmic Embedding
Let Пѓ : L в†’ Rr1 Г— Cr2 = Rn be the canonical embedding deп¬Ѓned in (5.3.1). The
logarithmic embedding is the mapping О» : Lв€— в†’ Rr1 +r2 given by

О»(x) = (log |Пѓ1 (x)|, . . . , log |Пѓr1 +r2 (x)|).

Since the Пѓi are monomorphisms, О»(xy) = О»(x) + О»(y), so О» is a homomorphism from the
multiplicative group of Lв€— to the additive group of Rr1 +r2 .

1
2 CHAPTER 6. THE DIRICHLET UNIT THEOREM

6.1.3 Lemma
Let C be a bounded subset of Rr1 +r2 , and let C = {x в€€ B в€— : О»(x) в€€ C}. Then C is a
п¬Ѓnite set.
Proof. Since C is bounded, all the numbers |Пѓi (x)|, x в€€ B в€— , i = 1, . . . , n, will be conп¬Ѓned
to some interval [aв€’1 , a] with a > 1. Thus the elementary symmetric functions of the
Пѓi (x) will also lie in some interval of this type. But by (2.1.6), the elementary symmetric
functions are the coeп¬ѓcients of the characteristic polynomial of x, and by (2.2.2), these
coeп¬ѓcients are integers. Thus there are only п¬Ѓnitely many possible characteristic polyno-
mials of elements x в€€ C , hence by (2.1.5), only п¬Ѓnitely many possible roots of minimal
polynomials of elements x в€€ C . We conclude that x can belong to C for only п¬Ѓnitely
many x. в™Ј

6.1.4 Corollary
The kernel G of the homomorphism О» restricted to B в€— is a п¬Ѓnite group.
Proof. Take C = {0} in (6.1.3). в™Ј
The following result gives additional information about G.

6.1.5 Proposition
Let H be a п¬Ѓnite subgroup of K в€— , where K is an arbitrary п¬Ѓeld. Then H consists of roots
of unity and is cyclic.
Proof. Let z be an element of H whose order n is the exponent of H, that is, the least
common multiple of the orders of all the elements of H. Then y n = 1 for every y в€€ H, so
H consists of roots of unity. Since the polynomial X n в€’ 1 has at most n distinct roots,
we have |H| в‰¤ n. But 1, z, . . . , z nв€’1 are distinct elements of H, because z has order n.
Thus H is cyclic. в™Ј
For our group G, even more is true.

6.1.6 Proposition
The group G consists exactly of all the roots of unity in the п¬Ѓeld L.
Proof. By (6.1.5), every element of G is a root of unity. Conversely, suppose xm = 1.
Then x is an algebraic integer (it satisп¬Ѓes X m в€’ 1 = 0) and for every i,

|Пѓi (x)|m = |Пѓi (xm )| = |1| = 1.

Thus |Пѓi (x)| = 1 for all i, so log |Пѓi (x)| = 0 and x в€€ G. в™Ј

6.1.7 Proposition
B в€— is a п¬Ѓnitely generated abelian group, isomorphic to G Г— Zs where s в‰¤ r1 + r2 .
Proof. By (6.1.3), О»(B в€— ) is a discrete subgroup of Rr1 +r2 . [вЂњDiscreteвЂќ means that any
bounded subset of Rr1 +r2 contains only п¬Ѓnitely many points of О»(B в€— ).] It follows that
6.1. PRELIMINARY RESULTS 3

О»(B в€— ) is a lattice in Rs , hence a free Z-module of rank s, for some s в‰¤ r1 + r2 . The proof
of this is outlined in the exercises. Now by the п¬Ѓrst isomorphism theorem, О»(B в€— ) в€ј B в€— /G,
=
with О»(x) corresponding to the coset xG. If x1 G, . . . , xs G form a basis for B в€— /G and
x в€€ B в€— , then xG is a п¬Ѓnite product of powers of the xi G, so x is an element of G times a
п¬Ѓnite product of powers of the xi . Since the О»(xi ) are linearly independent, so are the xi ,
provided we translate the notion of linear independence to a multiplicative setting. The
result follows. в™Ј
We can improve the estimate of s.

6.1.8 Proposition
In (6.1.7), we have s в‰¤ r1 + r2 в€’ 1.
Proof. If x в€€ B в€— , then by (6.1.1) and (2.1.6),

r1 +r2
r1
n
В±1 = N (x) = Пѓi (x) = Пѓi (x) Пѓj (x)Пѓj (x).
j=r1 +1
i=1 i=1

Take absolute values and apply the logarithmic embedding to conclude that О»(x) =
(y1 , . . . , yr1 +r2 ) lies in the hyperplane W whose equation is

r1 +r2
r1
yi + 2 yj = 0.
j=r1 +1
i=1

The hyperplane has dimension r1 + r2 в€’ 1, so as in the proof of (6.1.7), О»(B в€— ) is a free
Z-module of rank s в‰¤ r1 + r2 в€’ 1. в™Ј
In the next section, we will prove the Dirichlet unit theorem, which says that s actually
equals r1 + r2 в€’ 1.

Problems For Section 6.1
We will show that if H is a discrete subgroup of Rn , in other words, for every bounded set
C вЉ† Rn , H в€© C is п¬Ѓnite, then H is a lattice in Rr for some r в‰¤ n. Choose e1 , . . . , er в€€ H
such that the ei are linearly independent over R and r is as large as possible. Let T
be the closure of the fundamental domain determined by the ei , that is, the set of all
r
x = i=1 ai ei , with 0 в‰¤ ai в‰¤ 1. Since H is discrete, H в€© T is a п¬Ѓnite set.
r
Now let x be any element of H. By choice of r we have x = i=1 bi ei with bi в€€ R.
r
1. If j is any integer, set xj = jx в€’ i=1 jbi ei , where y is the maximum of all integers
z в‰¤ y. Show that xj в€€ H в€© T .
2. By examining the above formula for xj with j = 1, show that H is a п¬Ѓnitely generated
Z-module.
3. Show that the bi are rational numbers.
4. Show that for some nonzero integer d, dH is a free Z-module of rank at most r.
5. Show that H is a lattice in Rr .
4 CHAPTER 6. THE DIRICHLET UNIT THEOREM

6.2 Statement and Proof of DirichletвЂ™s Unit Theorem
6.2.1 Theorem
The group B в€— of units of a number п¬Ѓeld L is isomorphic to G Г— Zs , where G is a п¬Ѓnite
cyclic group consisting of all the roots of unity in L, and s = r1 + r2 в€’ 1.
Proof. In view of (6.1.4)-(6.1.8), it suп¬ѓces to prove that s в‰Ґ r1 + r2 в€’ 1. Equivalently,
by the proof of (6.1.7), the real vector space V = О»(B в€— ) contains r1 + r2 в€’ 1 linearly
independent vectors. Now by the proof of (6.1.8), V is a subspace of the (r1 + r2 в€’ 1)-
dimensional hyperplane W , so we must prove that V = W . To put it another way, every
linear form f that vanishes on V must vanish on W . This is equivalent to saying that if
f does not vanish on W , then it cannot vanish on V , that is, for some unit u в€€ B в€— we
have f (О»(u)) = 0.
Step 1. We apply MinkowskiвЂ™s convex body theorem (5.1.3b) to the set

S = {(y1 , . . . , yr1 , z1 , . . . , zr2 ) в€€ Rr1 Г— Cr2 : |yi | в‰¤ ai , |zj | в‰¤ ar1 +j }

where i ranges from 1 to r1 and j from 1 to r2 . We specify the ai as follows. Fix
the positive real number b в‰Ґ 2nв€’r1 (1/2ПЂ)r2 |d|1/2 . Given arbitrary positive real numbers
a1 , . . . , ar , where r = r1 + r2 в€’ 1, we choose the positive real number ar+1 such that
r1 +r2
r1
a2 = b.
ai j
j=r1 +1
i=1

The set S is compact, convex, and symmetric about the origin, and its volume is
r1 +r2
r1
ПЂa2 = 2r1 ПЂ r2 b в‰Ґ 2nв€’r2 |d|1/2 .
2ai j
j=r1 +1
i=1

We apply (5.1.3b) with S as above and H = Пѓ(B) [see (5.3.3)], to get S в€© (H \ {0}) = в€….
Thus there is a nonzero algebraic integer x = xa , a = (a1 , . . . , ar ), such that Пѓ(xa ) в€€ S,
and consequently,

|Пѓi (xa )| в‰¤ ai , i = 1, . . . , n,

where we set aj+r2 = aj , j = r1 + 1, . . . , r1 + r2 .
Step 2. We will show that the norms of the xa are bounded by b in absolute value, and

0 в‰¤ log ai в€’ log |Пѓi (xa )| в‰¤ log b.

Using step 1, along with (2.1.6) and the fact that the norm of an algebraic integer is a
rational integer [see (2.2.2)], we п¬Ѓnd
r1 +r2
r1
n
1 в‰¤ |N (xa )| = |Пѓi (xa )| в‰¤ a2 = b.
ai j
j=r1 +1
i=1 i=1
6.2. STATEMENT AND PROOF OF DIRICHLETвЂ™S UNIT THEOREM 5

But for any i,

aв€’1 = ai bв€’1 .
|Пѓj (xa )|в€’1 в‰Ґ
|Пѓi (xa )| = |N (xa )| j
j=i j=i

Thus ai bв€’1 в‰¤ |Пѓi (xa )| в‰¤ ai for all i, so 1 в‰¤ ai /|Пѓi (xa )| в‰¤ b. Take logarithms to obtain
the desired chain of inequalities.
Step 3. Completion of the proof. In the equation of the hyperplane W , y1 , . . . , yr can be
speciп¬Ѓed arbitrarily and we can solve for yr+1 . Thus if f is a nonzero linear form on W ,
then f can be expressed as f (y1 , . . . , yr+1 ) = c1 y1 + В· В· В· + cr yr with not all ci вЂ™s zero. By
r
deп¬Ѓnition of the logarithmic embedding [see (6.1.2)], f (О»(xa )) = i=1 ci log |Пѓi (xa )|, so if
we multiply the inequality of Step 2 by ci and sum over i, we get
r r r
| ci log ai в€’ f (О»(xa ))| = | ci (log ai в€’ log |Пѓi (xa )|)| в‰¤ |ci | log b.
i=1 i=1 i=1

Choose a positive real number t greater than the right side of this equation, and for every
r
positive integer h, choose positive real numbers aih , i = 1, . . . , r, such that i=1 ci log aih
coincides with 2th. (This is possible because not all ci вЂ™s are zero.) Let a(h) = (a1h , . . . , arh ),
and let xh be the corresponding algebraic integer xa(h) . Then by the displayed equation
above and the choice of t to exceed the right side, we have |f (О»(xh )) в€’ 2th| < t, so

(2h в€’ 1)t < f (О»(xh )) < (2h + 1)t.

Since the open intervals ((2h в€’ 1)t, (2h + 1)t) are (pairwise) disjoint, it follows that the
f (О»(xh )), h = 1, 2, . . . , are all distinct. But by Step 2, the norms of the xh are all bounded
in absolute value by the same positive constant, and by (4.2.13), only п¬Ѓnitely many ideals
can have a given norm. By (4.2.6), there are only п¬Ѓnitely many distinct ideals of the
form Bxh , so there are distinct h and k such that Bxh = Bxk . But then xh and xk are
associates, hence for some unit u we have xh = uxk , hence О»(xh ) = О»(u) + О»(xk ). By
linearity of f and the fact that f (О»(xh )) = f (О»(xk )), we have f (О»(u)) = 0. в™Ј

6.2.2 Remarks
The unit theorem implies that there are r = r1 + r2 в€’ 1 units u1 , . . . , ur in B such that
every unit of B can be expressed uniquely as

u = z u n 1 В· В· В· u nr
r
1

where the ui are algebraic integers and z is a root of unity in L. We call {u1 , . . . , ur } a
fundamental system of units for the number п¬Ѓeld L.
As an example, consider the cyclotomic extension L = Q(z), where z is a primitive
p root of unity, p an odd prime. The degree of the extension is П•(p) = p в€’ 1, and an
th

embedding Пѓj maps z to z j , j = 1, . . . , p в€’ 1. Since these z j вЂ™s are never real, we have
r1 = 0 and 2r2 = p в€’ 1. Therefore r = r1 + r2 в€’ 1 = (p в€’ 3)/2.
6 CHAPTER 6. THE DIRICHLET UNIT THEOREM

6.3 Units in Quadratic Fields
6.3.1 Imaginary Quadratic Fields
в€љ
First, we look at number п¬Ѓelds L = Q( m), where m is a square-free negative integer.
There are no real embeddings, so r1 = 0 and 2r2 = n = 2, hence r2 = 1. But then
r1 + r2 в€’ 1 = 0, so the only units in B are the roots of unity in L. We will use (6.1.1) to
determine the units.
в€љ
Case 1. Assume m в‰Ў 1 mod 4. By (2.3.11), an algebraic integer has the form x = a+b m
for integers a and b. By (6.1.1) and (2.1.10), x is a unit iп¬Ђ N (x) = a2 в€’ mb2 = В±1. Thus
if m в‰¤ в€’2, then b = 0 and a = В±1. If m = в€’1, we have the additional possibility
a = 0, b = В±1.
в€љ
Case 2. Assume m в‰Ў 1 mod 4. By (2.3.11), x = a + b(1 + m)/2, and by (2.1.10),
N (x) = (a + b/2)2 в€’ mb2 /4 = [(2a + b)2 в€’ mb2 ]/4. Thus x is a unit if and only if
(2a + b)2 в€’ mb2 = 4. We must examine m = в€’3, в€’7, в€’11, в€’15, . . . . If m в‰¤ в€’7, then
b = 0, a = В±1. If m = в€’3, we have the additional possibilities b = В±1, (2a В± b)2 = 1, that
is, a = 0, b = В±1; a = 1, b = в€’1; a = в€’1, b = 1.
To summarize, if B is the ring of algebraic integers of an imaginary quadratic п¬Ѓeld,
then the group G of units of B is {1, в€’1}, except in the following two cases:
1. If L = Q(i), then G = {1, i, в€’1, в€’i}, the group of 4th roots of unity in L.
в€љ в€љ
2. If L = Q( в€’3), then G = {[(1 + в€’3)/2]j , j = 0, 1,в€љ 3, 4, 5}, the group of 6th roots
2,
of unity in L. We may list the elements x = a + b/2 + b в€’3/2 в€€ G as follows:
j = 0 в‡’ x = 1 (a = 1, b = 0)
в€љ
j = 1 в‡’ x = (1 + в€љ в€’3)/2 (a = 0, b = 1)
j = 2 в‡’ x = (в€’1 + в€’3)/2 (a = в€’1, b = 1)
j = 3 в‡’ x = в€’1 (a = в€’1, b = 0)
в€љ
j = 4 в‡’ x = в€’(1 + в€’3)/2 (a = 0, b = в€’1)
в€љ
j = 5 в‡’ x = (1 в€’ в€’3)/2 (a = 1, b = в€’1).

6.3.2 Remarks
Note that G, a п¬Ѓnite cyclic group, has a generator, necessarily a primitive root of unity.
Thus G will consist of all tth roots of unity for some t, and the п¬Ѓeld L will contain only
п¬Ѓnitely many roots of unity. This is a general observation, not restricted to the quadratic
case.

6.3.3 Real Quadratic Fields
в€љ
Now we examine L = Q( m), where m is a square-free positive integer. Since the
в€љ в€љ
Q-automorphisms of L are the identity and a + b m в†’ a в€’ b m, there are two real
embeddings and no complex embeddings. Thus r1 = 2, r2 = 0, and r1 + r2 в€’ 1 = 1. The
only roots of unity in R are В±1, so by (6.2.1) or (6.2.2), the group of units in the ring of
algebraic integers is isomorphic to {в€’1, 1} Г— Z. If u is a unit and 0 < u < 1, then 1/u
is a unit and 1/u > 1. Thus the units greater than 1 are hn , n = 1, 2, . . . , where h, the
unique generator greater than 1, is called the fundamental unit of L.
6.3. UNITS IN QUADRATIC FIELDS 7

в€љ
Case 1. Assume m в‰Ў 1 mod 4. The algebraic integers are of the form x = a + b m
with a, b в€€ Z. Thus we are looking for solutions for N (x) =в€љ 2 в€’ mb2 = В±1. Note that
a
в€љ
if x = a + b m is a solution, then the four numbers В±a В± b m are x, в€’x, xв€’1 , в€’xв€’1 in
some order. Since a number and its inverse cannot both be greater than 1, and similarly
for a number and its negative, it follows that exactly one of the four numbers is greater
than one, namely the number with a and b positive. The fundamental unit, which is the
smallest unit greater than 1, can be found as follows. Compute mb2 for b = 1, 2, 3, в€љ . ,
..
and stop at the п¬Ѓrst number mb1 that diп¬Ђers from a square a1 by В±1. Then a1 + b1 m
2 2

is the fundamental unit.
There is a more eп¬ѓcient computational technique using the continued fraction expan-
в€љ
sion of m. Details are given in many texts on elementary number theory.
Case 2. Assume m в‰Ў 1 mod 4. It follows from (2.2.6) that the algebraic integers are of
в€љ
the form x = 1 (a+b m), where a and b are integers of the same parity, both even or both
2
odd. Since the norm of x is 1 (a2 в€’ mb2 ), x is a unit iп¬Ђ a2 в€’ mb2 = В±4. Moreover, if a and
4
integers satisfying a2 в€’ mb2 = В±4, then a and b must have the same parity, hence
b are в€љ
a + b m is an algebraic integer and therefore a unit of B. To calculate the fundamental
unit, compute mb2 , b = 1, 2, 3, . . . , and stop at the п¬Ѓrst number mb2 that diп¬Ђers from a
в€љ 1
square a1 by В±4. The fundamental unit is 2 (a1 + b1 m).
1
2

Problems For Section 6.3
в€љ
1. Calculate the fundamental unit of Q( m) for m = 2, 3, 5, 6, 7, 10, 11, 13, 14, 15, 17.
In Problems 2-5, we assume m в‰Ў 1 mod 4. Suppose that we look for solutions to
a в€’ mb2 = В±1 (rather than a2 в€’ mb2 = В±4). We get units belonging to a subring
2
в€љ
B0 = Z[ m] of the ring B of algebraic integers, and в€љ positive units of B0 form a
the
1
subgroup H of the positive units of B. Let u = 2 (a + b m) be the fundamental unit of
the number п¬Ѓeld L.
2. If a and b are both even, for example when m = 17, show that H consists of the powers
of u, in other words, B0 = B в€— .
в€—

3. If a and b are both odd, show that u3 в€€ B0 .
4. Continuing Problem 3, show that u2 в€€ B0 , so H consists of the powers of u3 .
/
5. Verify the conclusions of Problems 3 and 4 when m = 5 and m = 13.
Chapter 7

Cyclotomic Extensions

A cyclotomic extension Q(О¶n ) of the rationals is formed by adjoining a primitive nth
root of unity О¶n . In this chapter, we will п¬Ѓnd an integral basis and calculate the п¬Ѓeld
discriminant.

7.1 Some Preliminary Calculations
7.1.1 The Cyclotomic Polynomial
Recall that the cyclotomic polynomial О¦n (X) is deп¬Ѓned as the product of the terms X в€’О¶,
where О¶ ranges over all primitive nth roots of unity in C. Now an nth root of unity is
a primitive dth root of unity for some divisor d of n, so X n в€’ 1 is the product of all
cyclotomic polynomials О¦d (X) with d a divisor of n. In particular, let n = pr be a prime
power. Since a divisor of pr is either pr or a divisor of prв€’1 , we have
r
Xp в€’ 1 tp в€’ 1
= 1 + t + В· В· В· + tpв€’1
О¦pr (X) = prв€’1 =
tв€’1
в€’1
X
rв€’1
where t = X p . If X = 1 then t = 1, and it follows that О¦pr (1) = p.
Until otherwise speciп¬Ѓed, we assume that n is a prime power pr .

7.1.2 Lemma
Let О¶ and О¶ be primitive (pr )th roots of unity. Then u = (1 в€’ О¶ )/(1 в€’ О¶) is a unit in Z[О¶],
hence in the ring of algebraic integers.
Proof. Since О¶ is primitive, О¶ = О¶ s for some s (not a multiple of p). It follows that
u = (1в€’О¶ s )/(1в€’О¶) = 1+О¶+В· В· В·+О¶ sв€’1 в€€ Z[О¶]. By symmetry, (1в€’О¶))/(1в€’О¶ ) в€€ Z[О¶ ] = Z[О¶],
and the result follows. в™Ј

7.1.3 Lemma
Let ПЂ = 1 в€’ О¶ and e = П•(pr ) = prв€’1 (p в€’ 1), where П• is the Euler phi function. Then the
principal ideals (p) and (ПЂ)e coincide.

1
2 CHAPTER 7. CYCLOTOMIC EXTENSIONS

Proof. By (7.1.1) and (7.1.2),
1в€’О¶ r
(1 в€’ О¶ ) = )(1 в€’ О¶) = v(1 в€’ О¶)П•(p )
p = О¦pr (1) = (
1в€’О¶
О¶ О¶

where v is a unit in Z[О¶]. The result follows. в™Ј
We can now give a short proof of a basic result, but remember that we are operating
under the restriction that n = pr .

7.1.4 Proposition
The degree of the extension Q(О¶)/Q equals the degree of the cyclotomic polynomial,
namely П•(pr ). Therefore the cyclotomic polynomial is irreducible over Q.
Proof. By (7.1.3), (p) has at least e = П•(pr ) prime factors (not necessarily distinct) in
the ring of algebraic integers of Q(О¶). By the ram-rel identity (4.1.6), e в‰¤ [Q(О¶) : Q]. But
[Q(О¶) : Q] cannot exceed the degree of a polynomial having О¶ as a root, so [Q(О¶) : Q] в‰¤ e.
If О¶ were a root of an irreducible factor of О¦pr , then the degree of the cyclotomic extension
would be less than П•(pr ), contradicting what we have just proved. в™Ј

7.1.5 Lemma
Let B be the ring of algebraic integers of Q(О¶). Then (ПЂ) is a prime ideal (equivalently,
ПЂ is a prime element) of B. The relative degree f of (ПЂ) over (p) is 1, hence the injection
Z/(p) в†’ B/(ПЂ) is an isomorphism.
Proof. If (ПЂ) were not prime, (p) would have more than П•(pr ) prime ideal factors, which
is impossible, in view of the ram-rel identity. This identity also gives f = 1. в™Ј
We will need to do several discriminant computations, and to prepare for this, we do
some calculations of norms. The symbol N with no subscript will mean the norm in the
extension Q(О¶)/Q.

7.1.6 Proposition
s s
N (1 в€’ О¶) = В±p, and more generally, N (1 в€’ О¶ p ) = В±pp , 0 в‰¤ s < r.
Proof. The minimal polynomial of 1в€’О¶ is О¦pr (1в€’X), which has constant term О¦pr (1в€’0) =
s
p by (7.1.1). This proves the п¬Ѓrst assertion. If 0 < s < r, then О¶ p is a primitive (prв€’s )th
root of unity, so by the above calculation with r replaced by r в€’ s,
s
N1 (1 в€’ О¶ p ) = В±p
s
where N1 is the norm in the extension Q(О¶ p )/Q. By transitivity of norms [see (2.1.7)]
s
applied to the chain Q(О¶), Q(О¶ p ), Q, and the formula in (2.1.3) for the norm of an element
of the base п¬Ѓeld, we get
s s
N (1 в€’ О¶ p ) = N1 ((1 в€’ О¶ p )b )
s s
where b = [Q(О¶) : Q(О¶ p )] = П•(pr )/П•(prв€’s ) = ps . Thus N (1 в€’ О¶ p ) = В±pb , and the result
follows. в™Ј
In (7.1.6), the sign is (в€’1)П•(n) ; see (2.1.3).
7.1. SOME PRELIMINARY CALCULATIONS 3

7.1.7 Proposition
r
. Then D = В±pc , where c =
)в€’1
Let D be the discriminant of the basis 1, О¶, . . . , О¶ П•(p
prв€’1 (pr в€’ r в€’ 1).
Proof. By (2.3.6), D = В±N (О¦pr (О¶)). Diп¬Ђerentiate the equation

rв€’1 r
в€’ 1)О¦pr (X) = X p в€’ 1
(X p

to get

в€’1 в€’1
rв€’1 rв€’1 r
в€’ 1)О¦pr (X) + prв€’1 X p
(X p О¦pr (X) = pr X p .

Setting X = О¶ and noting that О¶ is a root of О¦pr , we have

в€’1 в€’1
r r
в€’ 1)О¦pr (О¶) + 0 = pr О¶ p
(О¶ p .

Thus

pr О¶ p в€’1
r

О¦pr (О¶) = prв€’1 .
в€’1
О¶

The norm of the denominator has been computed in (7.1.6). The norm of О¶ is В±1, as
r rв€’1
О¶ is a root of unity. The norm of pr is prП•(p ) = prp (pв€’1) . By (2.1.3), the norm is
multiplicative, so the norm of О¦pr (О¶) is В±pc , where

c = r(p в€’ 1)prв€’1 в€’ prв€’1 = prв€’1 (pr в€’ r в€’ 1). в™Ј

7.1.8 Remarks
In (4.2.5), we related the norm of an ideal I to the п¬Ѓeld discriminant d and the discriminant
D(z) of a basis z for I. It is important to notice that the same argument works if I is
replaced by any free Z-module J of rank n. Thus if B is the ring of algebraic integers,
then

D(z) = |B/J|2 d.
r
Applying this result with z = {1, О¶, . . . , О¶ П•(p } and J = Z[О¶], we п¬Ѓnd that
)в€’1

D = |B/Z[О¶]|2 d.

Thus if we can show that the powers of О¶ form an integral basis, so that Z[О¶] = B, then
in view of (7.1.7), we are able to calculate the п¬Ѓeld discriminant up to sign. Also, by the
exercises in Section 4.2, the only ramiп¬Ѓed prime is p.
Let ПЂ = 1 в€’ О¶ as in (7.1.3), and recall the isomorphism Z/(p) в†’ B/(ПЂ) of (7.1.5).
4 CHAPTER 7. CYCLOTOMIC EXTENSIONS

7.1.9 Lemma
For every positive integer m, we have Z[О¶] + pm B = B.
Proof. We п¬Ѓrst prove the identity with p replaced by ПЂ. If b в€€ B, then b + (ПЂ) = t + (ПЂ) for
some integer t, hence bв€’t в€€ (ПЂ). Thus Z[О¶]+ПЂB = B, and consequently ПЂZ[О¶]+ПЂ 2 B = ПЂB.
Now iterate: If b в€€ B, then b = b1 + b2 , b1 в€€ Z[О¶], b2 в€€ ПЂB. Then b2 = b3 + b4 , b3 в€€
ПЂZ[О¶] вЉ† Z[О¶], b4 в€€ ПЂ 2 B. Observe that b = (b1 + b3 ) + b4 , so Z[О¶] + ПЂ 2 B = B. Continue
r
in this fashion to obtain the desired result. Now by (7.1.3), ПЂ П•(p ) is p times a unit, so if
m = П•(pr ), we can replace ПЂ m B by pB, so that Z[О¶] + pB = B. But we can iterate this
equation exactly as above, and the result follows. в™Ј

7.1.10 Theorem
r
The set {1, О¶, . . . , О¶ П•(p )в€’1 } is an integral basis for the ring of algebraic integers of Q(О¶pr ).
Proof. By (7.1.7) and (7.1.8), |B/Z[О¶]| is a power of p, so pm (B/Z[О¶]) = 0 for suп¬ѓciently
large m. Therefore pm B вЉ† Z[О¶], hence by (7.1.9), Z[О¶] = B. в™Ј

Problems For Section 7.1
This problem set will indicate how to п¬Ѓnd the sign of the discriminant of the basis
1, О±, . . . , О±nв€’1 of L = Q(О±), where the minimal polynomial f of О± has degree n.
1. Let c1 , . . . , cr1 be the real conjugates of О±, that is, the real roots of f , and let
cr1 +1 , cr1 +1 , . . . , cr1 +r2 , cr1 +r2 be the complex (=non-real) conjugates. Show that the
sign of the discriminant is the sign of
r2
(cr1 +i в€’ cr1 +i )2 .
i=1

2. Show that the sign of the discriminant is (в€’1)r2 , where 2r2 is the number of complex
embeddings.
3. Apply the results to О± = О¶, where О¶ is a primitive (pr )th root of unity. (Note that a
nontrivial cyclotomic extension has no real embeddings.)

7.2 An Integral Basis of a Cyclotomic Field
In the previous section, we found that the powers of О¶ form an integral basis when О¶ is a
power of a prime. We will extend the result to all cyclotomic extensions.

7.2.1 Notation and Remarks
Let K and L be number п¬Ѓelds of respective degrees m and n over Q, and let KL be
ai bi with ai в€€ K
the composite of K and L. Then KL consists of all п¬Ѓnite sums
and bi в€€ L. This is because the composite can be formed by adjoining basis elements of
K/Q and L/Q one at a time, thus allowing an induction argument. Let R, S, T be the
algebraic integers of K, L, KL respectively. Deп¬Ѓne RS as the set of all п¬Ѓnite sums ai bi
with ai в€€ R, bi в€€ S. Then RS вЉ† T , but equality does not hold in general. For example,
7.2. AN INTEGRAL BASIS OF A CYCLOTOMIC FIELD 5

в€љ в€љ
look at K = Q( m1 ) and L = Q( m2 ), where m1 в‰Ў 3 mod 4, m2 в‰Ў 3 mod 4, hence
m1 m2 в‰Ў 1 mod 4.

7.2.2 Lemma
Assume that [KL : Q] = mn. Let Пѓ be an embedding of K in C and П„ an embedding of
L in C. Then there is an embedding of KL in C that restricts to Пѓ on K and to П„ on L.
Proof. The embedding Пѓ has [KL : K] = n distinct extensions to embeddings of KL in
C, and if two of them agree on L, then they agree on KL (because they coincide with
Пѓ on K). This contradicts the fact that the extensions are distinct. Thus we have n
embeddings of KL in C with distinct restrictions to L. But there are only n embeddings
of L in C, so one of them must be П„ , and the result follows. в™Ј

 << стр. 2(всего 4)СОДЕРЖАНИЕ >>