Math 414 Answers for Homework 7

Similar documents
MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11

Galois Theory TCU Graduate Student Seminar George Gilbert October 2015

GALOIS THEORY AT WORK: CONCRETE EXAMPLES

Galois theory (Part II)( ) Example Sheet 1

Field Theory Qual Review

Name: Solutions Final Exam

GALOIS THEORY AT WORK

FIELD THEORY. Contents

but no smaller power is equal to one. polynomial is defined to be

Math 121. Fundamental Theorem and an example

1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism

Page Points Possible Points. Total 200

GALOIS THEORY. Contents

THE GALOIS CORRESPONDENCE

SOME EXAMPLES OF THE GALOIS CORRESPONDENCE

A BRIEF INTRODUCTION TO LOCAL FIELDS

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille

GALOIS THEORY BRIAN OSSERMAN

GALOIS GROUPS AS PERMUTATION GROUPS

Fields and Galois Theory. Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory.

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

RUDIMENTARY GALOIS THEORY

A SIMPLE PROOF OF KRONECKER-WEBER THEOREM. 1. Introduction. The main theorem that we are going to prove in this paper is the following: Q ab = Q(ζ n )

Graduate Preliminary Examination

The 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.

GALOIS THEORY: LECTURE 20

Keywords and phrases: Fundamental theorem of algebra, constructible

Algebra Qualifying Exam Solutions. Thomas Goller

GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2)

Math 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

Chapter 11: Galois theory

NOTES ON FINITE FIELDS

Profinite Groups. Hendrik Lenstra. 1. Introduction

MAT 535 Problem Set 5 Solutions

disc 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

Fields and Galois Theory

Lecture 6.6: The fundamental theorem of Galois theory

1 The Galois Group of a Quadratic

Part II Galois Theory

NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22

Finite Fields. [Parts from Chapter 16. Also applications of FTGT]

Lecture Notes on Fields (Fall 1997)

Solutions of exercise sheet 6

ALGEBRA HW 9 CLAY SHONKWILER

The following results are from the review sheet for the midterm.

IUPUI Qualifying Exam Abstract Algebra

Part II Galois Theory

Math 121 Homework 6 Solutions

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Algebra SEP Solutions

Theorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u.

9. Finite fields. 1. Uniqueness

Math 553 Qualifying Exam. In this test, you may assume all theorems proved in the lectures. All other claims must be proved.

MATH 113 FINAL EXAM December 14, 2012

Fields. Victoria Noquez. March 19, 2009

Automorphisms and bases

Galois Theory and the Insolvability of the Quintic Equation

Galois Theory, summary

Math 581 Problem Set 6 Solutions

Solutions of exercise sheet 8

7 Orders in Dedekind domains, primes in Galois extensions

Notes on graduate algebra. Robert Harron

MAIN THEOREM OF GALOIS THEORY

Math 581 Problem Set 7 Solutions

Math 594. Solutions 5

Math 121 Homework 2 Solutions

1 Spring 2002 Galois Theory

Algebra Exam, Spring 2017

22. Galois theory. G = Gal(L/k) = Aut(L/k) [L : K] = H. Gal(K/k) G/H

Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018

Notes on Galois Theory

Course 311: Abstract Algebra Academic year

Notes on Galois Theory

Math 762 Spring h Y (Z 1 ) (1) h X (Z 2 ) h X (Z 1 ) Φ Z 1. h Y (Z 2 )

Math 603, Spring 2003, HW 6, due 4/21/2003

FINITE GROUP THEORY: SOLUTIONS FALL MORNING 5. Stab G (l) =.

Algebra Exam Fall Alexander J. Wertheim Last Updated: October 26, Groups Problem Problem Problem 3...

The Kronecker-Weber Theorem

A PROOF OF BURNSIDE S p a q b THEOREM

The Kummer Pairing. Alexander J. Barrios Purdue University. 12 September 2013

Math Introduction to Modern Algebra

Algebra Ph.D. Preliminary Exam

Galois Theory. This material is review from Linear Algebra but we include it for completeness.

Quasi-reducible Polynomials

Ramification Theory. 3.1 Discriminant. Chapter 3

ABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK

MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION

Algebra Qualifying Exam, Fall 2018

Symmetries and Polynomials

Math 504, Fall 2013 HW 2

x by so in other words ( )

Galois theory of fields

Èvariste Galois and the resolution of equations by radicals

GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS

Algebraic proofs of Dirichlet s theorem on arithmetic progressions

M3P11/M4P11/M5P11. Galois Theory

Algebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0

φ(xy) = (xy) n = x n y n = φ(x)φ(y)

ABSTRACT ALGEBRA 1, LECTURES NOTES 5: SUBGROUPS, CONJUGACY, NORMALITY, QUOTIENT GROUPS, AND EXTENSIONS.

Solutions of exercise sheet 11

Transcription:

Math 414 Answers for Homework 7 1. Suppose that K is a field of characteristic zero, and p(x) K[x] an irreducible polynomial of degree d over K. Let α 1, α,..., α d be the roots of p(x), and L = K(α 1,...,α d ) the field obtained by adjoining all the roots of p(x). Let S be the set S = {α 1,...,α d } of the roots. (a) If σ is an element of Aut(L/K) explain why, for any root α i S, σ(α i ) S too, so that the group G = Aut(L/K) acts on the set S. (b) If σ G, and σ(α i ) = α i for i = 1,...,d, explain why σ is actually the identity map σ : L L on L. (c) An action of a group G on a set S is the same as a homomorphism G Perm(S) from G to the group of permutations of S. Explain why the action from part (a) gives an injective homomorphism. (d) Explain why the group G acts transitively on S. [Hint: Lifting lemma!] (e) Explain why G can be realized as a subgroup of S d, the symmetric group on d elements, such that the subgroup acts transitively on the set {1,...,d}. Solution. (a) We recall the following result (from the class on Wednesday, January 0th, the 8th class of the semester) which we have used frequently: Lemma Suppose that K L is an extension of fields, that α is an element of L algebraic over K, and let q(x) K[x] be the minimal polynomial of α over K. Then for any σ Aut(L/K), σ(α) is also a root of q(x). Let α i be any root of p(x). Let q(x) K[x] be the minimal polynomial of α i over K. Since p(α i ) = 0 we have that q(x) divides p(x). By the lemma, for any σ Aut(L/K), we have that σ(α i ) is a root of q(x), and hence also a root of p(x) since q(x) divides p(x). Therefore, σ(α i ) is also in S. Remarks. (1) The argument above shows that the lemma implies something apparently stronger : that if p(x) K[x] is any polynomial with α as a root, and σ Aut(L/K) then σ(α) is a root of p(x). () We didn t actually need this extension in the problem. Since p(x) is irreducible over K, and divisible by the nonconstant polynomial q(x), we must have p(x) = cq(x) where c K is the leading coefficient of p(x) (and so equal to 1 if p(x) is also monic). I.e, p(x) is, up to scaling to make it monic, the minimal polynomial of α i (and since α i was arbitrary, it is the minimal polynomial of any of its other roots as well). 1

(b) Since L = K(α 1,...,α d ), we have that L is generated over K by α 1,..., α d, each of which is algebraic over K. By our theorem on simple extensions and the proof of the tower law, this means that every element of γ L can be written as a finite sum γ = c m1,m,...,m d α m 1 1 αm α m d d with the coefficients c m1,...,m d K. Thus for any σ Aut(L/K) we have σ(γ) = σ(c m1,m,...,m d )σ(α 1 ) m 1 σ(α m ) σ(α d) m d = c m1,m,...,m d σ(α 1 ) m 1 σ(α m ) σ(α d ) m d. Where the last equality is because σ fixes K. If, in addition, σ(α i ) = α i for i = 1,..., d, then this becomes σ(γ) = c m1,m,...,m d σ(α 1 ) m 1 σ(α m ) σ(α d) m d = c m1,m,...,m d α m 1 1 α m α m d d = γ, in other words, σ(γ) = γ. Since γ was an arbitrary element of L, we conclude that σ fixes all of L, so that σ = Id L. Remark. This question is asking about a principle (and the argument behind it) that we have used several times : if L is generated over K by a set S, and if σ Aut(L/K) fixes all the elements in S, then σ must fix all of L, and hence σ = Id L. (c) The kernel of the homomorphism ϕ: G Perm(G) consists of those automorphism which permute S trivially, i.e, those σ G such that σ(α i ) = α i for all α i S. By part (b) the only such σ G is σ = Id L, which is the identity of G. Therefore kerϕ = {Id L }, and so ϕ is injective. (d) Let α i and α j be any two roots. As noted above, p(x) is irreducible and (up to scaling to make it monic) is the minimal polynomial of both α i and α j. By the theorem on simple extensions we therefore have an isomorphism ϕ: K(α i ) = K[x] (p(x)) = K(α j ), which takes α i to α j and acts as the identity on K. We lift this automorphism to a map σ: L L by using the lifting lemma. We need to check that the hypothesis of the lifting lemma K(α i ) K(α j ) is satisfied. Since L is generated over K by α ϕ 1,..., α d, it is certainly true that α 1,..., α d generate L over the larger field K(α i ). Pick α l, L σ L

