Insolvability of the Quintic (Fraleigh Section 56 Last one in the book!)

Size: px
Start display at page:

Download "Insolvability of the Quintic (Fraleigh Section 56 Last one in the book!)"

Transcription

1 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 I want to show an example of a polynomial over Q that isn t solvable.] Definition (Radical Extensions): An extension K of a field F is an extension of F by radicals if there are elements α1,, αr K and positive integers n1,, n1, such that K = F(α1,, αr), α1 n1 F, and αi ni F(α1,, αi- 1) for all 1 < i r. A polynomial f(x) F[x] is solvable by radicals over F if the splitting field E of f(x) over F is contained in an extension by radicals. Example: Suppose α is the real (positive) fourth root of 2. Then Q(α, i) is a radical extension since α 4 = 2 is in Q and i 2 = - 1 is in Q Q(α). What s the point? Well, if a polynomial, f(x), is solvable by radicals then all the roots of f(x), can be expressed using a finite sequence of the operations of addition, subtraction, multiplication, division, and taking nith roots starting with elements of the original field F. I talked about this when I first introduced Galois Theory via an extended example. Here is a copy/paste of what I said then: ******************************************************************************************* Time Out: How Do Radical Extensions Relate To Things Like The Quadratic Equation? Recall that the whole point of this exercise is to figure out why there is no analogue to the quadratic equation for 5 th degree polynomials. So, let s try to figure out why radical extensions are connected to solvability by radicals. First, suppose that you have a 2 nd degree irreducible polynomial, f(x), over Q and its splitting field is Q(α) where α 2 is in Q. Let s say c = α 2. Then α = c. Now, we know that all the roots of f(x) are elements of the splitting field Q(α). So they can be expressed in the form a + bα where a, b Q. Substituting, we see that any root is of the form a + b a, b, c Q. This is exactly the form that the roots of a quadratic are expressed in in the quadratic equation. c where For a slightly more complex example, let s consider a 3 rd degree irreducible polynomial, f(x), over Q with splitting field Q(α, β ) where α 3 is in Q, and β 2 is in Q(α). [This is the kind of situation you would expect with an irreducible 3 rd degree polynomial you could extend using a real root first, and then factor out a linear piece and then extend using a root of the 2 nd degree factor.]

2 Anyhow, any root of this polynomial will look like aα 2 + bα + c + dα 2 β + eαβ + fβ, because the basis for Q(α, β ) is {1, α, α 2, β, αβ, α 2 β }. Now, if we let s = α 3, then we can substitute to get any root in the form a( 3 s ) b s + c + d( s ) 2 3 β + e s β + fβ. Now if we let lα mα + n = l( s ) m s + n = β 2 3, then β = l( s) 2 3 +m s +n, so, we can express any root in the form: 3 a( s ) b s + c + d( s ) 2 3 l( s) m s +n + e s l( s) 2 3 +m s +n + f 3 l( s) 2 3 +m s +n. As long as the splitting field for the polynomial lives inside a radical extension, we will always be able to do this kind of process. And if it does not live in side a radical extension, we will not be able to do this. ******************************************************************************************* Example (Some quintics are solvable): Consider the polynomial x 5 1 over Q. This polynomial has 5 roots; 1 and four complex roots, each of which is what is called a primitive fifth root of unity. [A primitive nth root of unity is just an nth root of 1 that is a generator for the multiplicative group of nth roots of 1.] One such root in this case is cos(2π 5) + isin(2π 5). If we let α = cos(2π 5) + isin(2π 5), then I claim that Q(α) is the splitting field for x 5 1 over Q. The polynomial clearly splits over this field since by closure, α 2 = cos(4π 5) + isin(4π 5), α 3 = cos(6π 5) + isin(6π 5), and α 4 = cos(8π 5) + isin(8π 5) are all in Q(α). We know this is the smallest field over which this polynomial splits because it is the smallest field containing Q and α. Note that it is a 4 th degree extension since α is a root of the irreducible polynomial x5 1 x 1 = x4 + x 3 + x 2 + x +1. (A basis for this extension is given by {1, α, α 2, α 3 }). The Plan: I will first show that a polynomial f(x) in F[x] is solvable by radicals over F only if its splitting field E over F has a solvable Galois group. [This result goes both directions, but we only need this direction.] Then I will show that there is a polynomial of degree 5 with coefficients in Q such that the Galois group is S5 (which we have already seen is not solvable). Lemma (56.3): Let F be a field of characteristic 0, and let a F. If K is the splitting field of x n a over F, then Gal(K/F) is a solvable group. Proof: Suppose first that F contains all the nth roots of unity. It is easy to show that the nth roots of unity form a cyclic subgroup (of the multiplicative group of F) generated by ζ = cos(2π n) + isin(2π n). The full list of nth roots of unity is: 1, ζ, ζ 2,, ζ n- 1.

