How would I prove this
Favorites|Homepage
Subscriptions | sitemap
HOME > Mathematics > How would I prove this

How would I prove this

[From: ] [author: ] [Date: 11-10-23] [Hit: ]
............
Let g(x)=x^6-8 ϵ Z[x]

i) Factor g(x) into irreducibles over R
ii) Factor g(x) into irreducible over Q
iii) Show that E= Q(sqrt(-3),sqrt(2)) is the splitting field of g(x) over Q.
iv) Identify up to isomorphism the Galois group of g(x) over Q

-
i and ii) By difference of cubes,
g(x) = (x^2 - 2)(x^4 + 2x^2 + 4); each of which is easily checked to be irreducible over Q (by rational root theorem for instance)

To factor this over R, use difference of squares:
g(x) = (x^2 - 2)(x^4 + 4x^2 + 4 - 2x^2)
.......= (x^2 - 2)((x^2 + 2)^2 - 2x^2)
.......= (x - √2)(x + √2) * (x^2 + 2 + x√2)(x^2 + 2 - x√2)
(As seen below, the other roots are not real.)

i/iii) Setting each factor equal to 0,
x^2 - 2 = 0 ==> x = ±√2

x^4 + 2x^2 + 4 = 0
==> (x^2 + 1)^2 = -3, by completing the square
==> x^2 = -1 ± i√3 = 2(-2 ± 2i√3)/4
==> x = √2 * (1 ± i√3)/2, -√2 * (1 ± i√3)/2

So, E = Q(√2, i√3) is the splitting field for g(x) over Q.
-----------------------------
iv) Since [E : Q] = 4, Gal(E/Q) is a group of order 4. Via conjugation on each square root 9each of order 2), Gal(E/Q) is isomorphic to the Klein 4-Group.

I hope this helps!
1
keywords: would,How,this,prove,How would I prove this
New
Hot
© 2008-2010 http://www.science-mathematics.com . Program by zplan cms. Theme by wukong .