and let q l (x) K(α i ) be the minimal polynomial of α l over K(α i ). Since α l is also root of p(x), we have q l (x) p(x). Therefore ϕ(q l (x)) divides ϕ(p(x)) = p(x). (The equality ϕ(p(x)) = p(x) follows since all coefficients of p(x) are in K, and ϕ fixes K.) Since p(x) splits completely in L, ϕ(q l (x)) also must split completely in L and so the hypothesis of the lifting lemma is satisfied. Thus bytheliftinglemma thereexists σ: L Lliftingϕ. The map ψ must be an isomorphism since it is an injective map between K vector spaces ofthe same dimension. Thus σ is anautomorphism of L, and σ(α i ) = α j. Since α i and α j were arbitrary, this shows that G acts transitively on S. Remarks. (1) This argument, using the lifting lemma to find an automorphism which takes one root of an irreducible polynomial to another, is also one which we have been using when studying Galois groups in particular examples. () As part of this argument, we have verified something which has previously been passed over in silence : when using the inductive part of the lifting lemma, how do we know that the new larger field still satisfies the hypothesis of the lifting lemma? The argument here shows how to use the fact that the new minimal polynomial in the larger field will have to divide the old minimal polynomial from the smaller field, and the fact that the hypothesis held for the smaller field, to deduce that the hypothesis holds for the larger field. (e) Bypickingabijectionofα 1,..., α d (forinstance, α i i)weobtainanisomorphism of Perm(S) with S d. Combining this with the homomorphism G Perm(S) from the action of G on S, we get a homomorphism G S d. By part (c) this homomorphism is injective. By part (d) G acts transitively on S and hence its image in S d acts transitively on {1,...,d}. Remark. In trying to identify and understand Galois groups, one of our tools has been looking for ways to represent the group concretely. For instance, each σ Gal(L/K) is a K-linear transformation, so we could write down the matrix associated to σ. On the otherhand, when studying extensions like Q( 3,ω)/QandQ(5 1 4,i)/Qitwasconvenient to understand G by studying how G permuted the generators and the other roots of their minimal polynomials. This problem is applying that idea to the case that L/K is generated by the roots of a single irreducible polynomial. Then we know that G can be realized as a transitive subgroup of S d, a result we will use in developing algorithms for finding Galois groups. 3

