Insolvability of the Quintic (Fraleigh Section 56 Last one in the book!)
|
|
- Kelly Harrell
- 5 years ago
- Views:
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 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 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 informationOverview: 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 informationThe 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 informationAlgebra 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 informationExtension 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 informationSection 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 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 information1 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 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 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 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. 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 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 informationSOLVING 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 informationINTRODUCTION 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 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 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 informationGALOIS 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 informationMath 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 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 informationTHE 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 informationList 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 informationEXERCISE 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 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 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 informationMath 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 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 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 informationNotes 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 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 informationLecture 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 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 informationTopics 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 informationQUALIFYING 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 informationMath 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 informationGalois 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 informationA 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 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 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 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 informationFundamental 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 informationContradiction. 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 information3 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 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 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 informationMATH 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 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 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 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 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 informationCourse 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 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 informationSection 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 informationON 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 informationSolutions 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 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 informationNotes 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 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 informationp-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 informationExercises 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)
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 informationNOVEMBER 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 informationSection 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 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 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 informationGALOIS 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 informationFields 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 A Math Club Event Department of Mathematical Sciences Florida Atlantic University Boca Raton, FL 33431 November 9, 2012 Outline 1 The Problem
More informationAlgebra 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 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 informationHomework 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 informationSection 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 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 informationSection 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 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 informationProfinite 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 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 informationTHE 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) [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 informationGalois 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 informationMath 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 informationLemma 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 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 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 informationSection 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