You are on page 1of 18

Matematisk Institut Mat 3AL 4.

1
Chapter IV. Cyclotomic
elds and applications
ROOTS OF UNITY AND CYCLOTOMIC POLYNOMIALS.
In this chapter we shall consider an important class of normal extensions of the
rational number eld Q. Historically these were the rst algebraic extensions of Q
which were the subject of thorough investigations.
First some remarks about roots of unity.
The complex solutions of the equation x
n
= 1, i.e. the numbers e
2i
n
k
, 0 k < n,
are called the n-th roots of unity. They form a multiplicative cyclic group of order
n. An n-th root of unity is called a primitive n-th root of unity, if it generates the
group of n-th roots of unity. Therefore an n-th root of unity is a primitive n-th root
of unity if and only if
k
,= 1 , 0 < k < n. The following lemma is quite elementary
Lemma 4.1. Let be a primitive n-th root of unity. The following conditions are
equivalent
1)
k
is a primitive n-th root of unity.
2) (k, n) = 1 ( i.e. k and n are relatively prime).
Proof. Just an easy exercise in group theory.(Cf. Remark 1.82)
In particular e
2i
n
k
, 1 k < n, (k, n) = 1, are exactly all the primitive n-th roots
of unity.
Definition 4.2. The polynomial F
n
(x) =

1kn
(k,n)=1
_
x e
2i
n
k
_
is called the n-th
cyclotomic polynomial.
The roots of F
n
(x) are exactly the primitive n-th roots of unity. The degree of
F
n
(x) is (n), where (n) is the so-called Eulers -function, dened as the number
of residue classes modulo n prime to n.
A priori it is only clear that F
n
(x) has coecients in C. However, as we shall see
in the following theorem, F
n
(x) has integer coecients.
Theorem 4.3. F
n
(x) is a polynomial in Z[x].
To prove this we need the following
Lemma 4.4. x
n
1 =

d|n
F
d
(x), where d runs through the positive divisors of n.
Proof. The monic polynomials x
n
1 and

d|n
F
d
(x) have no multiple roots (note
that F
d
1
(x) and F
d
2
(x) have no common roots if d
1
,= d
2
). Therefore it suces to
show that the two polynomials x
n
1 and

d|n
F
d
(x) have exactly the same roots.
Matematisk Institut Mat 3AL 4.2
Indeed, an n-th root of unity is a primitive d-th root of unity for exactly one divisor
d of n. Conversely, if is a primitive d-th root of unity for a divisor d of n, then is
certainly an n-th root of unity.
Proof of Theorem 4.3. By induction on n. Since F
1
(x) = x 1 the assertion is clear
for n = 1. Assume it has been proved that F
m
(x) Z[x] for all m < n. We must
then prove that F
n
(x) lies in Z[x].
By the above lemma we know x
n
1 = F
n
(x)

d|n
d<n
F
d
(x), where

d|n
d<n
F
d
(x)
by the induction assumption is a monic polynomial with integer coecients. The
division algorithm now shows that F
n
(x) has integer coecients.
We now give an explicit formula for F
n
(x).
Theorem 4.5. F
n
(x) =

d|n
(x
n
d
1)
(d)
, where denotes the Mobius function
introduced in Chap. II.
Proof. By lemma 4.4 and Theorem 2.83 in Chap. II we get:

d|n
(x
n
d
1)
(d)
=

d|n
(

|
n
d
F

(x))
(d)
=

d,,d|n
F

(x)
(d)
=

|n
F

(x)
P
d|
n

(d)
= F
n
(x) .

Since F
n
(x) has degree (n), where (n) is Eulers -function, by comparison of
degrees we obtain
Corollary 4.6. (n) =

d|n
n
d
(d) = n

p|n
(1
1
p
), where p runs through the
distinct prime divisors of n.
Proof. By identifying the degrees of F
n
(x) and of

d|n
(x
n
d
1)
(d)
we see that
(n) =

d|n
n
d
(d). It remains then to show that

d|n
n
d
(d) = n

p|n
(1
1
p
).
Since (d) = 0 if d is divisible by the square of a prime, it suces to consider
the square-free divisors of n. Let n = p
a
1
1
p
a
r
r
be the prime decomposition of n
where p
1
, . . . , p
r
are the distinct prime divisors of n. We consider rst the divisor
1, then the prime divisors of n, then all products of two distinct prime divisors,
then all products of three distinct prime divisors, etc. For the sum we then nd

d|n
n
d
(d) = n

n
p
i
+

n
p
i
p
j

n
p
i
p
j
p
k
+... = n

