HW 11 Solutions: 3rd May 2019 at 11:11am
HW 11 Solutions: 3rd May 2019 at 11:11am
HW 11 Solutions: 3rd May 2019 at 11:11am
1.
Prove that the polynomial x4 + 3x + 3 is irreducible polynomial over the field Q[ 3 2 ]. (Hint: Use multiplicative
property of degree. In class, we proved x3 − 2 is irreducible in Q[ 2 ]. Similar argument also works here.)
Solution.
Q(α, 3 2 )
≤3
╱ ╲
Q(α) Q( 3 2 )
╲4 ╱3
Q
On the other hand, the minimal polynomial (aka irreducible polynomial) of α over Q(
3
2 ) divides x4 + 3x + 3
and so has degree ≤ 4. Therefore
So
3
[Q(α, 2 ) : Q] = 12
and therefore
[Q(α, 3 2 ) : Q( 3 2 )] = 4.
2.
Determine the irreducible polynomial for α = 3+ 5 over the following fields. (You need to prove why they
are the irreducible polynomials)
1. Q
2. Q( 15 )
3. Q( 2 )
3
(Hint: try to use ± 3± 5 as the roots of the polynomial to find some polynomial over Q. Use the tower of
the field extension to find [Q( 3 , 5 ) : Q( 15 )] and [Q( 3 + 5 , 2 ) : Q( 2 )].
3 3
Solution. Let β = 3− 5.
First, the polynomial (x − α)(x + α)(x − β)(x + β) = x4 − 16x2 + 4 is irreducible over F5 , and so is
irreducible over Z and hence over Q. This is therefore the irreducible polynomial of α over Q.
(x − α)(x + α) = x2 − (8 + 2 15 ) ∈ Q( 15 )[x]
Finally, by the same reasoning as the solution to Problem 1, we see that [Q(α,
3
2 ) : Q( 3 2 )] = 4, and so
x4 − 16x2 + 4 is the irreducible polynomial of α over Q( 3 2 ).
▧
3.
Solution.
R[x]
F = R[α] ≅ ≅ C.
(f (x))
The two isomorphisms above come from applying the first isomorphism theorem to the two evaluation maps
4.
Prove that the characteristic of a field F is either 0 or a prime number. If it is a prime number p, show that the
map ϕ : x ↦ xp gives an injective ring homomorphism from F to itself.
Solution.
The n be the characteristic of a field F , i.e. the least nonnegative integer which generates the kernel of the map
Z → F : m ↦ nm. By the first isomorphism theorem, this induces an injective ring homomorphism
Z/nZ ↪ F .
Now F is an integral domain, so Z/nZ is also an integral domain, so n is zero or a prime number.
p
The map ϕ is clearly multiplicative and sends 1 to 1. It is also additive, since ( i ) ≡ 0 (mod p) for i =
1, ..., p − 1 proves that
Finally ker ϕ is an ideal of F not containing 1. Since F is a field, its only ideals are F and 0, and so ker ϕ = 0,
so ϕ injects.