3 Now, if β F is a root of x n a F[x], then the complete list of zeros is: β, βζ, βζ 2,, βζ n- 1. Note that all of this roots are in F(β). Since K = F(β), an automorphism σ in Gal(K/F) is determined by the value σ(β). Now, if σ(β) = βζ i and τ(β) = βζ j where τ is in Gal(K/F), then (τσ)(β) = τ(σ(β)) = τ(βζ i ) = τ(β)τ(ζ i ) = τ(β)ζ i = βζ j ζ i. Similarly (στ)(β) = βζ i ζ j. So, τσ = στ, and Gal(K/F) is abelian and therefore solvable. Now, suppose that F does not contain a primitive nth root of unity. Let ζ be a generator of the cyclic group of nth roots of unity under multiplication in F. Let β again be a zero of x n a. Since β and βζ are both in the splitting field K of x n a, ζ = (ζβ)/β is in K. Let F = F(ζ), so we have F < F K. Now, F = F(ζ) is the splitting field of the separable polynomial x n - 1, and hence is Galois over F. Thus we know the Fundamental Theorem of Galois Theory (Part 3&4), that Gal(K/F ) is a normal subgroup of Gal(K/F). This means that {i} Gal(K/F ) Gal(K/F) is a subnormal series of groups (actually normal). And since,, F = F(ζ) an automorphism η in Gal(F /F) is determined by η(ζ), and we must have = η(ζ) = ζ i since all the roots of x n - 1 are powers of ζ. If, µ(ζ) = ζ j for µ in Gal(F /F), then (µη)(ζ) = µ(η(ζ)) = µ(ζ i ) = ζ ij. And similarly (ηµ)(ζ) = ζ ji. Thus Gal(F /F) is abelian. We also know (by the first part of the proof) that since F contains all the nth roots of unity, Gal(K/ F ) is abelian. The Fundamental Theorem of Galois Theory (Part 4) that Gal(K/F)/Gal(K/F ) is isomorphic to Gal(F /F) which is abelian. Thus {i} Gal(K/F ) Gal(K/F) is a subnormal series of groups with the property that all of the quotient groups are abelian. I claim that 1) any finite group has a composition series, and 2) every refinement of a subnormal series with abelian quotient groups will also have abelian quotient groups. These two things together mean that Gal(K/F) is solvable. So, QED/(Sub- proofs 1&2). ******************************************************************************************* Sub- proof 1: Let G be a finite group. If it is simple then we are done because {e} G is a composition series. Let H1 be the largest proper normal subgroup of G (if there is a tie, just pick one). Now pick the largest proper normal subgroup H1 of H2 (if such a thing doesn t exist you can stop). Keep doing this until you hit a simple subgroup. Reverse the numbering on these guys so the series matches how subnormal series usually look.

