From the text: Chapter 4, pages 114-119,
#1, 6, 7, 8, 9, 13.
#6, page 116. Let m and n
be distinct square-free integers, neither equal to 1. The biquadratic
field K = Q[Öm,Ön]
is a normal extension of Q with Galois group isomorphic
to the Klein 4-group (direct sum of two cyclic groups of order 2).
Thus, there are three quadratic subfields (what is the third?). Let
p be a prime in Z.
(a) Suppose that
p is ramified in each of the quadratic subfields. What
happens in K? Find an example.
(b) Suppose that
p splits completely in each of the quadratic subfields.
What happens in K? Find an example.
(c) Suppose that
p is inert in each of the quadratic subfields. What
happens in K? Can this ever occur?
(d) Find an example in
which p splits into PQ in K;
P2Q2; P2.
#7, page 116. Find a prime p and quadratic
extensions K and L of Q
illustrating each of the following.
(a) p can
be totally ramified in each of K and L
without being totally ramified in KL.
(b) K and
L can each contain unique primes lying over p
while KL does not.
(c) p can
be inert in K and L without being
inert in KL.
(d) The residue field extensions
of Zp can be trivial for K
and L without being trivial for KL.
#8, page 116. Let e, f,
and g be given positive integers.
(a) Show that there exist
primes p and q such that p
splits into g distinct primes in the q-th
cyclotomic field K.
(b) Show that p
and q in part (a) can be taken so that K
contains a subfield of degree fg over Q.
How does p split in this subfield?
(c) Show that the further
condition p º 1 (mod
e) can be satisfied.
(d) Show that, with
p and q as above, the pq-th cyclotomic
field contains a subfield in which p splits into
g primes, each with ramification index e
and inertial degree f.
(e) Find an example of
p and q for e =
2, f = 3, g =
5.
#9, page 117. Let L be a normal extension
of K, P a prime of K,
Q and Q' primes of L
lying over P. We know that
(a) Prove that D'
=
(b) Assuming further that
P is unramified in L, the Frobenius automorphisms
#13, page 119. Let m
(a) Show that G
= {1, t, s,
ts, s2,
ts2, s3,
ts3}, where t
is the permutation (2,4) (meaning
(b) Suppose that
p is an odd prime not dividing m. Prove
that p is unramified in L.
(c) Let Q
be a prime of L lying over p (with
p as in (b)), and suppose that f(Q|p)
= t. Use Theorem
33 to show that p splits into three primes in
K.
(d) Determine how
p splits in K for each of the possibilities
for f(Q|p).