p
i
|n
(1
1
p
i
). where the p
i
s
are the distinct prime divisors of n, the p
i
p
j
s are the products of two distinct prime
divisors, p
i
p
j
p
k
s are the products of three distinct prime divisors etc.
Matematisk Institut Mat 3AL 4.3
Some remarks concerning the coecients of the cyclotomic polynomials.
Remark 4.7. For n > 2 the degree of F
n
(x) is an even number and the constant
term is 1.
Remark 4.8. The coecient of the next highest term (i.e. the coecient of x
(n)1
)
is (n), since the sum of the primitive n-th roots of unity is (n) (this is an exercise
provable by induction).
Remark 4.9. Looking at the rst cyclotomic polynomials one might have the temp-
tation to conjecture that all the coecents of the cyclotomic polynomials were 0 or
1 or 1. This, however, is not true. The rst counterexample is F
105
where the
coecient of x
7
is -2.But it can be proved that if n is divisible by at most two dis-
tinct odd prime numbers, then the coecients of F
n
(x) are 0, 1 or 1. (The proof
is elementary, but not trivial.)
Remark 4.10. F
n
(x) is reciprocal for n > 1, i.e. if a
i
is the coecient of x
i
then
a
i
= a
(n)i
for 0 i (n).
Remark 4.11. For a prime number p one has F
p
(x) = (x
p
1)/(x 1) = x
p1
+
+ x + 1.
Numerical examples 4.12. F
1
(x) = x 1, F
2
(x) = x + 1, F
3
(x) = x
2
+ x +
1, F
4
(x) = x
2
+ 1, F
5
(x) = x
4
+ x
3
+ x
2
+ x + 1, F
6
(x) = x
2
x + 1, F
8
(x) =
x
4
+1, F
9
(x) = x
6
+x
3
+1, F
10
(x) = x
4
x
3
+x
2
x+1, F
12
(x) = x
4
x
2
+1, F
15
(x) =
x
8
x
7
+ x
5
x
4
+ x
3
x + 1.
Explicit computations of some roots of unity.
Let
n
be the n-th root of unity e
2i
n
.
It is clear that
1
= 1 and
2
= 1 and
4
= i. Similarly it is straightforward to
check that
8
= cos(
2
8
) + isin(
2
8
) = (1 + i)/

2.

3
is the root of F
3
(x) lying in the upper half complex plane. Therefore
3
=
(1 + i

3)/2.

6
is the root of F
6
(x) lying in the rst quadrant of the complex plane; hence

6
= (1 + i

3)/2.
As for
5
we write
x
2
F
5
(x) = x
2
+ x
1
+ 1 + x
1
+ x
2
= (x + 1/x)
2
+ (x + 1/x) 1
which implies that 2 cos(
2
5
) =
5
+
1
5
is the (positive) root of
z
2
+ z 1 = 0
hence 2 cos(
2
5
) = (

5 1)/2 and cos(


2
5
) = (

5 1)/4.
Now sin(
2
5
) =
_
1 cos
2
(
2
5
) =
1
4
_
10 + 2

5 so that

5
=
1
4
_

5 1 + i
_
10 + 2

5
_
.
Matematisk Institut Mat 3AL 4.4
CYCLOTOMIC POLYNOMIALS ARE IRREDUCIBLE.
For the proof of the irreducibility of cyclotomic polynomials in Q[x] we need the
following lemmas.
Lemma 4.13.. If f(x) and g(x) are monic polynomials in Q[x] for which f(x)g(x)
Z[x], then f(x) Z[x] and g(x) Z[x].
Proof. There are natural numbers a and b such that af(x) and bg(x) are primi-
tive polynomials in Z[x]. According to Gausss lemma the product af(x)bg(x) =
abf(x)g(x) is also a primitive polynomial in Z[x]. But then ab must be +1, and
therefore a and b must also be 1. This implies that f(x) and g(x) are polynomials in
Z[x].
Lemma 4.14. If p is a prime number and g(x) is a polynomial in Z
p
[x] = F
p
[x]
then g(x
p
) = (g(x))
p
.
Proof. This follows from Freshmans Dream and the fact that
p
= for every in
the nite eld Z
p
with p elements.
Theorem 4.15. F
n
(x) is irreducible in Q[x].
Proof. Let f(x) be a monic irreducible polynomial in Q[x]. We prove:
1

If is a primitive n-th root of unity and p is a prime number that does not
divide n, then:
f() = 0 f(
p
) = 0.
Proof of 1

: Since f(x) = Irr(, Q) the polynomial f(x) must divide x