4 I claim that { e} H 0 H 1... H n 1 H n = G is a composition series. Suppose that quotient group Hk/Hk- 1 is not simple. Let N be a non- trivial normal subgroup of Hk/Hk- 1. Then consider the pre- image H of N under the canonical map (h hhk- 1). We know that it is a subgroup of Hk. I claim it is normal Hk in as well. Suppose g is in Hk and n is in H, then we know that (ghk- 1)(nHk- 1) (ghk- 1) - 1 = (gn g - 1 )H is in N because nhk- 1 is in N and N is normal. Thus gng - 1 is in H. And hence H is normal. But H contains Hk- 1 (Hk- 1 is the pre- image of the identity of N under the canonical map). This is a contradiction because Hk- 1 was selected to be the largest normal subgroup of Hk. So, sure enough { e} H 0 H 1... H n 1 H n = G is a composition series. Sub- proof 2: Suppose that e quotient groups Hk/Hk- 1 are abelian. Let e and consider the quotient group Ki/Ki- 1. There are four cases: { } H 0 H 1... H n 1 H n = G is subnormal and all the { } K 0 K 1... K m 1 K m = G be a refinement Case 1: Both Ki and Ki- 1 are in {Hi}. Then by assumption Ki/Ki- 1 is abelian. Case 2: Only Ki is in {Hi}, say Ki = Hl. Then we have H l 1 K i 1 H l = K i. Then by the Third Isomorphism Theorem, Ki/Ki- 1 is isomorphic to (Hl/Hl- 1)/(Ki- 1/Hl- 1). But we know by assumption that Hl/Hl- 1 is abelian, thus any quotient group of it will also be abelian. Therefore, Ki/Ki- 1 is abelian. Case 3: Only Ki- 1 is in {Hi}, say Ki - 1 = Hl. Then we have H l = K i 1 K i H l+1. Note that Ki/Ki- 1 is as subgroup of the abelian group Hl+1/Ki - 1 = Hl+1/Hl so it is also abelian. Case 4: Neither Ki nor Ki- 1 are in {Hi}. Then choose the largest l such that H l K i 1 Then we must have H l K i 1 K i H l+1 (otherwise, Ki = Hl+1). In this case, since Hl is normal in Hl+1 it is normal in Ki. Thus by the Third Isomorphism Theorem, we have that Ki/Ki- 1 is isomorphic to (Ki/Hl)/(Ki- 1/Hl). But Ki/Hl is a subgroup of the abelian group Hl+1/Hl and so it is abelian. This means that any of its quotient groups are abelian. Therefore Ki/Ki- 1 is abelian. So, in all cases, we found that Ki/Ki- 1 is abelian. The end! ****************************************************************************************** This next theorem will finish the first part of our job, showing that a polynomial f(x) in F[x] is solvable by radicals over F only if its splitting field E over F has a solvable Galois group. Theorem (56.4). Let F be a field of characteristic zero, and let F E K F, where E is a normal extension of F (since we are working over characteristic zero, this just means it is the splitting field of an irreducible polynomial) and K is an extension of F by radicals. Then Gal(E/F) is a solvable group.