. Let K = Q, and ζ = e πi/7. By H3 Q1, the minimal polynomial of ζ over Q is q(x) = x 6 +x 5 +x 5 +x 3 +x +x+1 = x7 1 x 1. (a) Show that all other roots of q(x) are powers of ζ, and explain why this shows that L = Q(ζ) is the splitting field for q(x). (b) Let G = Gal(L/Q). For σ G, explain why σ is completely determined by what it does to ζ. (i.e., once you know what σ(ζ) is, you know how σ acts on all of L.) (c) Compute the Galois group G = Gal(L/Q). (Keeping in mind part (b) of this question, and part (d) of question 1 may help, but don t get hung up on it if it doesn t.) (d) Describe the subgroups of G, and draw the corresponding diagram of intermediate fields between Q and L. (e) Compute the Galois groups for the extensions Q(cos( π 7 ))/Q and Q(isin(π 7 ))/Q, where i = 1. (Note: These are subfields of L.) Solution. (a) For any m Z, we have (ζ m ) 7 = (e mπi/7 ) 7 = e mπi = 1, that is, all powers of ζ satisfy the equation x 7 1 = 0. For m = 1,...,6 these powers are distinct, and not equal to 1. In fact, as we know, the powers ζ m, m = 0,...,6 are C ζ ζ all of the 7-th roots of unity, distributed in a 7-gon (i.e, a heptagon) with one of the vertices at 1 C. ζ 3 ζ 4 ζ 5 ζ 6 1 Since the ζ m, m = 1,..., 6 are not equal to 1, they are roots of x7 1 = q(x). Since q(x) has degree 6, the x 1 elements ζ 1,..., ζ 6 are all the roots of q(x). Thus Q(ζ) = Q(ζ 1,ζ,...,ζ 6 ) is generated by the roots of q(x), and so is the splitting field for q(x) over Q. (b) Since ζ generates L over Q, once we know what σ Gal(L/Q) does to ζ, we can deduce what σ does to any element of L. Specifically, since q(x) has degree 6, we know that 1, ζ, ζ,..., ζ 5 is a basis for L over Q, so that any γ L can be written γ = c 0 1 + c 1 ζ + c ζ + c 5 ζ 5 with c 0,..., c 5 Q. Then σ(γ) = c 0 1+c 1 σ(ζ)+ +c 5 σ(ζ) 5, i.e, what σ does to ζ completely determines what σ does to any other element of L. 4

(c) By part (b), to understand G = Gal(L/Q) we only need to pay attention to what σ does to ζ. By Q1(d), for each m, m = 1,...,6, there is a σ m G such that σ m (ζ) = ζ m. Sincetheseelementsdodifferentthingstoζ,theymustallbedistinct, and so we have 6 different elements of G. Since G = [L : Q] = degq(x) = 6, these are all the elements of G. For reference, here is what each of the σ m to do the powers ζ,..., ζ 6 of ζ : In making the table we used the rule that ζ m = ζ m if m m (mod 7). Now which group is G? Let us try and figure out the rule of composition. For any m and n, we have σ m (σ n (ζ)) = σ m (ζ n ) = ζ mn. Let r be the element of {1,...,6} which is congruent to mn mod 7. We then have σ m (σ n (ζ)) = ζ mn = ζ r = σ r (ζ). ζ ζ ζ 3 ζ 4 ζ 5 ζ 6 σ 1 ζ ζ ζ 3 ζ 4 ζ 5 ζ 6 σ ζ ζ 4 ζ 6 ζ ζ 3 ζ 5 σ 3 ζ 3 ζ 6 ζ ζ 5 ζ ζ 4 σ 4 ζ 4 ζ ζ 5 ζ ζ 6 ζ 3 σ 5 ζ 5 ζ 3 ζ ζ 6 ζ 4 ζ σ 6 ζ 6 ζ 5 ζ 4 ζ 3 ζ ζ Since any element of G is completely determined by what it does to ζ, this tells us we must have σ m σ n = σ r. Thus the law of composition in G is σ m σ n = σ mnmod 7. From this we can write down the multiplication table for the group : σ 1 σ σ 3 σ 4 σ 5 σ 6 σ 1 σ 1 σ σ 3 σ 4 σ 5 σ 6 σ σ σ 4 σ 6 σ 1 σ 3 σ 5 σ 3 σ 3 σ 6 σ σ 5 σ 1 σ 4 σ 4 σ 4 σ 1 σ 5 σ σ 6 σ 3 σ 5 σ 5 σ 3 σ 1 σ 6 σ 4 σ σ 6 σ 6 σ 5 σ 4 σ 3 σ σ 1 We can also recognize the group. The law of composition is telling us that G is isomorphic to the group of units mod 7, i.e., to the multiplicative group of F 7. We know that this group is cyclic, and hence our group G is the cyclic group of order 6. A cyclic group of order 6 has two generators. In this case, σ 3 and σ 5 are generators (i.e., have order 6). The elements of order 3 are σ and σ 4, the element of order is σ 6, and the identity is σ 1. (d) A cyclic group of order 6 has proper subgroups of orders and 3. By looking at the orders of the elements from (c), we see that the subgroups are {σ 1,σ 5 } and {σ 1,σ,σ 4 }. Here are the lattices of subgroups and intermediate fields. 5