n
1 inside
Q[x]. By lemma 4.13 it follows that f(x) must be a polynomial in Z[x].
We now consider g(x) = Irr(
p
, Q). As before we see that g(x) Z[x]. The
polynomial g(x
p
) has as a root. Hence f(x)[g(x
p
) inside Q[x] and thus as before
inside Z[x]. Therefore
g(x
p
) = f(x) k(x) , ()
where k(x) a priori is in Q[x] and then as before in Z[x]. Assume now f(
p
) ,= 0.
Then f(x) and g(x) would be two non-associate irreducible polynomials in Q[x].
Both of them divide x
n
1. Since Q[X] is a UFD, f(x) g(x)[x
n
1 inside Q[x] and
thus as before inside Z[x], consequently
x
n
1 = f(x) g(x) h(x) , ()
where h(x) Z[x].
For the polynomials f(x) , g(x) , h(x) and k(x) i Z
p
[x] obtained by applying the
homomorphism Z[x] Z
p
[x], we conclude from (),and ()
g(x)
p
= f(x) k(x) , ( )
Matematisk Institut Mat 3AL 4.5
x
n
_1 = f(x) g(x) h(x) , ( )
where we have used lemma 4.14 in ( ).
From ( ) we see that every irreducible factor (x) of f(x) also must appear
in g(x), so that the equation ( ) implies that x
n
_1 (inside Z
p
[X]) must be
divisible by the square of the polynomial (x) of positive degree:
x
n
_1 = (x)
2
q(x) , (x), q(x) Z
p
[X] .
By taking formal derivatives we get
n x
n1
= (x)[2

(x)q(x) + (x)q

(x)] .
Here _n ,= 0 in Z
p
since pn; therefore _n has an inverse _n
1
in Z
p
and from the above
we get
_1 = (x)
_
[2

(x)q(x) + (x)q

(x)] x _n
1
(x)q(x)
_
Z
p
[X] ,
which gives the desired contradiction since (x) has positive degree.
2

If a monic irreducible polynomial f(x) Q[x] has some primitive n-th root of
unity as a root then all primitive n-th roots of unity will be roots of f(x).
Proof of 2

: Every primitive n-th root of unity has the form


k
, where (k, n) = 1
(cf. lemma 4.1). k can be written as a product of (not necessarily distinct) prime
numbers. None of these prime factors divides n. The assertion 2

now follows by
successive application of 1

.
3

F
n
(x) is irreducible in Q[x].
Proof of 3

: Let be a primitive n-th root of unity and let f(x) = Irr(, Q). Then
f(x) divides F
n
(x). By 2

all primitive n-th roots of unity will be roots of f(x). This


implies that degree(f(x)) (n) = degree F
n
(x) and hence F
n
(x) = f(x), since
these polynomials are monic. But f(x) is by denition irreducible and therefore
F
n
(x) is also irreducible.

DIRICHLETS THEOREM ABOUT PRIME NUMBERS IN ARITHMETIC


PROGRESSIONS.
We make a little digression, where we use that F
n
(x) Z[X].
Dirichlets famous theorem about prime numbers in arithmetic progressions says
that for every pair (a, n) of relatively prime natural numbers there exist innitely
many prime numbers that are a (mod n). We shall prove this theorem in an
important special case:
Matematisk Institut Mat 3AL 4.6
Theorem 4.16. Dirichlets Theorem for a = 1. For every natural number n
there are innitely many prime numbers that are 1 (mod n).
Proof. The statement For every natural number n there exists a prime number that
is 1 (mod n) implies the statement: For every natural number n there exist
innitely many prime numbers that are 1 (mod n). Indeed, let p
1
, . . . , p
t
be
primes that are 1 (mod n). By assumption there exists a prime number p that is
1 (mod np
1
p
t
). This prime number p is 1 (mod n) and denitely ,= p
i
for
1 i t.
Therefore it suces to show that for every natural number n there is a prime
number that is 1 (mod n).
We may, of course, assume that n > 2.
The desired theorem is a consequence of the following two assertions:
Assertion 1. [F
n
(n)[ > 1 for every natural number n > 2 and therefore F
n
(n) is
divisible by at least one prime number.
Assertion 2. Every prime divisor p of F
n
(n) is 1 (mod n).
Proof of assertion 1. Since F
n
(n) =

1k<n
(k,n)=1
(ne
2i
n
k
) and every factor for n > 2 has
absolute value > 1 the desired inequality follows.
Proof of assertion 2. Let p be a prime divisor of F
n
(n), where n > 2. Since F
n
(x) has
constant term 1 it follows that F
n
(n) 1 (mod n) and therefore p does not divide
n.
From lemma 4.4 we know that x
n
1 =

d|n
F
d
(x) and by setting x = n we see
that n
n
1 is divisible by p.
Therefore the group theoretical order t of the residue class _n modulo p divides n.
We claim that t = n. Indeed, assume that t < n. Then we would have the product
representation
x
n
1
x
t
1
= F
n
(x)

(x)
where runs through those divisors of n for which < n and does not divide t.
Setting x = n shows that F
n
(n) divides
n
n
1
n
t
1
. On the other hand the identity
n
n
1
n
t
1
=
(n
t
)
n
t
1
n
t
1
= (n
t
)
n
t
1
+ (n
t
)
n
t
2
+ . . . + n
t
+ 1
shows that
n
n
1
n
t
1
1 + + 1
. .
n
t
terms
=
n
t
(mod p)
Matematisk Institut Mat 3AL 4.7
The above would therefore imply that p should divide
n
t
and thereby also n contra-
dicting our rst observation.
Consequently t = n, and since the group theoretical order of every element in the
multiplicative group (Z
p
0, ) is a divisor of p 1 it follows that p 1 (mod n).

CYCLOTOMIC FIELDS.
We now consider the eld Q
n
= Q
_
e
2i
n
_
, which is called the n-th cyclotomic
eld.
1
Q
n
is the splitting eld for x
n
1 over Q. So Q
n
/Q is a normal extension.
Here is
[Q
n
: Q] = degree
_
Irr
_
e
2i
n
, Q
__
= degree(F
n
(x)) = (n). Let be e
2i
n
. If is an
automorphism in Gal(Q
n
/Q) then (by Lemma 3.4) () must be =
a
, where
a
is
a root of F
n
(x), i.e.
a
is a primitive n-th root of unity. Hence (a, n) = 1 where a is
determined modulo n. Consequently we get a well dened map:
Gal(Q
n
/Q)
-

n
, (where Z

n
are the residue classes modulo n prime to n)
by
() = _a (modulo n), if () =
a
.
Here is injective since is uniquely determined by its value on . Because
[ Gal(Q
n
/Q)[ = [Q
n
: Q] = (n) = [(Z

n
)[ the mapping is also surjective. The
residue classes prime to n modulo n form a multiplicative group (notice that Z

n
consists of the invertible elements in Z
n
). Furthermore is a homomorphism:
(
1

2
) determined by
1

2
() =
(
1

2
)

2
() =
(
2
)
;
1
(
2
()) =
1
_

(
2
)
_
= (
1
())
(
2
)
=
_

(
1
)
_
(
2
)
=
(
1
)(
2
)
i.e.: (
1

2
) = (
1
)(
2
) .
Thus we have proved
Theorem 4.17. Gal(Q
n
/Q) Z

n
(= the multiplicative group of the prime residue
classes modulo n).
In particular, Gal(Q
n
/Q) is abelian.
It is clear [cf. the fundamental theorem of Galois theory 4) and 5)] that every
subeld K Q
n
is normal over Q with abelian Galois group, namely
Gal(K/Q) ( Gal(Q
n
/Q)/ Gal(Q
n
/K)).
1
Beloved child has many names: There are several notations for the n-th cyclotomic eld.
Some authors use Q(
n
) or Q(
n
), others Q[n] or Q
(n)
and the list comprises at least 20 other
names. We have chosen Q
n
since it is the shortest.
Matematisk Institut Mat 3AL 4.8
A classical (very deep) theorem gives a characterization of the normal extensions
of Q with abelian Galois group.
Theorem 4.18. KroneckerWebers Theorem. Let K/Q be a nite normal
extension. Then: K/Q is normal with abelian Galois group K Q
n
for a suitable
n.
We have already proved . The other implication is very hard to prove.
We shall just prove (the hard implication of) the theorem in the very special case
where Gal(K/Q) is cyclic of order 2.
First a quite elementary lemma.
Lemma 4.19. Let K be a eld of charactistic 0 and L a quadratic extension of K,
i.e. [L : K] = 2.
i) There exists an element a in K such that L = K(

a).
ii) If K = Q we can choose a as a rational square-free integer (i.e. a Z and a
is not divisible by the square of any prime number).
Proof. ad i) Any L K generates L over K, i.e. L = K(). The polynomial
Irr(, K) can be written x
2
+k
1
x +k
2
, where k
1
and k
2
belong to K. As a one may
use the discriminant k
2
1
4k
2
.
ad ii) The assertion follows from the fact, that for every rational number q ,= 0
there exists a rational number q
1
such that qq
2
1
is a square-free integer.

Proof of Kronecker-Webers theorem for quadratic extensions of Q.


Because of lemma 4.19 it suces to show that Q(

a) Q
4|a|
for every square-free
integer a. This will be done in 4 steps:
1. We observe that Q(

1) = Q
4
og Q(

1,

2) = Q(

1,

2) = Q
8
.
2. For a natural number n the cyclotomic eld Q
n
is the splitting eld over Q
for the polynomial x
n
1. By Theorem 2.84 the square root
_
discrim(x
n
1) lies
in Q
n
. In Theorem 2.88 it was shown that this discriminant is n
n
(1)
(n1)(n2)
2
.
When n is odd, the discriminant can be written (n
n1
2
)
2
(1)
n1
2
n. Therefore
Q(
_
discrim(x
n
1)) = Q(
_
n(1)
n1
2
) which is
Q(

n), if n 1 (mod 4) and


Q(

n), if n 3 (mod 4).


3. If n and m are natural numbers and n divides m then obviously Q
n
Q
m
.
4. If a is a is a square-free integer, then Q(

a) Q
4|a|
.
There are two possibilities: i) a is odd and ii) a is even.
Matematisk Institut Mat 3AL 4.9
ad i) We distinguish between the case i1), where a is positive and the case i2),
where a er negative.
First case i1): For a 1 mod 4, the above assertions 2. and 3. imply that
Q(

a) Q
a
Q
4|a|
.
For a 3 mod 4, the above assertions 1. 2. and 3. imply that Q(

1,

a)
Q
4|a|
.
Second case i2): Clearly Q(

a) Q(

1,
_
[ a [). By the assertions 1. and 2.
and the above treated case i1) we conclude that Q(

a) Q
4|a|
.
ad ii) Here a = 2u, where u is odd since a is square-free. Obviously Q(

a)
Q(

2,

u) which [according to assertions 1., 3. and the above case i)] is contained
in Q
8
Q
4|u|
Q
4|a|
.