5 Proof: We first show that K is contained in a finite normal extension L of F by radicals and that the group G(L/F) is solvable. Since K is an extension by radicals, K= F(α1,, αr) where a i n i F(α1,, αi- 1) for all 1 < i r and α1 n1 F. To form L, we first form the splitting field L1 of f1(x) = x n 1 α n 1 1 over F. Then L1 is a normal extension of F, and Lemma 56.3 shows that Gal(L1 /F) is a solvable group. Now, n a 2 2 L1 and we form the polynomial f2(x) = (x n 2 σ (α 2 )n 2. σ Gal(L 1 /F ) Since this polynomial is invariant under action by any σ in Gal(L1 /F), we see that f2(x) is in F[x]. We let L2 be the splitting field of f2(x) over L1. Then L2 is the splitting field over F also and is a normal extension of F by radicals. We can form L2 from L1 via repeated steps as in Lemma 56.3, passing to splitting field of (x n 2 σ (α 2 )n 2 at each step. By Lemma 56.3, we see that the Galois group over F of each new extension thus formed continues to be solvable. We continue this process of forming splitting fields over F in this manner: At stage i, we form the splitting field of the polynomial fi(x) = (x n i σ (α i ) n i over L1. We finally obtain a field L = Lr that is a normal extension of σ Gal(L i 1 /F ) F by radicals and we see that G(L/F) is a solvable group. We see from construction that K L. To conclude, note that by the Fundamental Theorem of Galois Theory (Part 4), we have Gal(E/F) Gal(L/F)/Gal(L/E). Thus Gal(E/F) is a quotient group and hence a homomorphic image of Gal(L/F). In this case Exercises of Section 35 show that Gal(E/F) is solvable.

6 An Unsolvable Polynomial! In three easy steps I ll prove there is a polynomial of degree 5 in Q[x] that is not solvable by radicals over Q. Step 1: First I claim that if a subgroup H of S5 contains a cycle of length 5 and a transposition, then H = S5. Proof: Suppose that (abcde) is in H. Then so are (acebd), (adbec), and (aedcb). Suppose the transpositions is (ab), then we can conjugate by each 5 cycle to obtain: (abcde) (ab)(aedcb) = (bc) (acebd) (ab)(adbec) = (cd) (adbec) (ab)(acebd) = (de) (aedcb) (ab)(abcde) = (ae) Then (bc)(ab)(bc) = (ac), (bc)(cd)(bc) = (bd), (cd)(de)(cd) = (ce), (de)(ae) (de) = (ad), and (ce)(bc)(ce) = (be). This is all ten transpositions! And we know that any permutation can be written as a product of transpositions. Clearly this would have worked just as well if we had used any of the conjugates of (ab) we produced using the 5- cycles. So, let s check this with one of the transpositions we didn t generate this way. So, suppose that the transposition we have to start with is (ac). Again, I ll conjugate by my 5- cycles: (abcde) (ac)(aedcb) = (bd) (acebd) (ac)(adbec) = (ce) (adbec) (ac)(acebd) = (ad) (aedcb) (ac)(abcde) = (be) Then (bd)(ad)(bd) = (ab). And hey, we know that this one is good enough to get the rest! And since we can get (ac) from any of its conjugates, all of those will work as well. So, no matter what transposition we have we can generate all of S5. Done! Step 2: Show that if f(x) is an irreducible polynomial in Q[x] of degree 5 having exactly two complex and three real zeros in C, then the group of f(x) over Q is isomorphic to S5. Proof: If we extend first by adjoining one of the real zeros then we will get a 5 th degree extension that will not be a splitting field. The degree of the splitting field as an extension must then be a multiple of 5. This means that the order of the Galois group must be of order 5n for some n. [Also note that since the splitting field will only 5 roots, the Galois group can be identified with a subgroup of S5.] Then by the First Sylow theorem, the Galois group must contain an element of order 5 (which of course will correspond to a 5- cycle in S5

7 each element of the Galois group can be associated with a permutation of the roots). When we have adjoined all the real roots, we get an subfield, F, of the splitting field, over which we can factor f(x) into three linear factors and an irreducible quadratic factor (whose roots are the two complex roots). Then any automorphism of the splitting field that fixes F will have to send these two roots to each other and leave the rest alone. Thus we get a transposition in the Galois group. So, by the previous problem the Galois group of f(x) is isomorphic to S5. Step 3: I claim that the polynomial f(x) = 2x 5-5x has is irreducible and has exactly two complex and three real zeros. Proof: The polynomial is irreducible by Eisenstein with p=5. Let s do some calculus! f (x) = 10x 4-20x 3. Let s see where the derivative is zero: 10x 4-20x 3 = 10x 3 (x- 2). So, the derivative is zero at x = 0 and x = 2. Let s check the concavity at those points. f (x) = 40x 3-60x 2. So f (2) = >0 we can see (by the second derivative test) that we have a relative minimum at x = 2. And f(2) = = - 11 < 0. Let s try the first derivative test for x = 0. If we put in a small negative number into f (x) = 10x 4-20x 3 then we will for sure get a positive number. If we put in a small positive number, the negative part will overwhelm the positive part (the 4 th power of a really small number is way smaller than a 3 rd power of that number) so we ll get a negative first derivative. So by the first derivative test we have a relative max at x = 0. And f(0) = 5. We have no more relative extrema. This means that the function values are increasing from - to 0. This means we must have exactly one real root on the interval (-, 0). The function must then decrease from on the interval (0, 2) and cross the x- axis to get from y = 5 to y = So, there is exactly one real root on the interval (0, 2). Then the function must increase on the (2, ) starting from y = - 11, so there is on more real root on this interval. This gives us exactly three real roots total. The last two must of course be complex roots. Done! And here is a graph as a bonus:

Galois Theory Overview/Example Part 1: Extension Fields. Overview:

Galois Theory Overview/Example Part 1: Extension Fields. Overview: Galois Theory Overview/Example Part 1: Extension Fields I ll start by outlining very generally the way Galois theory works. Then, I will work through an example that will illustrate the Fundamental Theorem

More information

Galois Theory TCU Graduate Student Seminar George Gilbert October 2015

Galois 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 information

Overview: The short answer is no because there are 5 th degree polynomials whose Galois group is isomorphic to S5 which is not a solvable group.

Overview: The short answer is no because there are 5 th degree polynomials whose Galois group is isomorphic to S5 which is not a solvable group. Galois Theory Overview/Example Part 2: Galois Group and Fixed Fields I ll repeat the overview because it explains what I m doing with the example. Then I ll move on the second part of the example where

More information

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

The following results are from the review sheet for the midterm. A. Miller M542 Galois Theory Spring 2000 For the material on Galois theory we will be assuming that the fields all have characteristic zero. When we get to solvability by radicals we will assume that all

More information

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.

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

Lecture 6.6: The fundamental theorem of Galois theory

Lecture 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 information

Math 121 Homework 6 Solutions

Math 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 information

Galois Theory and the Insolvability of the Quintic Equation

Galois 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 information

ALGEBRA 11: Galois theory

ALGEBRA 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 information

Chapter 11: Galois theory

Chapter 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 information

Page Points Possible Points. Total 200

Page 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 information

arxiv: v1 [math.gr] 3 Feb 2019

arxiv: 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 information

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

ALGEBRA 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 information

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

but 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 information

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

MATH 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 information

RUDIMENTARY GALOIS THEORY

RUDIMENTARY 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 information

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition).

Selected 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 information

Galois theory (Part II)( ) Example Sheet 1

Galois 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 information

Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009

Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009 Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009 Directions: Solve 10 of the following problems. Mark which of the problems are to be graded. Without clear indication which problems are to be graded

More information

Extension fields II. Sergei Silvestrov. Spring term 2011, Lecture 13

Extension fields II. Sergei Silvestrov. Spring term 2011, Lecture 13 Extension fields II Sergei Silvestrov Spring term 2011, Lecture 13 Abstract Contents of the lecture. Algebraic extensions. Finite fields. Automorphisms of fields. The isomorphism extension theorem. Splitting

More information

Section VI.33. Finite Fields

Section VI.33. Finite Fields VI.33 Finite Fields 1 Section VI.33. Finite Fields Note. In this section, finite fields are completely classified. For every prime p and n N, there is exactly one (up to isomorphism) field of order p n,

More information

FIELD THEORY. Contents

FIELD 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 information

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

1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism 1 RINGS 1 1 Rings Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism (a) Given an element α R there is a unique homomorphism Φ : R[x] R which agrees with the map ϕ on constant polynomials

More information

Math 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 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 information

1 The Galois Group of a Quadratic

1 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 information

Field Theory Qual Review

Field 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 information

Math 121. Fundamental Theorem and an example

Math 121. Fundamental Theorem and an example Math 121. Fundamental Theorem and an example Let K/k be a finite Galois extension and G = Gal(K/k), so #G = [K : k] by the counting criterion for separability discussed in class. In this handout we will

More information

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

NOTES 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 information

SOLVING SOLVABLE QUINTICS. D. S. Dummit

SOLVING SOLVABLE QUINTICS. D. S. Dummit 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

More information

INTRODUCTION TO GALOIS THEORY. 1. Introduction and History. one of the most interesting and dramatic tales in the history of mathematics.

INTRODUCTION TO GALOIS THEORY. 1. Introduction and History. one of the most interesting and dramatic tales in the history of mathematics. INTRODUCTION TO GALOIS THEORY JASON PRESZLER 1. Introduction and History The life of Évariste Galois and the historical development of polynomial solvability is one of the most interesting and dramatic

More information

Part II Galois Theory

Part 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

22M: 121 Final Exam. Answer any three in this section. Each question is worth 10 points.

22M: 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 information

GALOIS THEORY: LECTURE 20

GALOIS THEORY: LECTURE 20 GALOIS THEORY: LECTURE 0 LEO GOLDMAKHER. REVIEW: THE FUNDAMENTAL LEMMA We begin today s lecture by recalling the Fundamental Lemma introduced at the end of Lecture 9. This will come up in several places

More information

Math 121 Homework 5 Solutions

Math 121 Homework 5 Solutions Math 2 Homework Solutions Problem 2, Section 4.. Let τ : C C be the complex conjugation, defined by τa + bi = a bi. Prove that τ is an automorphism of C. First Solution. Every element of C may be written

More information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information

School 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 information

THE ARTIN-SCHREIER THEOREM KEITH CONRAD

THE ARTIN-SCHREIER THEOREM KEITH CONRAD THE ARTIN-SCHREIER THEOREM KEITH CONRAD 1. Introduction The algebraic closure of R is C, which is a finite extension. Are there other fields which are not algebraically closed but have an algebraic closure

More information

List of topics for the preliminary exam in algebra

List of topics for the preliminary exam in algebra List of topics for the preliminary exam in algebra 1 Basic concepts 1. Binary relations. Reflexive, symmetric/antisymmetryc, and transitive relations. Order and equivalence relations. Equivalence classes.

More information

EXERCISE SHEET 1 WITH SOLUTIONS

EXERCISE SHEET 1 WITH SOLUTIONS EXERCISE SHEET 1 WITH SOLUTIONS (E8) Prove that, given a transitive action of G on Ω, there exists a subgroup H G such that the action of G on Ω is isomorphic to the action of G on H\G. You may need to

More information

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

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 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 information

GALOIS THEORY AT WORK: CONCRETE EXAMPLES

GALOIS 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 information

Math 581 Problem Set 7 Solutions

Math 581 Problem Set 7 Solutions Math 581 Problem Set 7 Solutions 1. Let f(x) Q[x] be a polynomial. A ring isomorphism φ : R R is called an automorphism. (a) Let φ : C C be a ring homomorphism so that φ(a) = a for all a Q. Prove that

More information

Algebra Qualifying Exam Solutions. Thomas Goller

Algebra 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 information

Algebra SEP Solutions

Algebra 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 information

Notes on Galois Theory

Notes on Galois Theory Notes on Galois Theory Math 431 04/28/2009 Radford We outline the foundations of Galois theory. Most proofs are well beyond the scope of the our course and are therefore omitted. The symbols and in the

More information

MAT 535 Problem Set 5 Solutions

MAT 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 information

Lecture Notes on Fields (Fall 1997)

Lecture Notes on Fields (Fall 1997) Lecture Notes on Fields (Fall 1997) By George F. Seelinger Last Revised: December 7, 2001 NOTE: All references here are either made to Hungerford or to Beachy/Blair (2nd Edition). The references to Hungerford

More information

Algebra Exam, Spring 2017

Algebra 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 information

Topics in Inverse Galois Theory

Topics in Inverse Galois Theory Topics in Inverse Galois Theory Andrew Johan Wills Thesis submitted to the Faculty of the Virginia Polytechnic Institute and State University in partial fulfillment of the requirements for the degree of

More information

QUALIFYING EXAM IN ALGEBRA August 2011

QUALIFYING EXAM IN ALGEBRA August 2011 QUALIFYING EXAM IN ALGEBRA August 2011 1. There are 18 problems on the exam. Work and turn in 10 problems, in the following categories. I. Linear Algebra 1 problem II. Group Theory 3 problems III. Ring

More information

Math 210B: Algebra, Homework 6

Math 210B: Algebra, Homework 6 Math 210B: Algebra, Homework 6 Ian Coley February 19, 2014 Problem 1. Let K/F be a field extension, α, β K. Show that if [F α) : F ] and [F β) : F ] are relatively prime, then [F α, β) : F ] = [F α) :

