6.3 Splitting Fields

1.
a. x3 + 1 = (x + 1)(x2x + 1), and the roots of x2x + 1 are img and img so img But img so it follows that img Since img is a root of the polynomial x2 + 3, and since x3 + 3 is irreducible over img (no root), then it is the minimal polynomial of img Hence img
c. f = (x2 − 7)(x2 + 1) so img. Thus,

img

Moreover, img because x2 − 2 is irreducible over img and img because x2 + 1 has no root in img Hence img by the multiplication theorem.
2.
a. f = (x2 − 2x − 2)(x2 − 5) so the roots are img and img. Hence img is the splitting field.
4.
a. f = (x + 1)(x2 + x + 1) and x2 + x + 1 is irreducible over img. If u is a root then the other is given by img; img. Thus img and f = (x + 1)(x + u)(x + 1 + u).
c. f is irreducible over img. If u is a root then, by long division, f = (x + u)g where g = x2 + (1 + u)x + (u + u2). We claim that g also splits in img, so img. We try possibilities to get g(u2) = 0. Then the other root img satisfies img, so img. Thus

img

e. f = (x2 − 2)(x2 + 1) = (x2 + 1)2 over img. Now x2 + 1 is irreducible over img (no root in img If u is a root then x2 + 1 = x2u2 = (xu)(x + u). Thus img and f = (xu)2(x + u)2.
5. The roots are img and img. So img is the splitting field for both.
6.
a. If img were the splitting field of img then img. Thus img would be algebraic, contradicting the fact that π or e is transcendental.
7. We have f = a(xu1) img (xum) in E[x]. If p is a monic, irreducible factor of g in E[x] then p|f so p = xui for some i. Thus

img

by the unique factorization theorem, as required.
9. If gcd (f, g) = 1 let 1 = fh + gk; h, k in F[x]. If EF is an extension containing an element u such that f(u) = 0 = g(u), substitution gives

img

a contradiction. Conversely, let d = gcd (f, g). If d ≠ 1 then deg d ≥ 1 so let EF be a field containing a root u of d. Then d|f and d|g means f(u) = 0 = g(u), contrary to hypothesis.
11. We have E = F(u1, . . ., un) where f = a(xu1) img (xun), a img F, ui img E. Since LF, E = L(u1, . . ., un), and a img L, ui img E, show f splits in E over L.
13. The roots of xp − 1 are img (Theorem 6, Appendix A) so img is the splitting field. We have xp − 1 = (x − 1)Φp where

img

is the pth cyclotomic polynomial. Then Φp is irreducible over img by Example 13 §4.2, and so is the minimal polynomial of img (img is a root of Φp). Hence img by Theorem 4 §6.2.
15. Let KE be a field in which f has a root img. Write deg f = m and g = n so that [F(u) : F] = n and img are relatively prime. By Exercise 21 §6.2, img. Now let p be the minimal polynomial of img over F(u); we show f = p. We have img so p|f in F(u)[x], and so it is enough to show that deg p = m. We have img deg p, so

img

by the multiplication theorem. Thus p = m as required.
17. The map ffσ is clearly onto (since σ is onto). If img then

img

so fσ = 0 implies σ(ai) = 0 for all i, which in turn implies ai = 0 for all i, whence f = 0. Thus fσ is one-to-one if we can show it is a ring homomorphism. If img,

img

Similarly

img

Hence the map is a ring isomorphism (clearly 1σ = 1). Finally, if a img F let g = a be the constant polynomial. Then g img gσ means a img σ(a). So the map extends σ.
19. If π were algebraic over img then π would satisfy a nonzero polynomial f in img. But f splits in img because img is algebraically closed, so this would imply that img, a contradiction.
20.
a. We show img. Clearly img is algebraic. We must show that if u img E is algebraic over img then u img A. Since u is algebraic over A, we show that u img A implies u is transcendental over A. We have E = A(π) so this follows from Exercise 31 §6.2 if we can show that π is transcendental over A. But if π were algebraic over A it would be algebraic over img, contrary to the preceding exercise.
21. (1) ⇒ (2). If EF is the splitting field of f img F[x], then E = F(u1, . . ., um) where the ui are the roots of f in E, so [E : F] is finite by Theorem 6 §6.2. If p F[x] is irreducible with a root u img E, let img be a root in some field KE. Then p is the minimal polynomial of both u and img so let img be an isomorphism (Theorem 4 §6.2). Now E is a splitting field of f over F(u), and img is a splitting field of f over img so Theorem 3 shows img via an isomorphism extending σ. Hence img, so

img

Since E is an F-subspace of img, this shows img, and so img (2) ⇒ (1). Since EF is finite, let E = F(u1, . . ., un). Each ui is algebraic over F, say with minimal polynomial pi img F[x]. Since pi splits in E by (2), E is the splitting field of f = p1p2 img pn.
..................Content has been hidden....................

You can't read the all page of ebook, please click here login for view all page.
Reset
3.142.195.16