Example 4.20. If p is an odd prime number the Galois group Gal(Q


p
/Q) is cyclic of
order p 1, since the multiplicative group of the non-zero elements in the nite eld
Z
p
= F
p
is cyclic. Therefore Gal(Q
p
/Q) contains exactly one subgroup of index 2. By
the fundamental theorem of Galois theory Q
p
thus contains exactly one quadratic
subeld. As the above proof shows, this quadratic subeld is Q(

p) when p 1
(mod 4) and Q(

p) when p 3 (mod 4).


RELATIONS BETWEEN CYCLOTOMIC FIELDS.
We rst give some useful applications of the formula for (n) from the Corollary
4.6.
Lemma 4.21. Let m and n be positive integers and let d, resp. f, be the greatest
common divisor of m and n, resp. the least common multiple of m and n. Then
i) mn = df
ii) (m)(n) = (d)(f).
Proof. Consider the prime decompositions of m and n
m =

p
p
m
p
, m
p
0 and n =

p
p
n
p
, n
p
0
where p runs through the primes dividing m or n. Then the prime decompositions
of d and f are
d =

p
p
min(m
p
,n
p
)
and f =

p
p
max(m
p
,n
p
)
.
This immediately shows i).
By the formula for Eulers -function we have
Matematisk Institut Mat 3AL 4.10
(m) =