(Reversed) lattice of subgroups {σ 1,σ 6 } 3 {σ 1 } 3 {σ 1,σ,σ 4 } G and Lattice of intermediate fields Q(ζ) Q(ζ +ζ 6 ) 3 Q Q( 7i) 3 Let us now check that these intermediate fields are correct. Set H 1 = {σ 1,σ 5 }. From the table we see that σ 5 exchanges ζ and ζ 6, ζ and ζ 5, ζ 3 and ζ 4. (in fact, since ζ 6 = ζ 1 = ζ, we see that σ 6 is the restriction of complex conjugation to Q(ζ)). Using the formula ζ 6 = (ζ 5 +ζ 4 + +ζ +1) (deduced from p(ζ) = 0), we see that the action of σ 5 on an element γ = c 0 + +c 5 ζ 5 Q(ζ) is : c 0 +c 1 ζ+c ζ +c 3 ζ 3 +c 4 ζ 4 +c 5 ζ 5 σ 6 Comparing coefficients gives the equations (c 0 c 1 ) c 1 ζ+(c 5 c 1 )ζ +(c 4 c 1 )ζ 3 +(c 3 c 1 )ζ 4 +(c c 1 )ζ 5. c 0 = c 0 c 1 ; c 1 = c 1 ; c = c 5 c 1 ; c 3 = c 4 c 1 ; c 4 = c 3 c 1 ; c 5 = c c 1. These equations reduce to c 1 = 0, c = c 5 and c 3 = c 4, showing us that a basis for L H 1 over Q is 1, ζ +ζ 5, and ζ 3 +ζ 4. Since (ζ +ζ 5 ) = (ζ 4 +ζ 7 +ζ 10 ) = ζ 3 +ζ 4, we see that ζ +ζ 5 generates L H 1 over Q. Therefore L H 1 = Q(ζ +ζ 5 ). There are other possible generators for this field which are useful to know. For instance, ζ + ζ 6 is an element of L H 1. Using the relation for ζ 6 above, we have ζ +ζ 6 = 1 (ζ +ζ 5 ) (ζ 3 +ζ 4 ) L H 1. Since (ζ+ζ 6 ) = ζ +ζ 5, we see that ζ+ζ 6 also generates L H 1 over Q, i.e., L H 1 = Q(ζ+ζ 6 ). Since this description will be useful for question (e) below, this is the description used in the lattice above. Finally, (ζ 3 +ζ 4 ) = ζ +ζ 6, so ζ 3 +ζ 4 is another generator of L H 1. Now let H = {σ 1,σ,σ 4 }. Being fixed by H is the same as being fixed by σ, which generates H. Acting on the powers of ζ, σ cycles them in groups of 3: ζ ζ ζ 4 ζ and ζ 3 ζ 6 ζ 5 ζ 3. Once again using the relation for ζ 6, this means that σ has the following effect on a general γ L : c 0 +c 1 ζ+c ζ +c 3 ζ 3 +c 4 ζ 4 +c 5 ζ 5 σ (c 0 c 3 )+c 4 ζ +c 1 ζ +(c 5 c 3 )ζ 3 +c ζ 4 c 3 ζ 5. 6