More information

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

Galois Theory. This material is review from Linear Algebra but we include it for completeness. Galois Theory Galois Theory has its origins in the study of polynomial equations and their solutions. What is has revealed is a deep connection between the theory of fields and that of groups. We first

More information

A PROOF OF BURNSIDE S p a q b THEOREM

A PROOF OF BURNSIDE S p a q b THEOREM A PROOF OF BURNSIDE S p a q b THEOREM OBOB Abstract. We prove that if p and q are prime, then any group of order p a q b is solvable. Throughout this note, denote by A the set of algebraic numbers. We

More information

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

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 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 information

Galois Theory, summary

Galois 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 information

ALGEBRA QUALIFYING EXAM SPRING 2012

ALGEBRA 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 information

Fundamental Theorem of Galois Theory. The Theorem (Dummit & Foote Version):

Fundamental Theorem of Galois Theory. The Theorem (Dummit & Foote Version): Fundamental Theorem of Galois Theory Introduction: Previously we worked through an example illustrating many of the components of Galois Theory including the Fundamental Theorem. Here I will state and

More information

Contradiction. Theorem 1.9. (Artin) Let G be a finite group of automorphisms of E and F = E G the fixed field of G. Then [E : F ] G.

Contradiction. Theorem 1.9. (Artin) Let G be a finite group of automorphisms of E and F = E G the fixed field of G. Then [E : F ] G. 1. Galois Theory 1.1. A homomorphism of fields F F is simply a homomorphism of rings. Such a homomorphism is always injective, because its kernel is a proper ideal (it doesnt contain 1), which must therefore

