SOLVING SOLVABLE QUINTICS. D. S. Dummit
|
|
- Bertha Shaw
- 6 years ago
- Views:
Transcription
1 D. S. Dummit Abstract. Let f(x) = x 5 + px 3 + qx + rx + s be an irreducible polynomial of degree 5 with rational coefficients. An explicit resolvent sextic is constructed which has a rational root if and only if f(x) is solvable by radicals (i.e. when its Galois group is contained in the Frobenius group F 0 of order 0 in the symmetric group S 5 ). When f(x) is solvable by radicals, formulas for the roots are given in terms of p, q, r, s which produce the roots in a cyclic order. It is well known that an irreducible quintic with coefficients in the rational numbers Q is solvable by radicals if and only if its Galois group is contained in the Frobenius group F 0 of order 0, i.e. if and only if the Galois group is isomorphic to F 0, to the dihedral group D 10 of order 10, or to the cyclic group Z/5 Z. (More generally, for any prime p, it is easy to see that a solvable subgroup of the symmetric group S p whose order is divisible by p is contained in the normalizer of a Sylow p subgroup of S p.) The purpose here is to give a criterion for the solvability of such a quintic in terms of the existence of a rational root of an explicit associated resolvent sextic polynomial, and when this is the case, to give formulas for the roots analogous to Cardano s formulas for the general cubic and quartic polynomials (cf. [1], Section 14.7, for example) and to determine the precise Galois group. In particular, the roots are produced in an order which is a cyclic permutation of the roots (see the Remark before the examples below), which can be useful in other computations (e.g. cf. [3]). We work over the rationals Q, but the results are valid over any field K of characteristic different from and 5. Let x 1,x,x 3,x 4,x 5 be the roots of the general quintic polynomial x 5 s 1 x 4 + s x 3 s 3 x + s 4 x s 5 where the s i are the elementary symmetric functions in the roots. Let F 0 <S 5 be the Frobenius group of order 0 with generators (1345) and (354). Then the stabilizer in S 5 of the element θ = θ 1 = x 1 x x 5 + x 1 x 3x 4 + x x 1x 3 + x x 4x 5 + x 3 x 1x 5 + x 3 x x 4 + x 4 x 1x + x 4 x 3x 5 + x 5 x 1x 4 + x 5 x x 3
2 D. S. DUMMIT is precisely F 0. It follows that θ 1 satisfies a polynomial of degree 6 over Q (s 1,s,s 3,s 4,s 5 ) with conjugates θ = (1 3)θ 1 = x1 x x 5 + x1 x 3x 4 + x x 1x 4 + x x 3x 5 + x3 x 1x + x3 x 4x 5 + x4 x 1x 5 + x4 x x 3 + x5 x 1x 3 + x5 x x 4 θ 3 = (1 3)θ 1 = x1 x x 3 + x1 x 4x 5 + x x 1x 4 + x x 3x 5 + x3 x 1x 5 + x3 x x 4 + x4 x 1x 3 + x4 x x 5 + x5 x 1x + x5 x 3x 4 θ 4 = (1 )θ 1 = x1 x x 3 + x1 x 4x 5 + x x 1x 5 + x x 3x 4 + x3 x 1x 4 + x3 x x 5 + x4 x 1x + x4 x 3x 5 + x5 x 1x 3 + x5 x x 4 θ 5 = ( 3)θ 1 = x1 x x 4 + x1 x 3x 5 + x x 1x 5 + x x 3x 4 + x3 x 1x + x3 x 4x 5 + x4 x 1x 3 + x4 x x 5 + x5 x 1x 4 + x5 x x 3 θ 6 = (1 3)θ 1 = x1 x x 4 + x1 x 3x 5 + x x 1x 3 + x x 4x 5 + x3 x 1x 4 + x3 x x 5 + x4 x 1x 5 + x4 x x 3 + x5 x 1x + x5 x 3x 4. By computing the elementary symmetric functions of the θ i, which are symmetric polynomials in x 1,x,x 3,x 4,x 5, it is a relatively straightforward matter to express these elements in terms of s 1,s,s 3,s 4,s 5 to determine the resolvent sextic f 0 (x) with θ as a root. By making a translation, we may assume s 1 = 0, i.e. that our quintic is f(x)= x 5 + px 3 + qx + rx + s, (1) in which case f 0 (x) is:
3 f 0 (x) = x 6 + 8rx 5 + (pq 6p r + 40r 50qs) x 4 + ( q 4 + 1pq r 40p r + 160r 3 15p qs 400qrs + 15ps )x 3 + (p q 4 6p 3 q r 8q 4 r + 9p 4 r + 76pq r 136p r r 4 50pq 3 s + 90p qrs 1400qr s + 65q s + 500prs )x + ( pq p q 4 r 51p 3 q r + 3q 4 r + 3p 4 r pq r 3 56p r r 5 31p 3 q 3 s 58q 5 s + 117p 4 qrs + 105pq 3 rs + 60p qr s 400qr 3 s 108p 5 s 35p q s + 55p 3 rs + 750q rs 500pr s + 65pqs 3 315s 4 )x () + (q 8 13pq 6 r + p 5 q r + 65p q 4 r 4p 6 r 3 18p 3 q r q 4 r p 4 r 4 16pq r 4 19p r r 6 4p 5 q 3 s 1p q 5 s + 18p 6 qrs + 1p 3 q 3 rs 14q 5 rs + 196p 4 qr s + 590pq 3 r s 160p qr 3 s 1600qr 4 s 7p 7 s 150p 4 q s 15pq 4 s 99p 5 rs 75p q rs + 100p 3 r s + 350q r s 000pr 3 s 150pqrs p s rs 4 ) For the particular case when f(x)= x 5 + ax + b, this polynomial is simply f 0 (x) = x 6 + 8ax a x a 3 x a 4 x + (51 a b 4 )x+ (56 a ab 4 ) ( ) Theorem 1. The irreducible quintic f(x)= x 5 + px 3 + qx + rx + s Q [x] is solvable by radicals if and only if the polynomial f 0 (x) in () has a rational root. If this is the case, the sextic f 0 (x) factors into the product of a linear polynomial and an irreducible quintic. Proof. The polynomial f(x)is solvable if and only if the Galois group of f(x), considered as a permutation group on the roots, is contained in the normalizer of some Sylow 5 subgroup in S 5. The normalizers of the six Sylow 5 subgroups in S 5 are precisely the conjugates of F 0 above, hence are the stabilizers of the elements θ 1,...,θ 6. It follows that f(x) is solvable by radicals if and only if one of the θ i is rational. By renumbering the roots as x 1,...,x 5, we may assume θ = θ 1 is rational, so that the Galois group of f(x)is
4 D. S. DUMMIT contained in the specific group F 0 above. Since f(x)is irreducible, the order of its Galois group is divisible by 5. It follows that the 5 cycle (1 345) survives any specialization (this element generates the unique subgroup of order 5 in this F 0 ). Because this element is transitive on θ,...,θ 6 (in fact cycling them as θ,θ 6,θ 3,θ 4,θ 5 ), the remaining roots θ i are roots of an irreducible quintic over Q (θ) = Q. Theorem 1 provides an easy criterion for the solvability of a general quintic polynomial (see the examples below). We now consider the question of solving for the roots of f(x) when f(x)is solvable, i.e. solving for the roots x 1,...,x 5 in terms of radicals over the field Q (s 1,...,s 5,θ). We suppose the rational root of f 0 (x) is the root θ above, so the Galois group of f(x)is contained in the version of F 0 above. This determines an ordering of the roots x i up to a permutation in F 0. Let ζ be a fixed primitive 5 th root of unity, and define the function fields k = Q (s 1,...,s 5 ), K = k(θ), and F = Q (x 1,...,x 5 ), so that F (ζ )/K is a Galois extension with F 0 ( Z/5 Z) as Galois group. Define the automorphisms σ, τ and ω of F to be σ = (1 345) (trivial on constants), τ = ( 354) (trivial on constants), ω : ζ ζ 3 (trivial on x 1,...,x 5 ). Let = i<j (x i x j ) denote a fixed square root of the discriminant D = of f(x). Note that for a solvable quintic, the discriminant D is always positive: if the Galois group is dihedral or cyclic, then the Galois group is contained in A 5, so that D is actually a square; if the Galois group is the Frobenius group, then D generates a quadratic extension which is a subfield of a cyclic quartic extension, so again D>0 (in fact, D is then the sum of two squares). Define the usual Lagrange resolvents of the root x 1 :
5 (x 1, 1) = x 1 + x + x 3 + x 4 + x 5 = 0 r 1 = (x 1,ζ)= x 1 + x ζ + x 3 ζ + x 4 ζ 3 + x 5 ζ 4 r = (x 1,ζ ) = x 1 + x ζ + x 3 ζ 4 + x 4 ζ + x 5 ζ 3 r 3 = (x 1,ζ 3 ) = x 1 + x ζ 3 + x 3 ζ + x 4 ζ 4 + x 5 ζ r 4 = (x 1,ζ 4 ) = x 1 + x ζ 4 + x 3 ζ 3 + x 4 ζ + x 5 ζ so that x 1 = (r 1 + r + r 3 + r 4 )/5 x = (ζ 4 r 1 + ζ 3 r + ζ r 3 + ζr 4 )/5 x 3 = (ζ 3 r 1 + ζr + ζ 4 r 3 + ζ r 4 )/5 (3) x 4 = (ζ r 1 + ζ 4 r + ζr 3 + ζ 3 r 4 )/5 x 5 = (ζ r 1 + ζ r + ζ 3 r 3 + ζ 4 r 4 )/5. Write (x 1,z)= x 1 + x z + x 3 z + x 4 z 3 + x 5 z 4 with an indeterminant z (so z = ζ gives the Lagrange resolvent r 1 ). Expanding (x 1,z) 5 gives R 1 = r1 5 = (x 1,ζ) 5 = l 0 + l 1 ζ + l ζ + l 3 ζ 3 + l 4 ζ 4 (4.1) where l 0 by definition is the sum of the terms in (x 1,z) 5 involving powers z i of z with i divisible by 5, l 1 is the sum of the terms with i 1 mod 5, and so forth. Explicitly, l 0 = 30x x4 x 5 + 0x 1x 4 x x3 1 x x 5 + 0x x 3 x5 3 + x5 + x5 5 + x1 5 + x5 3 + x x3 1 x 3x x1 x x x1 x x3 + 0x 1x 3 x x1 x 3x5 + 30x 1 x 4 x x x 3 x x x 3x4 + 0x 3 x 4x 5 + 0x x3 3 x 4 + 0x 1 x x x 1x x x 1x3 x 4 + 0x 1 x3 3 x x 1 x x 3 x 4 x x3 x 4x5 + 0x 3x4 3 x 5 (5.0)
6 D. S. DUMMIT l 1 = 0x 1 x 3 x x 1 x 4x5 + 5x4 1 x + 10x1 3 x x 1 x x 4 x x x x4 3 x x 3 x x 3 x x4 4 x 5 + 5x 1 x x3 1 x 3x x1 x x x 1 x x 3 + 0x 1x 3 x x x3 x 4 + 0x x3 3 x 5 + 0x x 4 x x 3x4 x x 1 x x 3 x x x 3x 4 x x 1 x x4 x x 1 x x 3 x5 + 60x 1x3 x 4x 5 (5.1) l = 0x1 3 x 4x x1 3 x + 5x4 1 x x 3 x 3 + 5x4 x x1 x x3 3 x 4 + 5x 1x x4 3 x 5 + 5x x x3 4 x x 1 x x4 + 30x1 x 3 x 4 + 0x 1 x x x 1x 3 x x x 3x5 + 0x x 3 x x x 4 x x 1 x3 x x 1 x x 3 x x 1 x x 3x x 1 x x 4 x5 + 60x x3 x 4x x 1 x 3 x4 x 5 + 0x 3 x 4 x5 3 (5.) l 3 = 0x 3 x 3x 4 + 0x3 3 x 4x 5 + 5x1 4 x x1 x3 + 10x3 1 x x x x 4 x 5 + 5x 1 x x x x 3 x x 3x x 4 x x1 3 x x x1 x 3x4 + 30x 1 x 3 x x 1 x x x x3 x x x 4x5 + 0x 1x x x 1x4 3 x x1 x x 4 x x 1 x x3 x x 1 x x 3x x x 3 x4 x x 1 x 3 x 4 x5 (5.3) l 4 = 30x1 x x5 + 5x4 1 x x1 3 x 3 + 5x 1x 4 + 5x x x 1 x x 3 x x x x 3x x3 3 x 5 + 5x 4x x3 1 x x x1 x x x x 3 x 4 + 0x 3 x 3x 5 + 0x 1 x3 3 x 4 + 0x x4 3 x x3 x 4 x 5 + 0x 1 x 3 x x 1x4 x x 1 x 3x 4 x x 1 x x 4x x 1 x x 3 x4 + 60x 1x x3 x x x 3 x 4 x5 (5.4) (Note also that setting z = 1 shows that l 0 + l 1 + l + l 3 + l 4 = (x 1 + x + x 3 + x 4 + x 5 ) 5. In particular, if s 1 = 0wehavel 0 = l 1 l l 3 l 4.) Similarly we have R = r 5 = l 0 + l 3 ζ + l 1 ζ + l 4 ζ 3 + l ζ 4 (4.) R 3 = r 5 3 = l 0 + l ζ + l 4 ζ + l 1 ζ 3 + l 3 ζ 4 (4.3) R 4 = r 5 4 = l 0 + l 4 ζ + l 3 ζ + l ζ 3 + l 1 ζ 4. (4.4)
7 The Galois action over K on these elements is the following: The elements l 0,l 1,l,l 3,l 4 are contained in the field F and are fixed by σ. τl 0 = l 0 and τl 1 = l, τl = l 4, τl 3 = l 1, τl 4 = l 3 and the action on the Lagrange resolvents is given by σr 1 = ζ 4 r 1 σr = ζ 3 r σr 3 = ζ r 3 σr 4 = ζ 1 r 4 τr 1 = ωr 1 = r 3 τr = ωr = r 1 τr 3 = ωr 3 = r 4 τr 4 = ωr 4 = r (6) It follows that l 0 K and that l 1,l,l 3,l 4 are the roots of a quartic polynomial over K and the field L = K(l 1 ) = K(l 1,l,l 3,l 4 ) is a cyclic extension of K of degree 4 (with Galois group generated by the restriction of τ = (354)). The unique quadratic subfield of L over K is the field K( ). The field diagram is the following:
8 D. S. DUMMIT F(ζ) = Q (x 1,x,x 3,x 4,x 5,ζ) (ω : ζ ζ 3 ) F = Q (x 1,x,x 3,x 4,x 5 ) L(ζ ) σ = (1345) L = K(l 1 ) = K(l 1,l,l 3,l 4 ) K( ) τ = (354) K = k(θ) k = Q (s 1,s,s 3,s 4,s 5 ) Since the Galois group of L/K is cyclic of degree 4, it follows that l 1,l,l 3,l 4 are the roots of a quartic over K which factors over K( ) into the product of two conjugate quadratics: [x + (T 1 + T )x + (T 3 + T 4 )][x + (T 1 T )x + (T 3 T 4 )] (7) with T 1,T,T 3,T 4 K. The roots of one of these two quadratic factors are {l 1,l 4 (= τ l 1 )} and the roots of the other are the conjugates {l (= τl 1 ), l 3 (= τ 3 l 1 )} for the specific l i defined in equations ( ). We may fix the order of the factors and determine the coefficients T i explicitly by assuming that the roots of the first factor in (7) are {l 1,l 4 }. Then l 1 + l 4 = T 1 T l + l 3 = T 1 + T l 1 l 4 = T 3 + T 4 l l 3 = T 3 T 4
9 which defines the T i as explicit rational functions in x 1,...,x 5. Writing these elements as linear combinations of 1,θ,θ,...,θ 5 with symmetric functions as coefficients would be relatively more straightforward if Z[s 1,...,s 5 ][θ] were integrally closed in K, but unfortunately this is not the case. We proceed as follows. In a relation of the form P = α 0 + α 1 θ + α θ + α 3 θ 3 + α 4 θ 4 + α 5 θ 5 where the α i are rational symmetric functions, if we apply the automorphisms (1 3) and (1 ) (which generate a complement to F 0 in S 5 and so give the automorphisms of K = k(θ)), we obtain the system of equations P = α 0 + α 1 θ 1 + α θ 1 + α 3θ α 4θ α 5θ 5 1 (1 3)P = α 0 + α 1 θ + α θ + α 3θ 3 + α 4θ 4 + α 5θ 5 (13)P = α 0 + α 1 θ 3 + α θ 3 + α 3θ α 4θ α 5θ 5 3 (1)P = α 0 + α 1 θ 4 + α θ 4 + α 3θ α 4θ α 5θ 5 4 ( 3)P = α 0 + α 1 θ 5 + α θ 5 + α 3θ α 4θ α 5θ 5 5 (13)P = α 0 + α 1 θ 6 + α θ6 + α 3θ6 3 + α 4θ6 4 + α 5θ6 5 from which we may solve for the α i using Cramer s rule. The denominator appearing in Cramer s rule is the Vandermonde determinant i<j (θ i θ j ) and it is not difficult to see that this is 3 F where F is a symmetric polynomial. In particular, if P is a polynomial, this gives a bound for the denominator necessary for the rational symmetric functions α i (since then the numerator in Cramer s rule is a polynomial). As a practical matter, the computations of the relevant symmetric functions is done by first computing the weights and degrees of the polynomial in the numerator of Cramer s rule for each α i, then determining which symmetric monomials in s 1,...,s 5 are involved (for example there are 58 monomials of weight 50 involved in the computation of the numerator of α 0 for T 4 ). The problem then is to determine explicitly the coefficients involved in writing a given polynomial (expressed as a determinant) as a linear combination of these monomials. Because of the high weights involved, it is impractical to simply expand the appropriate polynomials in x 1,...,x 5 and apply the usual lexicographic algorithm. It is also impractical to substitute simple values for x 1,...,x 5 into these polynomial identities and then solve the resulting linear system of equations, since a sufficiently independent choice of variables to produce a determined system of equations produces relatively large (viz ) matrices with large entries (viz ).
10 D. S. DUMMIT The computations here were performed first by solving equation x 5 s 1 x 4 + s x 3 s 3 x + s 4 x s 5 for the roots x 1,...,x 5 to sufficiently high precision (typically 100 digits) for a given set of values of s 1 = 0,s,...,s 5 (for example, with s = s 5 = 0 and sufficiently independent integer values for s 3, s 4 ), then computing the determinant involved in Cramer s rule and rounding to achieve a system of equations with relatively small ( 10 0 ) integer coefficients. By judicious choice, the number of equations is manageable (involving only the monomials without s 1,s and s 5 for example). When all such easy" coefficients were determined, a p adic approach was used: equation (1) was solved for x 1,...,x 5 to sufficiently high precision with s 1 = 0, s (say) equal to a prime p, and s 3,s 4,s 5 sufficiently independent integer values. The determinant was calculated and the value of the known monomials subtracted, giving a value V which should be an integer (which was rounded after checking). If n is the smallest power of s appearing in the remaining monomials to be determined, then V/p n should be an integer (providing another useful check on the computations), namely the sum of the values corresponding to the remaining monomials when the exponent of s has been reduced by n. In particular, V/p n mod p corresponds to those remaining terms whose original exponent of s was precisely n. Solving such systems, we can determine the coefficients mod p for the terms involving first s 0, then for the terms involving s 1, etc., which reduces both the number of equations involved and also the size of the coefficients (namely, <p) of the system considerably. Performing this p adic computation for several primes p then determines the coefficients. In practice, these terms were determined modulo the first 8 primes greater than 1000, and the coefficients determined modulo the product of the first and the last 7 of these values to be sure the values were in agreement. Once the coefficients were determined, they were checked. Writing l 0 = (a 0 + a 1 θ + a θ + a 3 θ 3 + a 4 θ 4 + a 5 θ 5 )/F (8.0) and T 1 = (b 10 + b 11 θ + b 1 θ + b 13 θ 3 + b 14 θ 4 + b 15 θ 5 )/(F) (8.1) T = (b 0 + b 1 θ + b θ + b 3 θ 3 + b 4 θ 4 + b 5 θ 5 )/(DF) (8.) T 3 = (b 30 + b 31 θ + b 3 θ + b 33 θ 3 + b 34 θ 4 + b 35 θ 5 )/(F) (8.3) T 4 = (b 40 + b 41 θ + b 4 θ + b 43 θ 3 + b 44 θ 4 + b 45 θ 5 )/(DF), (8.4) the values are given explicitly for the general polynomial f(x)= x 5 + px 3 + qx + rx + s in the Appendix in terms of p, q, r, s. For the particular case when f(x) = x 5 + ax + b, these values are
11 T 1 = (51a b a 4 θ + 416a 3 θ + 11a θ 3 + 4aθ 4 + 4θ 5 )/(50b 3 ) (8.1 ) T = (3840a b a 4 θ + 480a 3 θ + 760a θ aθ θ 5 )/(51a 5 b + 650b 5 ) (8. ) T 3 = ( 18880a b a 4 θ 160a 3 θ 5980a θ 3 155aθ 4 40θ 5 )/(b ) (8.3 ) T 4 = (68800a a 4 θ a 3 θ + 350a θ aθ θ 5 )/(51a b 4 ) (8.4 ) If we compute these expressions in terms of our given rational θ, and choose a specific as our square root of D, then the roots of the quadratics in (7) give us {l 1,l 4 } and {l,l 3 }, up to a permutation of the two pairs. This is not sufficient to solve for the resolvents R 1,R,R 3,R 4, however, since for example if our choice of the roots in fact corresponds to {l 1,l 3,l,l 4 }, then we do not simply obtain a permutation of the R i (this permutation is not obtained by an element of F 0 ). This difficulty is overcome by introducing an ordering condition. For this, observe that (l 1 l 4 )(l l 3 ) = O for some element O K. Computing this element as before, write O = (o 0 + o 1 θ + o θ + o 3 θ 3 + o 4 θ 4 + o 5 θ 5 )/(DF ) (9) where again the values of o 1,...,o 5 for general f(x)are given in the Appendix. For the special case of f(x)= x 5 + ax + b we have: O = ( a b a 4 θ a 3 θ a θ aθ θ 5 )/(56a b 4 ). (9 ) For any specific quintic f(x), choose a square root of the discriminant D, then define the roots of the first quadratic in (7) to be l 1 and l 4, and the roots of the second quadratic to be l and l 3, ordered so that (l 1 l 4 )(l l 3 ) = O. If our choice of square root is the same as that corresponding to determined by the ordering of the roots above, then our choice of l 1,l,l 3,l 4 is either l 1,l,l 3,l 4 or l 4,l 3,l,l 1. If our choice of
12 D. S. DUMMIT square root corresponds to, then our choice of l 1,l,l 3,l 4 is either l,l 4,l 1,l 3 or l 3,l 1,l 4,l. The corresponding resolvents computed in ( ) are then simply permuted (namely, (R 1,R,R 3,R 4 ), (R 4,R 3,R,R 1 ), (R 3,R 1,R 4,R ), (R,R 4,R 1,R 3 ), respectively), which will simply permute the order of the roots x i in (3), as we shall see. It remains to consider the choice of the fifth roots of the R i to obtain the resolvents r i. We now show that given R 1 = r1 5, each of the five possible choices for r 1 uniquely defines the choices for r,r 3,r 4, hence uniquely defines the five roots of the quintic. Consider the expressions r 1 r 4 and r r 3, which by the explicit Galois actions above are fixed by σ, τω 1 and by τ, hence are elements of the corresponding fixed field K( 5). As mentioned above, the discriminant D for any solvable quintic is a positive rational number. It follows that under any specialization, the elements r 1 r 4 and r r 3 are elements of the field Q ( 5D). Since the r i are uniquely defined up to multiplication by a fifth root of unity, this uniquely determines r 4 given r 1 and r 3 given r. It remains to see how r is determined by r 1. Consider now the elements r 1 r,r 3r1,r 4r3,r r4, which are invariant under σ and cyclically permuted by both τ and ω. It follows that these are the roots of a cyclic quartic over K, and that in particular r 1 r + r 4r 3 = u + v 5 r 3 r 1 + r r 4 = u v 5 (10) for some u, v K, where 5 is defined by the choice of ζ : ζ + ζ 1 = ( 1 + 5)/. Lemma. Given r 1 there is a unique choice of r,r 3,r 4 such that r 1 r 4,r r 3 K( 5) and such that the two equations in (10) are satisfied. Proof. We have already seen that r 1 uniquely determines r 4 and that r uniquely determines r 3 by the conditions r 1 r 4,r r 3 K( 5). It remains to show that r 1 uniquely defines r subject to the equations in (10). If r were replaced by ɛr for some nontrivial fifth root of unity ɛ, then r 3 would be replaced by ɛr 3 (where ɛ ɛ = 1) since their product must lie in K( 5). If this new choice for r and r 3 (together with the fixed r 1 and r 4 ) also satisfied the equations in (10), we would have
13 r 1 r + r 4r 3 = u + v 5 r 3 r 1 + r r 4 = u v 5 and r 1 (ɛr ) + r 4 ( ɛr 3 ) = u + v 5. ( ɛr 3 )r1 + (ɛr )r4 = u v 5 Equating the expressions for u + v 5gives r 1 r r 4 r3 = 1 ɛ 1 ɛ = 1/ɛ and equating the expressions for u v 5gives r1 r 3 r4 r = 1 ɛ 1 ɛ = ɛ. These two equations give ( r 1 r 4 ) 5 = 1 which implies that r 1 /r 4 is a fifth root of unity. This is a contradiction, since this element generates a quintic extension of L(ζ ) which survives any specialization (the order of the Galois group of the irreducible f(x)is divisible by 5), and completes the proof. The elements u and v are computed as before: u = 5q/ v = (c 0 + c 1 θ + c θ + c 3 θ 3 + c 4 θ 4 + c 5 θ 5 )/(DF) (11) where the coefficients c i for the general f(x) are given in the Appendix. For the special case of f(x)= x 5 + ax + b these are: u = 0 v = ( 048a a b 4 307a 6 θ 650ab 4 θ 1664a 5 θ 315b 4 θ 448a 4 θ 3 96a 3 θ 4 16a θ 5 )/(3000a 5 b b 7 ) (11 )
14 D. S. DUMMIT Theorem. Suppose the irreducible polynomial f(x)= x 5 +px 3 +qx +rx+s Q [x] is solvable by radicals, and let θ be the unique rational root of the associated resolvent sextic f 0 (x) as in Theorem 1. Fix any square root of the discriminant D of f(x)and fix any primitive fifth root of unity ζ. Define l 0 as in equation (8.0), and define l 1,l 4 and l,l 3 to be the roots of the quadratic factors in (7), subject to the condition (l 1 l 4 )(l l 3 ) = O in (9). Then the Galois group of f(x)is: (a) the Frobenius group of order 0 if and only if the discriminant D of f(x) is not a square, which occurs if and only if the quadratic factors in (7) are irreducible over Q ( D), (b) the dihedral group of order 10 if and only if D is a square and the rational quadratics in (7) are irreducible over Q, (c) the cyclic group of order 5 if and only if D is a square and the rational quadratics in (7) are reducible over Q. Let r 1 be any fifth root of R 1 in (4.1), and let r,r 3,r 4 be the corresponding fifth roots of R,R 3,R 4 as in the Lemma above. Then the formulas (3) give the roots of f(x)in terms of radicals and x 1,x,x 3,x 4,x 5 are permuted cyclically by some 5 cycle in the Galois group. Proof. The conditions in (a)-(c) are simply restatements of the structure of the field L = K(l 1 ) = K(l 1,l,l 3,l 4 ) under specialization. We have already seen that the choice of and the roots l i of the quadratics determines the R i up to an ordering: (R 1,R,R 3,R 4 ) or (R 4,R 3,R,R 1 ) if the choice of is the same as that in the computations above, and (R 3,R 1,R 4,R ) or (R,R 4,R 1,R 3 ) if the choice of is the negative of the that used in the computations above. It is easy to check that the corresponding resolvents r i are then simply (r 1,r,r 3,r 4 ), (r 4,r 3,r,r 1 ), (r 3,r 1,r 4,r ), and (r,r 4,r 1,r 3 ), respectively (this is the action of the automorphism τ = ( 354) above). The formulas (3) then gives the roots x i in the orders (x 1,x,x 3,x 4,x 5 ), (x 1,x 5,x 4,x 3,x ), (x 1,x 3,x 5,x,x 4 ), and (x 1,x 4,x,x 5,x 3 ), respectively. In terms of the 5 cycle σ = (1345) above, these correspond to cyclic permutations by σ, σ 1, σ and σ 3, respectively. Finally, any choice of primitive fifth root of unity ζ produces precisely the same permutations of the roots x i, so the roots of f(x)are produced in a cyclic ordering independent of all choices. Remark: Suppose f(x) Q [x] is an irreducible polynomial of degree n whose Galois group is, for example, known to be the cyclic group of order n. If the roots of f(x)are given
15 (numerically in C, say), how can one order the roots so that they are cyclically permuted by some element in the Galois group? For n = 5, a solution is provided by Theorem, and the situation for n = 4 is solved implicitly above (this is the reason for considering the factorization in equation (7) and the ordering condition (l 1 l 4 )(l l 3 ) = O ). Such orderings are necessary in the computation of regulators as in [3] and the question for general n seems an interesting one. n = 4 is also Examples (1) Let f(x) = x x + 1, whose discriminant is D = The corresponding resolvent sextic f 0 (x) is the polynomial x x x x x x, which clearly has θ = 0 as a root. It follows that the Galois group of f(x) is the Frobenius group F 0 and that f(x) is solvable by radicals. Letting = where ζ + ζ 1 = ( 1 + 5)/, the roots l 1,l,l 3,l 4 of the quadratics in (7) (subject to the ordering condition in (9)) are l 1 = i l 4 = i l = i l 3 = i Then R 1 = R 4 = R = R 3 = Viewing these as real numbers, and letting r 1 be the real fifth root of R 1, it follows that the corresponding r,r 3 and r 4 are the real fifth roots of R,R 3 and R 4, respectively,
16 D. S. DUMMIT and then (3) gives the roots of f(x). For example, the sum of the real fifth roots of R 1,R,R 3,R 4 above gives 5 times the (unique) real root of x x + 1. () Let f(x) = x 5 5x + 1, whose discriminant is D = The corresponding resolvent sextic f 0 (x) is the polynomial x 6 40x x x x x which has θ = 40 as a root, so that f(x)has solvable Galois group. Since in this case the quadratic factors in (7) are x + 150x and x 3750x , which are irreducible over Q, it follows that the Galois group of f(x)is the dihedral group of order 10. Letting = 8000 the roots l 1,l,l 3,l 4 of the quadratics in (7) (subject to the ordering condition in (9)) are l 1 = l 4 = l = l 3 = Then R 1 = R 4 = R = R 3 = Again viewing these as real numbers, and letting r 1 be the real fifth root of R 1,it follows that the corresponding r,r 3 and r 4 are the real fifth roots of R,R 3 and R 4, respectively, and then (3) gives the roots of f(x). For example, the sum of the real fifth roots of R 1,R,R 3,R 4 above again gives 5 times the (unique) real root in this example. (3) Let f(x) = x 5 110x 3 55x + 310x + 979, whose discriminant is D = The corresponding resolvent sextic f 0 (x) is the polynomial x x x x x x
17 which has θ = 9955 as a root, so that f(x)has solvable Galois group. Since in this case the quadratic factors in (7) are (x )(x ) and (x 81875)(x ) it follows that the Galois group of f(x)is the cyclic group of order 5. Letting = the roots l 1,l,l 3,l 4 of the quadratics in (7) (subject to the ordering condition in (9)) are Then Here l 1 = l 4 = l = l 3 = R 1 = (41 ζ + 6 ζ + 6 ζ ζ 4 ) R = (6 ζ + 41 ζ + 16 ζ ζ 4 ) R 3 = (6 ζ + 16 ζ + 41 ζ ζ 4 ) R 4 = (16 ζ + 6 ζ + 6 ζ ζ 4 ) u + v = , u v = so choosing r 1 to be any fifth root of R 1, r 4 is the fifth root of R 4 such that r 1 r 4 is real, and r,r 3 are the fifth roots of R,R 3 whose product is real and which satisfy r 3 r1 +r r4 = ( )/. This is the Casus Irreducibilis for quintic polynomials, where the five real roots of the quintic are expressed by radicals of necessarily non-real complex numbers (in general, if only real radicals are required for a solvable polynomial all of whose roots are real then the Galois group is a group, cf. [3]). I would like to acknowledge the assistance of Hershy H. Kisilevsky and Richard M. Foote for helpful conversations. References [1] D. S. Dummit and R. M. Foote, Abstract Algebra, Prentice-Hall, New York, [] I.M Isaacs, Solution of Polynomials by Real Radicals, Am. Math. Monthly, 9 (1985), [3] R. Schoof and L. Washington, Quintic Polynomials and Real Cyclotomic Fields with Large Class Numbers, Math. Comp., 50, (1988),
ABSTRACT INVESTIGATION INTO SOLVABLE QUINTICS. Professor Lawrence C. Washington Department of Mathematics
ABSTRACT Title of thesis: INVESTIGATION INTO SOLVABLE QUINTICS Maria-Victoria Checa, Master of Science, 2004 Thesis directed by: Professor Lawrence C. Washington Department of Mathematics Solving quintics
More informationSOLVING SOLVABLE QUINTICS
mathematics of computation volume 57, number 195 july 1991, pages 387-401 SOLVING SOLVABLE QUINTICS D. S. DUMMIT 5 3 2 Abstract. Let f{x) = x +px +qx +rx + s be an irreducible polynomial of degree 5 with
More informationALGEBRA PH.D. QUALIFYING EXAM SOLUTIONS October 20, 2011
ALGEBRA PH.D. QUALIFYING EXAM SOLUTIONS October 20, 2011 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved
More informationGalois Theory TCU Graduate Student Seminar George Gilbert October 2015
Galois Theory TCU Graduate Student Seminar George Gilbert October 201 The coefficients of a polynomial are symmetric functions of the roots {α i }: fx) = x n s 1 x n 1 + s 2 x n 2 + + 1) n s n, where s
More informationImplementation of Theorems in D.S. Dummit s Solving Solvable Quintics(1991)
Implementation of Theorems in D.S. Dummit s Solving Solvable Quintics(1991) Matthew Moore June 0, 005 Abstract In D.S. Dummit s 1991 paper, Solving Solvable Quintics, two theorems are introduced. The first
More information1 The Galois Group of a Quadratic
Algebra Prelim Notes The Galois Group of a Polynomial Jason B. Hill University of Colorado at Boulder Throughout this set of notes, K will be the desired base field (usually Q or a finite field) and F
More informationCOMPUTING GALOIS GROUPS WITH GENERIC RESOLVENT POLYNOMIALS
COMPUTING GALOIS GROUPS WITH GENERIC RESOLVENT POLYNOMIALS JOHN KOPPER 1. Introduction Given an arbitrary irreducible polynomial f with rational coefficients it is difficult to determine the Galois group
More informationdisc f R 3 (X) in K[X] G f in K irreducible S 4 = in K irreducible A 4 in K reducible D 4 or Z/4Z = in K reducible V Table 1
GALOIS GROUPS OF CUBICS AND QUARTICS IN ALL CHARACTERISTICS KEITH CONRAD 1. Introduction Treatments of Galois groups of cubic and quartic polynomials usually avoid fields of characteristic 2. Here we will
More informationGALOIS GROUPS AS PERMUTATION GROUPS
GALOIS GROUPS AS PERMUTATION GROUPS KEITH CONRAD 1. Introduction A Galois group is a group of field automorphisms under composition. By looking at the effect of a Galois group on field generators we can
More informationGALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2)
GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2) KEITH CONRAD We will describe a procedure for figuring out the Galois groups of separable irreducible polynomials in degrees 3 and 4 over
More informationGalois theory (Part II)( ) Example Sheet 1
Galois theory (Part II)(2015 2016) Example Sheet 1 c.birkar@dpmms.cam.ac.uk (1) Find the minimal polynomial of 2 + 3 over Q. (2) Let K L be a finite field extension such that [L : K] is prime. Show that
More informationGalois fields/1. (M3) There is an element 1 (not equal to 0) such that a 1 = a for all a.
Galois fields 1 Fields A field is an algebraic structure in which the operations of addition, subtraction, multiplication, and division (except by zero) can be performed, and satisfy the usual rules. More
More informationSolutions of exercise sheet 6
D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 6 1. (Irreducibility of the cyclotomic polynomial) Let n be a positive integer, and P Z[X] a monic irreducible factor of X n 1
More informationMath 603, Spring 2003, HW 6, due 4/21/2003
Math 603, Spring 2003, HW 6, due 4/21/2003 Part A AI) If k is a field and f k[t ], suppose f has degree n and has n distinct roots α 1,..., α n in some extension of k. Write Ω = k(α 1,..., α n ) for the
More informationALGEBRA PH.D. QUALIFYING EXAM September 27, 2008
ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved completely
More informationOhio State University Department of Mathematics Algebra Qualifier Exam Solutions. Timothy All Michael Belfanti
Ohio State University Department of Mathematics Algebra Qualifier Exam Solutions Timothy All Michael Belfanti July 22, 2013 Contents Spring 2012 1 1. Let G be a finite group and H a non-normal subgroup
More informationMATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11
MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11 3. Examples I did some examples and explained the theory at the same time. 3.1. roots of unity. Let L = Q(ζ) where ζ = e 2πi/5 is a primitive 5th root of
More informationSymmetries and Polynomials
Symmetries and Polynomials Aaron Landesman and Apurva Nakade June 30, 2018 Introduction In this class we ll learn how to solve a cubic. We ll also sketch how to solve a quartic. We ll explore the connections
More informationTheorems and Algorithms Associated with Solving the General Quintic
Theorems and Algorithms Associated with Solving the General Quintic Matthew Moore August 7, 005 Abstract This paper addresses two published works: D.S. Dummit s 1991 paper, Solving Solvable Quintics and
More informationNOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22
NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22 RAVI VAKIL Hi Dragos The class is in 381-T, 1:15 2:30. This is the very end of Galois theory; you ll also start commutative ring theory. Tell them: midterm
More informationFIELD THEORY. Contents
FIELD THEORY MATH 552 Contents 1. Algebraic Extensions 1 1.1. Finite and Algebraic Extensions 1 1.2. Algebraic Closure 5 1.3. Splitting Fields 7 1.4. Separable Extensions 8 1.5. Inseparable Extensions
More informationMay 6, Be sure to write your name on your bluebook. Use a separate page (or pages) for each problem. Show all of your work.
Math 236H May 6, 2008 Be sure to write your name on your bluebook. Use a separate page (or pages) for each problem. Show all of your work. 1. (15 points) Prove that the symmetric group S 4 is generated
More informationÈvariste Galois and the resolution of equations by radicals
Èvariste Galois and the resolution of equations by radicals A Math Club Event Department of Mathematical Sciences Florida Atlantic University Boca Raton, FL 33431 November 9, 2012 Outline 1 The Problem
More informationPart II Galois Theory
Part II Galois Theory Definitions Based on lectures by C. Birkar Notes taken by Dexter Chua Michaelmas 2015 These notes are not endorsed by the lecturers, and I have modified them (often significantly)
More informationbut no smaller power is equal to one. polynomial is defined to be
13. Radical and Cyclic Extensions The main purpose of this section is to look at the Galois groups of x n a. The first case to consider is a = 1. Definition 13.1. Let K be a field. An element ω K is said
More informationSelected exercises from Abstract Algebra by Dummit and Foote (3rd edition).
Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition). Bryan Félix Abril 12, 2017 Section 14.2 Exercise 3. Determine the Galois group of (x 2 2)(x 2 3)(x 2 5). Determine all the subfields
More informationQuasi-reducible Polynomials
Quasi-reducible Polynomials Jacques Willekens 06-Dec-2008 Abstract In this article, we investigate polynomials that are irreducible over Q, but are reducible modulo any prime number. 1 Introduction Let
More informationMAT 535 Problem Set 5 Solutions
Final Exam, Tues 5/11, :15pm-4:45pm Spring 010 MAT 535 Problem Set 5 Solutions Selected Problems (1) Exercise 9, p 617 Determine the Galois group of the splitting field E over F = Q of the polynomial f(x)
More informationMath 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d
Math 201C Homework Edward Burkard 5.1. Field Extensions. 5. Fields and Galois Theory Exercise 5.1.7. If v is algebraic over K(u) for some u F and v is transcendental over K, then u is algebraic over K(v).
More informationThe Galois group of a polynomial f(x) K[x] is the Galois group of E over K where E is a splitting field for f(x) over K.
The third exam will be on Monday, April 9, 013. The syllabus for Exam III is sections 1 3 of Chapter 10. Some of the main examples and facts from this material are listed below. If F is an extension field
More informationAN INTRODUCTION TO GALOIS THEORY
AN INTRODUCTION TO GALOIS THEORY STEVEN DALE CUTKOSKY In these notes we consider the problem of constructing the roots of a polynomial. Suppose that F is a subfield of the complex numbers, and f(x) is
More information22M: 121 Final Exam. Answer any three in this section. Each question is worth 10 points.
22M: 121 Final Exam This is 2 hour exam. Begin each question on a new sheet of paper. All notations are standard and the ones used in class. Please write clearly and provide all details of your work. Good
More informationChapter V. Solvability by Radicals
Matematisk Institut Mat 3AL 5.1 Chapter V. Solvability by Radicals One of the oldest problems in algebra was to find roots of an equation. Already in the antiquity solutions of quadratic equations were
More informationField Theory Problems
Field Theory Problems I. Degrees, etc. 1. Answer the following: (a Find u R such that Q(u = Q( 2, 3 5. (b Describe how you would find all w Q( 2, 3 5 such that Q(w = Q( 2, 3 5. 2. If a, b K are algebraic
More information1 Finite abelian groups
Last revised: May 16, 2014 A.Miller M542 www.math.wisc.edu/ miller/ Each Problem is due one week from the date it is assigned. Do not hand them in early. Please put them on the desk in front of the room
More informationFactorization in Integral Domains II
Factorization in Integral Domains II 1 Statement of the main theorem Throughout these notes, unless otherwise specified, R is a UFD with field of quotients F. The main examples will be R = Z, F = Q, and
More informationA linear resolvent for degree 14 polynomials
A linear resolvent for degree 14 polynomials Chad Awtrey and Erin Strosnider Abstract We discuss the construction and factorization pattern of a linear resolvent polynomial that is useful for computing
More informationSchool of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information
MRQ 2017 School of Mathematics and Statistics MT5836 Galois Theory Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT3505 (or MT4517) Rings & Fields Lectures: Tutorials: Mon
More informationIUPUI Qualifying Exam Abstract Algebra
IUPUI Qualifying Exam Abstract Algebra January 2017 Daniel Ramras (1) a) Prove that if G is a group of order 2 2 5 2 11, then G contains either a normal subgroup of order 11, or a normal subgroup of order
More informationPage Points Possible Points. Total 200
Instructions: 1. The point value of each exercise occurs adjacent to the problem. 2. No books or notes or calculators are allowed. Page Points Possible Points 2 20 3 20 4 18 5 18 6 24 7 18 8 24 9 20 10
More informationGraduate Preliminary Examination
Graduate Preliminary Examination Algebra II 18.2.2005: 3 hours Problem 1. Prove or give a counter-example to the following statement: If M/L and L/K are algebraic extensions of fields, then M/K is algebraic.
More information1. Group Theory Permutations.
1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7
More informationPart II Galois Theory
Part II Galois Theory Theorems Based on lectures by C. Birkar Notes taken by Dexter Chua Michaelmas 2015 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after
More information(January 14, 2009) q n 1 q d 1. D = q n = q + d
(January 14, 2009) [10.1] Prove that a finite division ring D (a not-necessarily commutative ring with 1 in which any non-zero element has a multiplicative inverse) is commutative. (This is due to Wedderburn.)
More informationKeywords and phrases: Fundamental theorem of algebra, constructible
Lecture 16 : Applications and Illustrations of the FTGT Objectives (1) Fundamental theorem of algebra via FTGT. (2) Gauss criterion for constructible regular polygons. (3) Symmetric rational functions.
More informationCSIR - Algebra Problems
CSIR - Algebra Problems N. Annamalai DST - INSPIRE Fellow (SRF) Department of Mathematics Bharathidasan University Tiruchirappalli -620024 E-mail: algebra.annamalai@gmail.com Website: https://annamalaimaths.wordpress.com
More informationPermutation representations and rational irreducibility
Permutation representations and rational irreducibility John D. Dixon School of Mathematics and Statistics Carleton University, Ottawa, Canada March 30, 2005 Abstract The natural character π of a finite
More informationAlgebra Questions. May 13, Groups 1. 2 Classification of Finite Groups 4. 3 Fields and Galois Theory 5. 4 Normal Forms 9
Algebra Questions May 13, 2013 Contents 1 Groups 1 2 Classification of Finite Groups 4 3 Fields and Galois Theory 5 4 Normal Forms 9 5 Matrices and Linear Algebra 10 6 Rings 11 7 Modules 13 8 Representation
More informationGalois Theory and the Insolvability of the Quintic Equation
Galois Theory and the Insolvability of the Quintic Equation Daniel Franz 1. Introduction Polynomial equations and their solutions have long fascinated mathematicians. The solution to the general quadratic
More informationGalois Theory and Some Applications
Galois Theory and Some Applications Aparna Ramesh July 19, 2015 Introduction In this project, we study Galois theory and discuss some applications. The theory of equations and the ancient Greek problems
More informationφ(xy) = (xy) n = x n y n = φ(x)φ(y)
Groups 1. (Algebra Comp S03) Let A, B and C be normal subgroups of a group G with A B. If A C = B C and AC = BC then prove that A = B. Let b B. Since b = b1 BC = AC, there are a A and c C such that b =
More informationALGORITHMS FOR COMPUTING QUARTIC GALOIS GROUPS OVER FIELDS OF CHARACTERISTIC 0
ALGORITHMS FOR COMPUTING QUARTIC GALOIS GROUPS OVER FIELDS OF CHARACTERISTIC 0 CHAD AWTREY, JAMES BEUERLE, AND MICHAEL KEENAN Abstract. Let f(x) beanirreducibledegreefourpolynomialdefinedover afieldf and
More informationarxiv: v1 [math.gr] 3 Feb 2019
Galois groups of symmetric sextic trinomials arxiv:1902.00965v1 [math.gr] Feb 2019 Alberto Cavallo Max Planck Institute for Mathematics, Bonn 5111, Germany cavallo@mpim-bonn.mpg.de Abstract We compute
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationGALOIS THEORY AT WORK
GALOIS THEORY AT WORK KEITH CONRAD 1. Examples Example 1.1. The field extension Q(, 3)/Q is Galois of degree 4, so its Galois group has order 4. The elements of the Galois group are determined by their
More informationGalois theory - Wikipedia, the free encyclopedia
Page 1 of 8 Galois theory From Wikipedia, the free encyclopedia In mathematics, more specifically in abstract algebra, Galois theory, named after Évariste Galois, provides a connection between field theory
More informationAlgebra Qualifying Exam Solutions. Thomas Goller
Algebra Qualifying Exam Solutions Thomas Goller September 4, 2 Contents Spring 2 2 2 Fall 2 8 3 Spring 2 3 4 Fall 29 7 5 Spring 29 2 6 Fall 28 25 Chapter Spring 2. The claim as stated is false. The identity
More informationIntroduction to finite fields
Chapter 7 Introduction to finite fields This chapter provides an introduction to several kinds of abstract algebraic structures, particularly groups, fields, and polynomials. Our primary interest is in
More informationTC10 / 3. Finite fields S. Xambó
TC10 / 3. Finite fields S. Xambó The ring Construction of finite fields The Frobenius automorphism Splitting field of a polynomial Structure of the multiplicative group of a finite field Structure of the
More informationGalois Theory, summary
Galois Theory, summary Chapter 11 11.1. UFD, definition. Any two elements have gcd 11.2 PID. Every PID is a UFD. There are UFD s which are not PID s (example F [x, y]). 11.3 ED. Every ED is a PID (and
More informationReal Analysis Prelim Questions Day 1 August 27, 2013
Real Analysis Prelim Questions Day 1 August 27, 2013 are 5 questions. TIME LIMIT: 3 hours Instructions: Measure and measurable refer to Lebesgue measure µ n on R n, and M(R n ) is the collection of measurable
More informationMT5836 Galois Theory MRQ
MT5836 Galois Theory MRQ May 3, 2017 Contents Introduction 3 Structure of the lecture course............................... 4 Recommended texts..................................... 4 1 Rings, Fields and
More informationPOWER INTEGRAL BASES IN A PARAMETRIC FAMILY OF TOTALLY REAL CYCLIC QUINTICS
MATHEMATICS OF COMPUTATION Volume 66, Number 220, October 1997, Pages 1689 1696 S 002-718(97)00868- POWER INTEGRAL BASES IN A PARAMETRIC FAMILY OF TOTALLY REAL CYCLIC QUINTICS Abstract. We consider the
More informationPh.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018
Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018 Do 6 problems with at least 2 in each section. Group theory problems: (1) Suppose G is a group. The
More informationField Theory Qual Review
Field Theory Qual Review Robert Won Prof. Rogalski 1 (Some) qual problems ˆ (Fall 2007, 5) Let F be a field of characteristic p and f F [x] a polynomial f(x) = i f ix i. Give necessary and sufficient conditions
More informationMath 121 Homework 6 Solutions
Math 11 Homework 6 Solutions Problem 14. # 17. Let K/F be any finite extension and let α K. Let L be a Galois extension of F containing K and let H Gal(L/F ) be the subgroup corresponding to K. Define
More information18. Cyclotomic polynomials II
18. Cyclotomic polynomials II 18.1 Cyclotomic polynomials over Z 18.2 Worked examples Now that we have Gauss lemma in hand we can look at cyclotomic polynomials again, not as polynomials with coefficients
More informationON 2-CLASS FIELD TOWERS OF SOME IMAGINARY QUADRATIC NUMBER FIELDS
ON 2-CLASS FIELD TOWERS OF SOME IMAGINARY QUADRATIC NUMBER FIELDS FRANZ LEMMERMEYER Abstract. We construct an infinite family of imaginary quadratic number fields with 2-class groups of type (2, 2, 2 whose
More informationM3P11/M4P11/M5P11. Galois Theory
BSc and MSci EXAMINATIONS (MATHEMATICS) May-June 2014 This paper is also taken for the relevant examination for the Associateship of the Royal College of Science. M3P11/M4P11/M5P11 Galois Theory Date:
More informationAlgebra Exam, Spring 2017
Algebra Exam, Spring 2017 There are 5 problems, some with several parts. Easier parts count for less than harder ones, but each part counts. Each part may be assumed in later parts and problems. Unjustified
More informationMTH 401: Fields and Galois Theory
MTH 401: Fields and Galois Theory Semester 1, 2014-2015 Dr. Prahlad Vaidyanathan Contents Classical Algebra 3 I. Polynomials 6 1. Ring Theory.................................. 6 2. Polynomial Rings...............................
More informationALGEBRA 11: Galois theory
Galois extensions Exercise 11.1 (!). Consider a polynomial P (t) K[t] of degree n with coefficients in a field K that has n distinct roots in K. Prove that the ring K[t]/P of residues modulo P is isomorphic
More informationAlgebra Exam Topics. Updated August 2017
Algebra Exam Topics Updated August 2017 Starting Fall 2017, the Masters Algebra Exam will have 14 questions. Of these students will answer the first 8 questions from Topics 1, 2, and 3. They then have
More informationCONSTRUCTIBLE NUMBERS AND GALOIS THEORY
CONSTRUCTIBLE NUMBERS AND GALOIS THEORY SVANTE JANSON Abstract. We correct some errors in Grillet [2], Section V.9. 1. Introduction The purpose of this note is to correct some errors in Grillet [2], Section
More informationComputing the Galois group of a polynomial
Computing the Galois group of a polynomial Curtis Bright April 15, 2013 Abstract This article outlines techniques for computing the Galois group of a polynomial over the rationals, an important operation
More informationSchool of Mathematics and Statistics. MT5824 Topics in Groups. Problem Sheet I: Revision and Re-Activation
MRQ 2009 School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet I: Revision and Re-Activation 1. Let H and K be subgroups of a group G. Define HK = {hk h H, k K }. (a) Show that HK
More informationChapter 11: Galois theory
Chapter 11: Galois theory Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 410, Spring 014 M. Macauley (Clemson) Chapter 11: Galois theory
More informationClassification of Finite Fields
Classification of Finite Fields In these notes we use the properties of the polynomial x pd x to classify finite fields. The importance of this polynomial is explained by the following basic proposition.
More informationFinite Fields. Saravanan Vijayakumaran Department of Electrical Engineering Indian Institute of Technology Bombay
1 / 25 Finite Fields Saravanan Vijayakumaran sarva@ee.iitb.ac.in Department of Electrical Engineering Indian Institute of Technology Bombay September 25, 2014 2 / 25 Fields Definition A set F together
More informationRUDIMENTARY GALOIS THEORY
RUDIMENTARY GALOIS THEORY JACK LIANG Abstract. This paper introduces basic Galois Theory, primarily over fields with characteristic 0, beginning with polynomials and fields and ultimately relating the
More informationInsolvability of the Quintic (Fraleigh Section 56 Last one in the book!)
Insolvability of the Quintic (Fraleigh Section 56 Last one in the book!) [I m sticking to Freleigh on this one except that this will be a combination of part of the section and part of the exercises because
More informationFINITE GROUP THEORY: SOLUTIONS FALL MORNING 5. Stab G (l) =.
FINITE GROUP THEORY: SOLUTIONS TONY FENG These are hints/solutions/commentary on the problems. They are not a model for what to actually write on the quals. 1. 2010 FALL MORNING 5 (i) Note that G acts
More informationPolynomials with nontrivial relations between their roots
ACTA ARITHMETICA LXXXII.3 (1997) Polynomials with nontrivial relations between their roots by John D. Dixon (Ottawa, Ont.) 1. Introduction. Consider an irreducible polynomial f(x) over a field K. We are
More information1 Spring 2002 Galois Theory
1 Spring 2002 Galois Theory Problem 1.1. Let F 7 be the field with 7 elements and let L be the splitting field of the polynomial X 171 1 = 0 over F 7. Determine the degree of L over F 7, explaining carefully
More informationName: Solutions Final Exam
Instructions. Answer each of the questions on your own paper, and be sure to show your work so that partial credit can be adequately assessed. Put your name on each page of your paper. 1. [10 Points] For
More informationQ N id β. 2. Let I and J be ideals in a commutative ring A. Give a simple description of
Additional Problems 1. Let A be a commutative ring and let 0 M α N β P 0 be a short exact sequence of A-modules. Let Q be an A-module. i) Show that the naturally induced sequence is exact, but that 0 Hom(P,
More informationDescribing Resolvent Sextics of Quintic Equations. By Frank D. Grosshans
Describing Resolvent Sextics of Quintic Equations By Frank D. Grosshans L. E. Dickson, Bulletin A.M.S. 31, 1925, 515-523 RESOLVENT SEXTICS OF QUINTIC EQUATIONS BY L. E. DICKSON 1. Introduction. The object
More informationAlgebra SEP Solutions
Algebra SEP Solutions 17 July 2017 1. (January 2017 problem 1) For example: (a) G = Z/4Z, N = Z/2Z. More generally, G = Z/p n Z, N = Z/pZ, p any prime number, n 2. Also G = Z, N = nz for any n 2, since
More informationDepartment of Mathematics, University of California, Berkeley
ALGORITHMIC GALOIS THEORY Hendrik W. Lenstra jr. Mathematisch Instituut, Universiteit Leiden Department of Mathematics, University of California, Berkeley K = field of characteristic zero, Ω = algebraically
More information9. Finite fields. 1. Uniqueness
9. Finite fields 9.1 Uniqueness 9.2 Frobenius automorphisms 9.3 Counting irreducibles 1. Uniqueness Among other things, the following result justifies speaking of the field with p n elements (for prime
More informationLecture 6.6: The fundamental theorem of Galois theory
Lecture 6.6: The fundamental theorem of Galois theory Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 410, Modern Algebra M. Macauley
More informationALGEBRA QUALIFYING EXAM SPRING 2012
ALGEBRA QUALIFYING EXAM SPRING 2012 Work all of the problems. Justify the statements in your solutions by reference to specific results, as appropriate. Partial credit is awarded for partial solutions.
More informationGALOIS THEORY AT WORK: CONCRETE EXAMPLES
GALOIS THEORY AT WORK: CONCRETE EXAMPLES KEITH CONRAD 1. Examples Example 1.1. The field extension Q(, 3)/Q is Galois of degree 4, so its Galois group has order 4. The elements of the Galois group are
More informationJean-Pierre Escofier. Galois Theory. Translated by Leila Schneps. With 48 Illustrations. Springer
Jean-Pierre Escofier Galois Theory Translated by Leila Schneps With 48 Illustrations Springer Preface v 1 Historical Aspects of the Resolution of Algebraic Equations 1 1.1 Approximating the Roots of an
More informationPublic-key Cryptography: Theory and Practice
Public-key Cryptography Theory and Practice Department of Computer Science and Engineering Indian Institute of Technology Kharagpur Chapter 2: Mathematical Concepts Divisibility Congruence Quadratic Residues
More informationSome algebraic number theory and the reciprocity map
Some algebraic number theory and the reciprocity map Ervin Thiagalingam September 28, 2015 Motivation In Weinstein s paper, the main problem is to find a rule (reciprocity law) for when an irreducible
More informationSelected exercises from Abstract Algebra by Dummit and Foote (3rd edition).
Selected exercises from Abstract Algebra by Dummit Foote (3rd edition). Bryan Félix Abril 12, 2017 Section 4.1 Exercise 1. Let G act on the set A. Prove that if a, b A b = ga for some g G, then G b = gg
More informationAlgebra Qualifying Exam, Fall 2018
Algebra Qualifying Exam, Fall 2018 Name: Student ID: Instructions: Show all work clearly and in order. Use full sentences in your proofs and solutions. All answers count. In this exam, you may use the
More informationFields and Galois Theory Fall 2004 Professor Yu-Ru Liu
Fields and Galois Theory Fall 2004 Professor Yu-Ru Liu CHRIS ALMOST Contents 1 Introduction 3 1.1 Motivation....................................................... 3 1.2 Brief Review of Ring Theory............................................
More informationA connection between number theory and linear algebra
A connection between number theory and linear algebra Mark Steinberger Contents 1. Some basics 1 2. Rational canonical form 2 3. Prime factorization in F[x] 4 4. Units and order 5 5. Finite fields 7 6.
More information