6.2 Finite and Algebraic Extensions
6.2 Finite and Algebraic Extensions
6.2
J.A.Beachy
12. Show
that x3 + 6x2 12x + 2 is irreducible over Q, and remains irreducible over
5
Q( 2).
Solution: Let f (x) = x3 + 6x2 12x + 2. Then Eisensteins criterion, with p = 2,
shows that f (x) is irreducible over Q.
would have a root r Q( 5 2). Over Q, the root r would have degree 3, since its
minimal polynomialover Q would be f (x). That leads to a contradiction, since 3 is
not a divisor of [Q( 5 2) : Q].
13. Find a basis for Q( 5, 3 5) over Q.
Solution: The set {1, 3 5, 3 25} is a basis for Q( 3 5)over Q, and since this extension
5 remains
irreducible
over the
has degree 3,the minimal polynomial
x2 5 of
3
extension Q( 5). Therefore {1, 5} is a basis for Q( 5, 3 5) over Q( 3 5), and so the
proof of Theorem
shows
basis is the set of products of the two
that
the
required
6.2.4
bases:
{1, 5, 3 5, 5 3 5, 3 25, 5 3 25}.
Solution: The set {1, 3 5, 3 25} is a basis for Q( 3 5)over Q, and since this extension
2 2 of
remains irreducible over
has degree 3,the minimal polynomial
the
3
3
3
3
3
3
2
5,
2
25}
is
a
basis
for
Q(
5,
2)
extension Q( 5). Thus {1, 5, 25, 2,
3
over Q, and this extension contains u = 2 + 5. It follows that u has degree 2, 3,
or 6 over Q.
0 = a( 2 + 3 5)3 + b( 2 + 3 5)2 + c( 2 + 3 5) + d =
(5a + 2b + d) 1 + (6a + c) 3 5 + b 3 25 + (2a + c) 2 + 2b 2 3 5 + 3a 2 3 25.
Since {1, 3 5, 3 25, 2, 2 3 5, 2 3 25} are linearly independent overQ, itfollows
immediately that a = b = 0, and then c = d = 0 as well, so 2 + 3 5 cannot satisfy
a nonzero polynomial of degree 1, 2, or 3 over Q. We conclude that
3
[Q( 2 + 5) : Q] = 6.
6.2
J.A.Beachy
3
2 + i over Q. Does 4 2 belong to Q( 3 2 + i)?
3
3
3
3
6. On
i) : Q( 2)][Q( 2) : Q] and
the other hand, [Q( 2 + i) : Q] = [Q( 2 +
3
i)
:
Q(i)][Q(i)
:
Q]
so
[Q(
2 + i) : Q] must be divisible
[Q( 3 2 + i) : Q] = [Q( 3 2 +
3
by 2 and 3. Therefore [Q( 2 + i) : Q] = 6.
17. Let F be a field whose multiplicative group F is cyclic. Prove that F must be a
finite field.
Comment: This is the converse of an important result which states that the multiplicative group of a finite field is cyclic. (The general result is given in in Theorem 6.5.10 of Abstract Algebra.) See Problem 4.1.30 for the special case Z
p.
Solution: Suppose that the group F is infinite cyclic, with generator u. Since u
does not have finite order, it is different from 1 and 1, and the only solution of the
equation x2 = 1 is x = 1. Thus 1 = 1, and char(F ) = 2. It follows that 1 generates
a base field K isomorphic to Z2 .
Since 1 + u 6= 0, we have 1 + u F . Then because F is cyclic we must have
1 + u = un or 1 + u = un for some n Z+ . In the first case, u is a root of
xn x 1 K[x], and in the second case u is a root of xn + xn1 1 K[x]. It
follows that F = K(u) is a finite extension of K, and therefore F itself is finite, a
contradiction.
18. Let F be a finite field of characteristic p. Show that F has pn elements, for some
positive integer n.
Solution: Since char(F ) = p, the subfield K = {n 1 | n Z} is isomorphic to Zp .
Since F is finite, it must certainly have finite dimension as a vector space over K, say
[F : K] = n. If v1 , . . . , vn is a basis for F over K, then each element of F has the
form a1 v1 + + an vn , for a1 , . . . , an K. Thus to define an element of F there are
n coefficients ai , and for each coefficient there are p choices, since |K| = p. Thus the
total number of elements in F is pn .
ANSWERS AND HINTS
19. Over Z2 , factor x4 x, x8 x, and x16 x.
In the text Abstract Algebra, the answer to Exercise 4.2.12 gives the following
list of irreducible polynomials over Z2 :
degree 2: p2 (x) = x2 + x + 1
6.2
J.A.Beachy
21. In the finite field F = Z2 [x]/ x4 + x + 1 , find a subfield K with 4 elements.
Hint: Let = [x2 + x + 1]. Then 2 = [x4 + x2 + 1] = [x2 + x], and 3 =
[x2 + x + 1][x2 + x] = [x4 + x] = [1], so {1, , 2 } is closed under multiplication.
Answer: K = {0, 1, , 2 }
22. Suppose that E and F are extension fields of Z2 , with Z2 E F . Given that
[E : Z2 ] = 2 and [F : E] = 3, find |E| and |F |.
Answer: |E| = 4 and |F | = 64