More information

3 Galois Theory. 3.1 Definitions and Examples

3 Galois Theory. 3.1 Definitions and Examples 3 Galois Theory 3.1 Definitions and Examples This section of notes roughly follows Section 14.1 in Dummit and Foote. Let F be a field and let f (x) 2 F[x]. In the previous chapter, we proved that there

More information

1. Group Theory Permutations.

1. 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 information

1 Spring 2002 Galois Theory

1 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 information

MATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions

MATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions MATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions Basic Questions 1. Give an example of a prime ideal which is not maximal. In the ring Z Z, the ideal {(0,

More information

Galois Theory and Some Applications

Galois 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

M3P11/M4P11/M5P11. Galois Theory

M3P11/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 information

1 Finite abelian groups

1 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 information

GALOIS THEORY AT WORK

GALOIS 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 information

Course 311: Abstract Algebra Academic year

Course 311: Abstract Algebra Academic year Course 311: Abstract Algebra Academic year 2007-08 D. R. Wilkins Copyright c David R. Wilkins 1997 2007 Contents 3 Introduction to Galois Theory 41 3.1 Field Extensions and the Tower Law..............

More information

IUPUI Qualifying Exam Abstract Algebra

IUPUI 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 information

Section 33 Finite fields

Section 33 Finite fields Section 33 Finite fields Instructor: Yifan Yang Spring 2007 Review Corollary (23.6) Let G be a finite subgroup of the multiplicative group of nonzero elements in a field F, then G is cyclic. Theorem (27.19)

More information

ON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction

ON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction ON GALOIS GROUPS OF ABELIAN ETENSIONS OVER MAIMAL CYCLOTOMIC FIELDS Mamoru Asada Introduction Let k 0 be a finite algebraic number field in a fixed algebraic closure Ω and ζ n denote a primitive n-th root

More information

Solutions of exercise sheet 8

Solutions of exercise sheet 8 D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 8 1. In this exercise, we will give a characterization for solvable groups using commutator subgroups. See last semester s (Algebra

More information

CSIR - Algebra Problems

CSIR - 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 information

Notes on graduate algebra. Robert Harron

Notes on graduate algebra. Robert Harron Notes on graduate algebra Robert Harron Department of Mathematics, Keller Hall, University of Hawai i at Mānoa, Honolulu, HI 96822, USA E-mail address: rharron@math.hawaii.edu Abstract. Graduate algebra

More information

Graduate Preliminary Examination

Graduate 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 information

p-adic fields Chapter 7

p-adic fields Chapter 7 Chapter 7 p-adic fields In this chapter, we study completions of number fields, and their ramification (in particular in the Galois case). We then look at extensions of the p-adic numbers Q p and classify

More information

Exercises on chapter 1

Exercises on chapter 1 Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G

More information

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

φ(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 information

NOVEMBER 22, 2006 K 2

NOVEMBER 22, 2006 K 2 MATH 37 THE FIELD Q(, 3, i) AND 4TH ROOTS OF UNITY NOVEMBER, 006 This note is about the subject of problems 5-8 in 1., the field E = Q(, 3, i). We will see that it is the same as the field Q(ζ) where (1)

More information

Section V.6. Separability

Section V.6. Separability V.6. Separability 1 Section V.6. Separability Note. Recall that in Definition V.3.10, an extension field F is a separable extension of K if every element of F is algebraic over K and every root of the

More information

Ohio 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 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 information

Solutions of exercise sheet 6

Solutions 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 information

GALOIS THEORY I (Supplement to Chapter 4)

GALOIS THEORY I (Supplement to Chapter 4) GALOIS THEORY I (Supplement to Chapter 4) 1 Automorphisms of Fields Lemma 1 Let F be a eld. The set of automorphisms of F; Aut (F ) ; forms a group (under composition of functions). De nition 2 Let F be

More information

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

Fields and Galois Theory. Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory. Fields and Galois Theory Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory. This should be a reasonably logical ordering, so that a result here should

More information

Èvariste Galois and the resolution of equations by radicals

È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 information

Algebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.

More information

AN INTRODUCTION TO GALOIS THEORY

AN 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 information

Homework 4 Algebra. Joshua Ruiter. February 21, 2018

Homework 4 Algebra. Joshua Ruiter. February 21, 2018 Homework 4 Algebra Joshua Ruiter February 21, 2018 Chapter V Proposition 0.1 (Exercise 20a). Let F L be a field extension and let x L be transcendental over F. Let K F be an intermediate field satisfying

More information

Section X.55. Cyclotomic Extensions

Section X.55. Cyclotomic Extensions X.55 Cyclotomic Extensions 1 Section X.55. Cyclotomic Extensions Note. In this section we return to a consideration of roots of unity and consider again the cyclic group of roots of unity as encountered

More information

Department of Mathematics, University of California, Berkeley

Department 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 information

Section V.7. Cyclic Extensions

Section V.7. Cyclic Extensions V.7. Cyclic Extensions 1 Section V.7. Cyclic Extensions Note. In the last three sections of this chapter we consider specific types of Galois groups of Galois extensions and then study the properties of

More information

Algebra Qualifying Exam, Fall 2018

Algebra 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 information

Profinite Groups. Hendrik Lenstra. 1. Introduction

Profinite Groups. Hendrik Lenstra. 1. Introduction Profinite Groups Hendrik Lenstra 1. Introduction We begin informally with a motivation, relating profinite groups to the p-adic numbers. Let p be a prime number, and let Z p denote the ring of p-adic integers,

More information

18. Cyclotomic polynomials II

18. 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 information

THE P-ADIC NUMBERS AND FINITE FIELD EXTENSIONS OF Q p

THE P-ADIC NUMBERS AND FINITE FIELD EXTENSIONS OF Q p THE P-ADIC NUMBERS AND FINITE FIELD EXTENSIONS OF Q p EVAN TURNER Abstract. This paper will focus on the p-adic numbers and their properties. First, we will examine the p-adic norm and look at some of

More information

(January 14, 2009) q n 1 q d 1. D = q n = q + d

(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 information

Galois theory and the Abel-Ruffini theorem

Galois theory and the Abel-Ruffini theorem Galois theory and the Abel-Ruffini theorem Bas Edixhoven November 4, 2013, Yogyakarta, UGM A lecture of two times 45 minutes. Audience: bachelor, master and PhD students, plus maybe some lecturers. This

More information

Math 256 (11) - Midterm Test 2

Math 256 (11) - Midterm Test 2 Name: Id #: Math 56 (11) - Midterm Test Spring Quarter 016 Friday May 13, 016-08:30 am to 09:0 am Instructions: Prob. Points Score possible 1 10 3 18 TOTAL 50 Read each problem carefully. Write legibly.

More information

Lemma 1.1. The field K embeds as a subfield of Q(ζ D ).

Lemma 1.1. The field K embeds as a subfield of Q(ζ D ). Math 248A. Quadratic characters associated to quadratic fields The aim of this handout is to describe the quadratic Dirichlet character naturally associated to a quadratic field, and to express it in terms

More information

CONSTRUCTIBLE NUMBERS AND GALOIS THEORY

CONSTRUCTIBLE 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 information

COMPUTING GALOIS GROUPS WITH GENERIC RESOLVENT POLYNOMIALS

COMPUTING 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 information

Section 6: Field and Galois theory

Section 6: Field and Galois theory Section 6: Field and Galois theory Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Modern Algebra M. Macauley (Clemson) Section

More information