math202hw5sols

Upload: morvaridyi

Post on 23-Feb-2018

213 views

Category:

Documents


0 download

TRANSCRIPT

  • 7/24/2019 Math202hw5sols

    1/2

    MATH 202 - ALGEBRA IV - HW 5 SOLUTIONS

    CHRIS LEBAILLY, MIGUEL-ANGEL MANRIQUE, WEI YUAN

    1. Section 14.6

    2. (a) Factors as x 3 x2

    4 = ( x 2)(x2 + x + 2). Galois group is Z/ 2Z .

    (b) Factors as x 3 2x + 4 = ( x + 2)( x2

    2x + 2). Galois group is Z/ 2Z .(c) Irreducible. (Rational root theorem implies only possible roots are 1, easy to check these arentroots.) By equation (14.18),Discriminant = 4(1)

    3

    27(1)2 = 23.

    This is not a square, so the Galois group is S 3 .(d) Irreducible using same method as in (c). Calculate

    p = ( 6 1)/ 3 = 7/ 3, q = (2 + 18 27)/ 27 = 20 / 27.Discriminant = 4(7/ 3)3

    27(20/ 27)2 = 36 .

    This is a square, so Galois group is Z/ 3Z .

    9. First we show that the polynomial x4 + 4 x 1 is irreducible. There are many ways to do this; here is one.It is easy to check that 1 are not roots, so the only possible factorization is into two quadratics. From theconstant term, such a factorization would necessarily have the form x4 + 4 x 1 = ( x2 + ax +1)( x2 + bx1).From the x coefficient we see that b a = 4 and from the x

    3 coefficient we see that a + b = 0. Hence b = 2and a = 2. But then the x

    2 coefficient on the right is 4 rather than 4, so there is no such factorization.Therefore x 4 + 4 x 1 is irreducible.From the formulas on page 614, the resolvent cubic is h(x) = x3 + 4 x + 16 and the discriminant isD = 27(4)

    4 + 256( 1)3 = 531697. Now h(x) factors as h(x) = ( x + 2)( x

    2

    2x + 8). We therefore haveG

    = D 8 or G

    = Z / 4Z . By #19(c), we see that G

    = Z / 4Z is not possible since D < 0, so G

    = D 8 .

    18. Let be a root of f (x) = x3 3x + 1. The discriminant is D = 4(3)3

    27(1)2 = 81, which is a

    square, so the splitting eld is Q() and the Galois group is isomorphic to Z/ 3Z .Suppose our polynomial factors as f (x) = ( x )(x )(x ). From the x

    2 coefficient, we see that + = . Furthermore, the discriminant D satises D = 9 = ( )( )( )for some ordering of , . Since f () = ( )( ), we obtain

    9 = (3 2 3)( ), hence = 32 1

    .

    One method to calculate the inverse of 2 1 is to use matrices. View K = Q () as a 3-dimensional vectorspace over Q with basis 1 , , 2 . The matrix for mutiplication by , viewed as a Q-linear transformation of K , is given with respect to this basis as

    :0 0 11 0 30 1 0

    Taking the square of this matrix and subtracting 1, we see that the matrix for multiplication by 2 1 is

    2 1 :1 1 00 2 11 0 2

    1

  • 7/24/2019 Math202hw5sols

    2/2

    The inverse of this matrix times 3 is

    32 1

    : 4 2 11 2 1

    2 1 2.

    From the rst column of this matrix, we see that 3 / (2 1) = 4 + + 2 2 . Now it is easy to solve the two

    linear equations

    + = = 4 + + 2

    2 .

    We nd = 2 + 2 and = 2

    2 .

    19. (a) Since D is the product of the differences of the roots of f (x), and these roots lie in K , it followsthat DK .(b) The element has order 2, to K has order dividing 2, i.e. order 1 or 2. Now K has order 1 if andonly if it is trivial, i.e. iff K is xed by , i.e. if and only if K R .(c) Suppose that Gal( K/ Q ) = Z/ 4Z and that D < 0. Since Q( D) K and D R, it follows frompart (b) that K has order 2. However, a cyclic group of order 4 has a unique element of order 2, so K must be this element; and the xed eld will be the unique subeld of K of index 2, so this must be Q ( D ).Therefore K xes Q( D ). Yet D < 0 implies that complex conjugation does not x D , so this is acontradiction.

    (d) This is the same argument. Let K be a cyclic quartic eld, viewed as a subeld of C. Suppose thatQ ( D )K with D < 0. Complex conjugation is an order 2 element of Gal( K/ Q ) (it is nontrivial because itdoes not x D , since D < 0), and hence its xed eld is the unique index 2 subeld of K , namely Q ( D ).This is a contradiction, since complex conjugation does not x D .

    References

    [1] Dummit and Foote, Abstract Algebra , Third Algebra.

    2