Comparing coefficients gives the equations c 0 = c 0 c 3 ; c 1 = c 4 ; c = c 1 ; c 3 = c 5 c 3 ; c 4 = c ; c 5 = c 3. These equations reduce to : c 1 = c = c 4, c 3 = c 5 = 0, showing us that a basis for L H over Q is 1, ζ +ζ +ζ 4. In particular we have L H = Q(ζ +ζ +ζ 4 ). We can try and simplify this expression. Let γ = ζ + ζ + ζ 4. Then γ = ζ+ζ +ζ 3 +ζ 4 +ζ 5 +ζ 6 = (ζ+ζ +ζ 3 +ζ 4 +ζ 5 +ζ 6 ) γ = ( 1) γ = γ. Therefore γ +γ + = 0, and γ is( a root of p(x) ) = x +x+. By the quadratic formula, the roots of p(x) are 1 1± 7. Therefore, L H is also the field Q( 7) = Q( 7i). Remark. Some of the computations above could have been simplified slightly with a choice of a different basis for L over Q. Using the relation for ζ 6, the elements ζ, ζ, ζ 3, ζ 4, ζ 5, and ζ 6 are a basis for L over Q. The advantage of this basis is that G permutes the elements, so it is easy to find fixed elements they correspond to sums of basis elements in orbits of the subgroup. For instance the action of σ 6 in this basis is c 1 ζ +c ζ +c 3 ζ 3 +c 4 ζ 4 +c 5 ζ 5 +c 6 ζ 6 σ 6 c 6 ζ +c 5 ζ +c 4 ζ 3 +c 3 ζ 4 +c ζ 5 +c 1 ζ 6, from which it is clear that ζ+ζ 6, ζ +ζ 5, and ζ 3 +ζ 4 are a basis of L H 1 over Q. Similarly the action of σ in this basis is c 1 ζ +c ζ +c 3 ζ 3 +c 4 ζ 4 +c 5 ζ 5 +c 6 ζ 6 σ 6 c 4 ζ +c 1 ζ +c 5 ζ 3 +c ζ 4 +c 6 ζ 5 +c 3 ζ 6, from which we see that ζ +ζ +ζ 4 and ζ 3 +ζ 5 +ζ 6 are a basis for L H over Q. (e) From complex analysis we have the identities cos(θ) = eiθ +e iθ and sin(θ) = e iθ e iθ. With θ = π, this gives i 7 and cos ( ) π e πi 7 +e πi 7 7 = = ζ +ζ 1 isin ( ( ) ) π e πi 7 e πi 7 7 = i = ζ ζ 1 i = ζ +ζ6. = ζ ζ6. Therefore Q(cos( π 7 )) = Q(ζ +ζ6 ) and Q(isin( π 7 )) = Q(ζ ζ6 ). 7

From the Galois correspondence in (d), Q(ζ + ζ 6 ) is the intermediate field corresponding to H 1 (a normal subgroup, since G is abelian), and hence the Galois group of Q(cos( π 7 ))/Q is G/H 1, the cyclic group of order 3. Which intermediate field is M = Q(isin( π)) = Q(ζ 7 ζ6 )? Perhaps the easiest way tosee, which alsowouldhaveworked forq(cos( π )), istoaskwhich subgroups 7 of L fix this field, and use the Galois correspondence. Since σ 6 (ζ ζ 6 ) = ζ 6 ζ = (ζ ζ 6 ), we see that M is not fixed by H 1. Since σ (ζ ζ 6 ) = ζ ζ 5 ζ ζ 6, we see that M is also not fixed by H. (And so M also cannot be fixed by G, which contains both.) Therefore, in the lattice of subgroups, the only subgroup left to fix M is {σ 1 }. The subgroup {σ 1 } corresponds to the field L, so Q ( sin( π)) = 7 L = Q(ζ). In the next two problems we will explore some further aspects of the Galois correspondence. 3. Recall that a group G is a product G = H 1 H if and only if there are normal subgroups H 1 G and H G such that H 1 H = {e} and H 1 H (the subgroup generated by H 1 and H ) is equal to G. Suppose that K L is a finite Galois extension, and M 1 and M are two intermediate fields such that: 1. Both K M 1 and K M are Galois extensions.. M 1 M = K. 3. The smallest subfield of L containing both M 1 and M is L itself. (a) If H 1 and H are the subgroups of G = Aut(L/K) corresponding to M 1 and M under the Galois correspondence, show that G = H 1 H. (b) Conversely, if the Galois group G is a product G = H 1 H, then show that there are two intermediate fields M 1 and M having properties (1) (3) above. (c) Consider again the extension Q(, 3)/Q and its intermediate fields Q( ) and Q( 3). Use (a) to find the Galois group Q(, 3)/Q. (This justifies the claim about this Galois group from H6 Q3.) 8