p
(p
m
p
) and (n) =

p
(p
n
p
)
as well as
(d) =

p
(p
min(m
p
,n
p
)
) and (f) =

p
(p
max(m
p
,n
p
)
),
where we have dened (1) to be 1.
The above expressions for (m), (n), (d) and (f) immediately yield ii).
Lemma 4.22. Let m be a positive integer and p a prime number. Then (mp) =
(m) m is odd and p = 2.
Proof. The part is an immediate consequence of the formula for Eulers -
function.
The part: If p divides m the formula for Eulers -function shows that
(mp) = (m) p which is ,= (m).
If p does not divide m the formula for Eulers -function shows that (mp) =
(m) (p 1) which is ,= (m) for p ,= 2. Hence m must be odd and p must be 2 if
(mp) = (m).
Eulers -function is not multiplicative in the sense that it unconditionally sends
products into products, but it has the weaker property that (m) divides (n) if m
divides n. This follows either from the formula for Eulers -function or from the
fact that the natural homomorphism from (Z/n)

to (Z/m)

is surjective when m
divides n. We formulate this as
Lemma 4.23. Let m and n be natural numbers. If m divides n, then (m) divides
(n).
Lemma 4.24. Let m and n be natural numbers. If m [ n, then (m) = (n), if and
only if either m = n or m is odd and n = 2m.
Proof. The if part is an immediate consequence of the formula for Eulers -
function.
As for the only if part assume that m < n and m divides n. Then n = mb,
where b > 1. Assume (m) = (n). If p is any prime divisor of b Lemma 4.23 implies
(m) [ (mp) [ (mb) = (n), hence (m) = (mp). By Lemma 4.22 we see that
m must be odd and p must be 2. Moreover, b/p cannot contain any prime divisor at
all, hence b = p = 2 and n = 2m.
Matematisk Institut Mat 3AL 4.11
Theorem 4.25. Let m and n be positive integers and let d, resp. f, be the greatest
common divisor of m and n, resp. the least common multiple of m and n. Then the
compositum Q
m
Q
n
= Q
f
and the intersection Q
m
Q
n
= Q
d
.
Proof. By lemma 4.21 the greatest common divisor of m and n is mn/f, hence there
exist integers a and b such that am + bn = mn/f and thus a/n + b/m = 1/f.
Therefore
(e
2i
n
)
a
(e
2i
m
)
b
= e
2i
f
which implies that Q
f
is contained in the compositum Q
m
Q
n
. Since clearly Q
m
and
Q
n
are contained in Q
f
it follows that Q
m
Q
n
= Q
f
.
Clearly Q
d
Q
m
and Q
d
Q
n
, hence Q
d
Q
m
Q
n
.
The translation theorem (Theorem 3.46) applied on
Q
m
Q
m
Q
n
= Q
f
Q
m
Q
n
Q
n
Q
yields
[Q
m
: (Q
m
Q
n
)] = [Q
f
: Q
n
] = (f)/(n) = (m)/(d)
where we have used Lemma 4.21 to obtain the last equality.
Therefore [(Q
m
Q
n
) : Q] = (d). Since [Q
d
: Q] = (d) this together with above
inclusion Q
d
Q
m
Q
n
shows that Q
m
Q
n
= Q
d
.
In view of Theorem 3.48 about the compositum of nite normal extensions The-
orem 4.25 implies the following
Corollary 4.26. Let n
1
, . . . , n
t
be pairwise coprime natural numbers. If we set
n = n
1
n
t
then Q
n
is the compositum of the elds Q
n
1
, . . . Q
n
t
and Gal(Q
n
/Q)
is isomorphic to the direct product Gal(Q
n
1
/Q) Gal(Q
n
t
/Q). Moreover, if
for each i, 1 i t, K
i
is a subeld of Q
n
i
then the compositum K
1
K
t
is
a normal extension of Q whose Galois group is isomorphic to the direct product
Gal(K
1
/Q) Gal(K
t
/Q).
Theorem 4.27. Let m n be natural numbers. Then Q
m
= Q
n
if and only if either
m = n or m is odd and n = 2m.
Proof. Since (m) = (2m) for any odd natural number m the if part is clear.
Indeed, in this case Q
m
Q
n
and [Q
2m
: Q] = [Q
m
: Q].
Matematisk Institut Mat 3AL 4.12
As for the only if part let d, resp. f, be the greatest common divisor of m and n
resp. the least common multiple of m and n. By the preceding theorem we conclude
that Q
d
= Q
m
= Q
n
= Q
f
. Since d divides f we deduce from [Q
d
: Q] = (d) and
[Q
f
: Q] = (f) that (d) = (f). If m < n, then d is a proper divisor of f and
Lemma 4.24 implies that d is odd f = 2d. From the equations 2d
2
= df = mn =
d
2
(
m
d
)(
n
d
) it follows that (
m
d
)(
n
d
) = 2, hence
m
d
= 1 and
n
d
= 2, which implies that m
is odd and n = 2m.
It is now not hard to prove
Theorem 4.28. Let m and n be natural numbers. Then Q
m
Q
n
if and only if
either m divides n or m = 2u for some odd divisor u of n.
Proof. The if part follows from the previous theorem since Q
2u
= Q
u
for an odd
u and Q
u
Q
n
if u divides n.
The only if part: Let as usual d be the greatest common divisor of m and n.
From Theorem 4.25 we get Q
d
= Q
m
. Since d divides m the previous theorem implies
that either d = m or d is odd and m = 2d. In the rst case m must divide n and in
the second case d is an odd divisor of n, so that m is 2(an odd divisor of n).
Corollary 4.29. Q
n
contains the number i (=

1) if and only if 4 divides n.


THE DEGREES OF COS(2/n) AND SIN(2/n).
the degree of cos
2
n
.
Since cos
2
n
is rational for n = 1 or 2 we may restrict ourselves to the case where
n > 2.
Consider the primitive n-th root of unity
n
= e
2i
n
= cos
2
n
+ isin
2
n
.
Clearly Q(cos
2
n
) = Q(
n
+
1
n
), since 2cos
2
n
=
n
+
1
n
.
Let be the automorphism (complex conjugation) sending
n
to
1
n
.
Obviously the xed eld T() (= Q
n
R) contains the eld Q(cos
2
n
). Since Q
n
con-
tains non-real numbers for n > 2, the automorphism has order 2. The fundamental
theorem of Galois theory implies that [Q
n
: T()] = 2.
Since
n
is a root of the polynomial (x
n
)((x
1
n
) = x
2
2cos
2
n
x + 1 having
coecients in Q(cos
2
n
) it follows that [Q
n
: Q(cos
2
n
)] = [Q(
n
) : Q(cos
2
n
)] 2.
Because T() Q(cos
2
n
) we conclude that T() = Q(cos
2
n
), hence
[Q(cos
2
n
) : Q] = (n)/2. In other words cos
2
n
is an algebraic number of degree
(n)/2 for n > 2.
the degree of sin
2
n
.
Matematisk Institut Mat 3AL 4.13
As before we may assume that n > 2 since sin
2
n
is rational for n = 1 or 2.
We rst determine the degree of isin
2
n
. With the notations from above we have
2isin
2
n
=
n

1
n
.
Clearly isin
2
n
lies in Q
n
. To nd the degree of isin
2
n
we determine the auto-
morphisms in Gal(Q
n
/Q) that x
n

1
n
.
Every automorphism of Gal(Q
n
/Q) is of the form
a
dened by

a
(
n
) =
a
n
, where 1 a < n, (a, n) = 1.
Here
a
(
n

1
n
) =
n

1
n
if and only if sin
2
n
= sin
2a
n
.
Now sinx = siny x y is an integral multiple of 2 or x +y = + an integral
multiple of 2.
In our situation this means that sin
2
n
= sin
2a
n
if and only if either a = 1 or
2
n
a +
2
n
= .
The latter condition means that
2(a + 1) = n ()
If n is odd () has no solutions in a.
If n = 2(an odd number) a solution of () in a must be even, so (a, n) > 1.
Therefore, if n is not divisible by 4,
1
is the only automorphism xing
n

1
n
,
hence Q(isin
2
n
) = Q
n
and the degree of isin
2
n
is (n).
By Corollary 4.29 Q
n
= Q(isin
2
n
) does not contain i when n is not divisible by
4. We conclude from Example 3.50 (Chap. III) that the degree of sin
2
n
is (n).
If n is divisible by 4 we rst discard the case n = 4: Here isin
2
4
= i has the
degree 2 and sin
2
4
= 1 has degree 1.
So we now assume n > 4 and n is divisible by 4.
If n is divisible by 4 the equation () has exactly one solution in a, where 1 a <
n, (a, n) = 1, namely a =
n
2
1. Since n > 4, a =
n
2
1 ,= 1. Thus
1
and
n
2
1
are
the only automorphisms xing
n

1
n
. Hence [Q
n
: Q(isin
2
n
)] = 2, so the degree
of isin
2
n
is (n)/2.
Q
n
contains i when n is divisible by 4. In view of Example 3.50 (Chap. III),
to nd the degree of sin
2
n
we have to determine the values of n for which i lies
in Q(isin
2
n
). This boils down to nding the ns for which Q(i) Q(isin
2
n
). By
the main theorem of Galois theory this is equivalent to nding the ns for which
T(Q(i)) T(Q(isin
2
n
)). We know that T(Q(isin
2
n
)) =
1
,
n
2
1
. Since

n
2
1
(i) =
n
2
1
(
n
4
n
) =
n
4
(
n
2
1)
n
= i
n
2
1
the automorphism
n
2
1
xes i exactly if
n
2
1 1 (mod 4) n 2 2 (mod 8) n 4 (mod 8).
Matematisk Institut Mat 3AL 4.14
Consequently, if n 4 (mod 8), then i lies in Q(isin
2
n
) and therefore (by Example
3.50, Chap. III) the degree of sin
2
n
is (degree of isin
2
n
)/2 = (n)/4.
If, however, n 0 (mod 8) then i does not lie in Q(isin
2
n
) and therefore (by
Example 3.50, Chap III) sin
2
n
and isin
2
n
have the same degree, namely (n)/2.
Let us summarize the above results in the following
Theorem 4.30. Apart from the degenerate cases n = 1, 2 or 4, then:
cos
2
n
has the degree (n)/2 for all n.
sin
2
n
has the degree (n) if n is not divisible by 4.
sin
2
n
has the degree (n)/2 if n 0 (mod 8).
sin
2
n
has the degree (n)/4 if n 4 (mod 8).
Exercise 4.31. Show that Q(sin
2
n
) Q(cos
2
n
) if and only if n = 1, 2 or n 0
(mod 4).
Show that Q(sin
2
n
) = Q(cos
2
n
) if and only if n = 1, 2, 4 or n 0 (mod 8).
Matematisk Institut Mat 3AL 4.15
CONSTRUCTION OF REGULAR POLYGONS BY COMPASS AND
STRAIGHTEDGE.
In this section we use cyclotomic elds to answer some classical problems dating
back to Euclid.
These problems concern the construction of one geometrical segment from an-
other, using only an (unmarked) straightedge and a (collapsible) compass.
With the straightedge we can draw the line through through two given points and
with the compass we can draw the circle with a given point as centre and a given
radius.
We assume that we have a starting gure in the real Euclidean plane, consisting
of the points (0, 0) and (1, 0). A point is called constructible, if it can be obtained
from the starting gure by successive applications of the following operations:
1) draw the straight line through two given or already constructed points.
2) draw the circle with a given or already constructed point as its centre and
the distance between two given or already constructed points as its radius.
3) Add intersection points between two constructed straight lines, between a
constructed straigth line and a constructed circle or between two constructed
circles.
By straightforward computation one shows
Theorem 4.32. Assume a construction successively give the following points P
0
(=
(0, 0)), P
1
(= (1, 0)), P
2
, P
3
, . . . , P
n
, P
n+1
, . . . . If the coordinates of P
0
, P
1
, . . . , P
n
belong to some real number eld K the coordinates of P
n+1
either belong to K or a
number eld of the form K(

d), where d is a positive real number which is not the


square of a number in K.
Definition 4.33. A complex number a +ib is called constructible, if the point (a, b)
is constructible according to the above denition.
Theorem 4.32 then yields:
Theorem 4.34. For every complex constructible number z there exists a sequence
of quadratic extensions K = Q, K
1
= Q(i), (i =

1), K
2
= K
1
(

d
1
), (d
1
K
1
),
K
3
= K
2
(

d
2
), (d
2
K
2
), . . . , K
t
= K
t1
(

d
t1
), d
t1
K
t1
, such that z K
t
.
Since we may assume that K
1
K
2
K
3
etc., the dimension [K
t
: Q] (by the
transitivity theorem, Theorem 2.47 in Chap. II) is 2
t
. This implies (again using the
transitivity theorem, Theorem 2.47 in Chap.II):
z constructible number [Q(z) : Q] is a power of 2 .
Matematisk Institut Mat 3AL 4.16
Furthermore classical constructions (formerly known from high school mathtem-
atics) show
Theorem 4.35. The set of all constructible complex number is a eld / closed under
formation of square roots (i.e. /

/.)
Definition 4.36. The regular n-gon is called constructible, if e
2i
n
is a constructible
number.
It was known already to Euclid that a regular n-gon is constructable if n is either
a power 2
t
, t > 1, of 2, a number of the form 3 2
t
, t 0, a number of the form
5 2
t
, t 0, or a number of the form 15 2
t
, t 0.
For more than two thousand years it was an open question whether there are more
regular n-gons than those, which are constructible . In 1796 Gauss (who at that time
was 19 years old) showed that the regular 17-gon is constructible. Later he found a
complete characterization of the ns for which the regular n-gon is constructible.
This was published in his famous Disquisitiones Arithmeticae (called the bible of
number theory).
Theorem 4.37. Gauss Theorem. (Disquisitiones Arithmeticae 1801). The
regular n-gon is constructible n has the form n = 2
a
p
1
p
r
, where a is a non-
negative integer and p
1
, . . . , p
r
are distinct odd prime numbers which all of them are
of the form:
(a power of 2) +1.
Remark 4.38. If 2
k
+ 1 is a prime number, k is necessarily a power of 2. Indeed,
otherwise k = u s, u = being an odd number > 1, and: 2
k
+ 1 = (2
s
)
u
+ 1 =
(2
s
)
u
(1)
u
= (2
s
(1)). ((2
s
)
u1
+(2
s
)
u2
(1)+ +(1)
u1
). In other words
2
s
+ 1 divides 2
k
+ 1. Since u > 1 the number s is < k. Hence 2
s
+1 is a non-trivial
divisor of 2
k
+ 1, which thus cannot be a prime number.
Proof of Gauss theorem. Since the regular n-gon is constructible if and only if the
regular 2n-gon is constructible (bisection of angles) it suces to show Gauss the-
orem for an odd number n > 1.
: Every odd number n > 1 can be written n = p
1
a
1
. . . p
r
a
r
, where p
1
, . . . , p
r
are distinct odd prime numbers and the exponents a
1
, . . . , a
r
are natural numbers.
Now by Theorem 4.17 [Q(e
2i
n
) : Q] = (n), where (n) denotes Eulers -function.
By Theorem 4.34, (n) must be a power of 2. By Corollary 4.6 we know that
(n) = n

p|n
(1
1
p
) = p
a
1
1
1
(p
1
1) p
a
r
1
r
(p
r
1).
If this number is a power of 2 each of the exponents a
1
, . . . , a
r
must be 1, and the
numbers p
1
1, . . . , p
r
1 must be powers of 2. But this means exactly that n has
the form indicated in Gausstheorem.
If n has the form indicated in the theorem the computation in the rst half
of the proof shows that [Q
n
: Q] is a power of 2. The Galois group G = Gal(Q
n
/Q)
is then an abelian 2-group. In particular, G is solvable so that the factors in a
Matematisk Institut Mat 3AL 4.17
composition series G G
1
G
2
G
k
= e are cyclic of order 2,(a well-
known theorem in group theory): [G : G
1
] = [G
1
: G
2
] = = [G
k1
: G
k
] = 2.
We have the following situation:
G
k
= e
2
T(G
k
) = Q
n
2
G
k1
2
T(G
k1
)
2
2 2
G
2
2
T(G
2
)
2
G
1
2
T(G
1
)
2
G
T(G) = Q
T(G
1
) is a quadratic extension of T(G) and therefore (by Lemma 4.19) obtainable
by adjunction of the square root of a number in T(G). Furthermore T(G
2
) is a
quadratic extension of T(G
1
) and therefore obtainable by adjunction of the square
root of a number in T(G
1
) etc.
Since the eld / of the constructibe numbers is closed under formation of square
roots (Theorem 4.35) and the rational numbers are constructible, it follows that Q
n
is contained in /. In particular e
2i
n
lies in the eld of constructible numbers.
Remark 4.39 concerning the prime numbers appearing in Gauss theorem.
These prime numbers are called the Fermat prime numbers. 2
1
+ 1 = 3, 2
2
+ 1 = 5,
2
4
+1 = 17, 2
8
+1 = 257, 2
16
+1 = 65537 are Fermat prime numbers. More Fermat
prime number than those are not known. (A criterion for 2
2
n
+ 1 to be a prime
number can be found in Chap. VI:)
Remark 4.40 about the trisection of an arbitrary angle. From Gauss
theorem it in particular follows that a regular 9-gon cannot be constructed by compass
and straightedege. This gives a negative solution of the classical problom whether
every angle can be trisected by compass and straightedge.
Matematisk Institut Mat 3AL 4.18
AN APPLICATION TO THE INVERSE PROBLEM OF GALOIS THEORY.
We conclude this chapter by yet another application of cyclotomic elds. It is a
famous problem (dating back to Hilbert (1892)), whether every nite group can be
realized as the Galois group of a nite normal extension of the rational number eld
Q. This problem, the inverse problem of Galois theory, is still unsolved and has a
central place in current research in Galois theory.
We shall here prove, that every nite abelian group can be realized as a Galois
group over Q.
We rst deal with the cyclic case.
Theorem 4.41. Let Z
n
be the cyclic group of order n and let p be a prime number
such that p 1 (mod n). Then there exists a subeld of Q
p
which is normal over Q
with Z
n
as its Galois group.
Proof. Since Gal(Q
p
/Q) Z

p
(Z
p1
, +) there exists a (uniquely determined) sub-
group H of Gal(Q
p
/Q) of order
p1
n
. The xed eld T(H) is according to the funda-
mental theorem of Galois theory is a normal extension of Q with Gal(Q
p
/Q)/H Z
n
as its Galois group.
We are now in a position to prove
Theorem 4.42. Every nite abelian group can be realized as the Galois group for a
nite normal extension of Q.
Proof. Let A be a nite abelian group. By a well-known theorem A is a direct product
of cyclic groups
A Z
n
1
Z
n
2
Z
n
t
By the earlier proved special case of Dirichlets theorem about prime numbers in
arithmetic progressions there exist distinct prime numbers p
1
, . . . , p
t
such that
p
1
1 (mod n
1
) , p
2
1 (mod n
2
), . . . , p
t
1 (mod n
t
) .
By Theorem 4.41 there are subelds of K
1
Q
p
1
, K
2
Q
p
2
, . . . , K
t
Q
p
t
which
are normal over Q and
Gal(K
1
/Q) Z
n
1
, Gal(K
2
/Q) Z
n
2
, . . . , Gal(K
t
/Q) Z
n
t
.
Combining the above theorem, Corollary 4.26 and Corollary 3.48 we conclude
that K
1
K
2
. . . K
t
is normal over Q and
Gal(K
1
K
2
. . . K
t
/Q) Z
n
1
Z
n
2
Z
n
t
A.

You might also like