Solution. Let L/K be a Galois extension with Galois group G, M 1 and M intermediate fields corresponding to subgroups H 1 and H By the Galois correspondence, we have the following equivalencies : 1. M i /K is a Galois extension if and only if H i is a normal subgroup of K. min(m 1,M ) = M 1 M = K if and only if max(h 1,H ) = H 1,H = G 3. max(m 1,M ) = M 1,M = L if and only if min(h 1,H ) = H 1 H = {e} In items and 3 we have used the definitions of max and min in the lattices of intermediate fields and subgroups respectively. That is, in the lattice of subgroups, min(h 1,H ) = H 1 H and max(h 1,H ) = H 1,H, the subgroup generated by H 1 and H. In the lattice of intermediate fields we have min(m 1,M ) = M 1 M and max(m 1,M ) = M 1,M, i.e., the field generated by M 1 and M, or the smallest intermediate field containing M 1 and M. In and 3 the equivalencies follow since, being an order-reversing bijection of lattices, the Galois correspondence switches the max and min. (a) By the above equivalencies, the conditions stated are equivalent to the conditions that H 1 and H are normal subgroups of G, that H 1 H = {e}, and that H 1 and H generate G. In turn, this is equivalent to the statement that G = H 1 H. (b) On the other hand, if G = H 1 H then we have normal subgroups H 1 and H which generate G and such that H 1 H = {e}. By the equivalencies above, the corresponding intermediate fields M 1 and M satisfy M 1 M = K, L is the smallest subfield containing M 1 and M, and that both M 1 /K and M /K are Galois extensions. (c) Let L = Q(, 3), with intermediate fields M = Q( ), M 1 = Q( 3) over K = Q. The smallest field containing M 1 and M will have to contain, 3, and Q, and so contain Q(, 3). Conversely, Q(, 3) contains both M 1 and M, so L is the smallest field containing M 1 and M. Both M 1 /Q and M /Q are degree extensions, and hence Galois extensions (in characteristic ). Finally, we have checked several times that M 1 M = Q. For instance, if M 1 M Q, then M 1 M is a subfield of each of M 1 and M larger than Q, and so for degree reasons we would have to have M 1 = M 1 M = M. But we have shown in H1 Q3(c) that Q( ) Q( 3). Therefore, M 1 andm satisfytheconditionsabove. SettingH 1 = Gal(Q( 3)/Q) = Z/ZandH = Gal(Q( )/Q) = Z/Z, wethereforehavethatg = Gal(Q(, 3)/Q) = H 1 H. The composition H 1 G G/H is anisomorphism, andg/h = Gal(M /Q). Let σ 1 be the generator of Gal(M /Q) (so that σ 1 ( ) = ), also use the name 9

σ 1 for the corresponding element of H 1 under the isomorphism. Similarly, we let σ be the generator of H = G/H1 = Gal(M1 /Q) (so that σ ( 3) = 3). We then have that the elements of G are : e = (e 1,e ), τ 1 = (σ 1,e ), τ = (e 1,σ ), τ 1 τ = (σ 1,σ ), exactly as claimed in H6 Q3. Note that, since H 1 fixes M 1 and H fixes M, we also know that τ 1 ( 3) = 3 and τ ( ) =. 4. Suppose that L/K is a Galois extension with Galois group G, and let M 1 M be intermediate fields, corresponding to subgroups H 1 and H of G. (a) What condition on H 1 and H is equivalent to the condition that M /M 1 is a Galois extension? (b) Given that this condition on groups holds, what is Gal(M /M 1 ), i.e., how do you compute Gal(M /M 1 ) from H 1 and H? Solution. (a) SinceM 1 M wehaveh H 1 bethegaloiscorrespondence. Infact, restricting the intermediate fields to those intermediate fields containing M 1, we have that L/M 1 is a Galois extension with Galois group H 1, and the intermediate field M 1 M L corresponds to the subgroup H 1. By the Galois correspondence, M /M 1 is a Galois extension if and only if H is a normal subgroup of H 1. (b) If M /M 1 is a Galois extension (so that H is a normal subgroup of H 1 ), then by the Galois correspondence Gal(M /M 1 ) = H 1 /H. 10