Solutions for Problem Set 6


 Noah Howard
 3 years ago
 Views:
Transcription
1 Solutions for Problem Set 6 A: Find all subfields of Q(ζ 8 ). SOLUTION. All subfields of K must automatically contain Q. Thus, this problem concerns the intermediate fields for the extension K/Q. In a previous problem set, it was proved that [K : Q] = 4 and that K = Q( 2, i). As discussed in class, it follows thsat every element in Gal(K/Q) has order 1 or 2. Therefore, we can say that Gal(K/Q) = Z/2Z Z/2Z. There are three elements of order 2 and therefore three subgroups of order 2. Those subgroups have index 2 in Gal(K/Q) By the Fundamental Theorem of Galois Theory, it follows that K contains exactly three subfields L such that [L : Q] = 2. The three subfields L 1 = Q( 2), L 2 = Q(i), L 3 = Q( 2i) = Q( 2) are distinct. We see this by using the simple criterion discussed in class, noting that 2 ( 1) = 2, 2 ( 2) = 4, ( 1) ( 2) = 2 are not perfect squares. Hence those three fields must be all of the subfields of K which have degree 2 over Q. In addition, Gal(K/Q) obviously has exactly one subgroup of order 1 and exactly one subgroup of order 4. The corresponding subfields of K are K itself and Q. B: Let K be the splitting field over Q for f(x) = x 4 2. We know that K = Q( 4 2, i) and that [K : Q] = 8. Determine all subfields F of K such that [F : Q] = 4. In addition, determine which of those subfields F is a Galois extension of Q. SOLUTION. As discussed in class, we know that K/Q is a Galois extension and that G = Gal(K/Q) = D 4, the dihedral group of order 8. Now the dihedral group has four rotations, one of which has order 2. The dihedral group has four reflections, all of which have order 2. Thus, the dihedral group has five elements of order 2 and hence five subgroups of order 2. The same will be true for Gal(K/Q) since an isomorphism of groups will preserve the number of elements of any given order. The index of a subgroup of order 2 is 4. The corresponding intermediate fields will be the intermediate fields which have degree 4 over Q. Every subfield of K automatically contains Q and will be an intermediate field. These remarks show that the number of intermediate fields F for the extension K/Q is five. Exactly one of the subgroups of G of order 2 will be a normal subgroup, namely the subgroup generated by the rotation of order 2. One can check easily that the each
2 reflection is conjugate to another distinct reflection. The correspond subgroups cannot be normal subgroups. And so the Fundamental Theorem of Galois Theory predicts that there are five intermediate fields for K/Q which have degree 4 over Q and exactly one of those intermediate fields will be a Galois extension of Q. The four roots of x 4 2 in C are: θ 1 = 4 2, θ 2 = i 4 2, θ 3 = 4 2, θ 4 = i We can regard these four roots as the vertices of a square in the complex plane C. The polynomial x 4 2 is irreducible over Q and is the minimal polynomial over Q for each of the four roots. As discussed in class, we can identify Gal(K/Q) with a subgroup of S 4 of order 8, namely the dihedral subgroup which permutes the vertices of the above square. It will be convenient to denote the elements of Gal(K/Q) by the corresponding permutation of the vertices. Note that if H is any subgroup of G of order 2, then the fixed field F = K H has degree 4 over Q. If we can find an element β F such that [Q(β) : Q] = 4, then it follows that F = Q(β). We will use that observation below. Let F 1 = Q(θ 1 ) and F 2 = Q(θ 2 ). We know that those fields have degree 4 over Q. Those fields are the fixed fields for the subgroups H 1 generated by the reflection (2 4) and H 2 generated by the reflection (1 3), respectively. We are using the observation in the previous paragraph. Now consider α = θ 1 + θ 2 K. That element is fixed by the subgroup H 3 of G generated by the reflection (1 2)(3 4). We have α = θ 1 + θ 2 = (1 + i) 4 2 and α 4 = 2(1 + i) 4 = 8 and (2/α) 4 = 2. Let F 3 = Q(α). We have F 3 K H 3. Let β = 2/α. Notice that F 3 = Q(β) and that β is a root of x The Eisenstein Criterion for p = 2 implies that x is irreducible over Q and hence is the minimal polynomial for β over Q. Thus [F 3 : Q] = 4 and therefore F 3 must be the fixed field for the subgroup H 3 of G. Let H 4 be the subgroup generated by the remaining reflection (1 4)(2 3). Consider the element γ = θ 1 + θ 4 of K. This element is fixed by H 4. Let F 4 = Q(γ). We have F 4 K H 4. Now γ = θ 1 + θ 4 = (1 i) 4 2 and γ 4 = 2(1 i) 4 = 8 and (2/γ) 4 = 2. Just as for F 3, it follows that F 4 = Q(γ) = Q(δ), where δ = 2/γ is a root of x As above, [F 4 : Q] = 4 and it follows that F 4 = K H 4.
3 The four fields F 1, F 2, F 3, and F 4 are distinct because the subgroups H 1, H 2, H 3, and H 4 are distinct. None of those subgroups of G is a normal subgroup and hence none of those fields are Galois extensions of Q. It remains to find the one intermediate field of degree 4 over Q which is Galois over Q. Notice that K contains 2 and i. Hence K contains F 5 = Q(i, 2). Actually, this field is Q(ζ 8 ). We easily verify that [F 5 : Q] = 4. It is also clear that F 5 is Galois over Q because it is the splitting field over Q for (x 2 2)(x 2 + 1) (or alternatively for x 8 1). Thus, F 5 is the unique intermediate field for K/Q which has degree 4 over Q and is Galois over Q. C: Suppose that r Q. Let β = cos(rπ). Prove that β is algebraic over Q. Let K = Q(β). Prove that Q(β) is a Galois extension of Q and that Gal(K/Q) is an abelian group. SOLUTION: Let n be the denominator of that rational number r/2. Then r = 2k/n, where k is an integer. Let ω = cos(2π/n) + sin(2π/n)i. Thus, ω is a root of the polynomial x n 1. Therefore, Q(ω) is a finite extension of Q. Let M = Q(ω). In fact, M contains all of the roots of x n 1 and hence M is the splitting field over Q for x n 1. Thus, M is a finite, Galois extension of Q. Note that M contains ω k + ω k = ( cos(2kπ/n) + sin(2kπ/n)i ) + ( cos(2kπ/n) sin(2kπ/n)i ) and therefore β M. = 2cos(2kπ/n) = 2cos(rπ) = 2β Since M is a finite extension of Q and β M, it follows that β is algebraic over Q. We are using proposition 1 on the handout about Field Extensions and their Degrees. Thus, Q K M. Recall that Gal(M/Q) is abelian (as proven in class for Gal(Q(ζ n )/Q) for any positive integer n). It follows that every subgroup of Gal(M/Q) is a normal subgroup. In particular, Gal(M/K) is a normal subgroup of Gal(M/Q). This implies that K is a Galois extension of Q. Furthermore, we have Gal(K/Q) = Gal(M/Q) / Gal(M/K). Since Gal(M/Q) is an abelian group, the quotient group Gal(M/Q) / Gal(M/K) must also be abelian. Hence Gal(K/Q) is indeed an abelian group. D: Let K = Q(ω), where ω = cos( 2π 2π ) + sin( )i. Prove that K contains a unique subfield L such that [L : Q] = 8. Prove that L is a Galois extension of Q. Find an element β L such that L = Q(β).
4 SOLUTION. Note that 17 is a prime. We proved in class that there is a group isomorphism χ 17 : Gal(K/Q) ( Z/17Z ). However, one can check easily that ( Z/17Z ) is a cyclic group of order 16. (To see this, one can verify that Z is an element of ( Z/17Z ) of order 16.) A cyclic group of order 16 will have a unique subgroup H of order 2. Thus, Gal(K/Q) has a unique subgroup of order 2 and therefore a unique subgroup of index 8. Thus, there will be a unique intermediate field L for K/Q such that [L : Q] = 8. As proven in class, any subfield of K contains Q and hence is an intermediate field for the extension K/Q. Note that Gal(K/Q) is a cyclic group of order 16 and hence is abelian. Therefore, every subgroup of Gal(K/Q) is a normal subgroup. In particular, Gal(K/L) is a normal subgroup of Gal(K/Q). As proven in class, it follows that L/Q is indeed a Galois extension. Finally, consider β = ω + ω 1 = 2cos(2π/17). Then β K. Let M = Q(β). Thus, M is a subfield of K. Also, β R and hence M R. Since K R, we have M K. Hence [K : M] 2. Now ω is a root of the following polynomial f(x) = (x ω)(x ω 1 ) = x 2 (ω + ω 1 )x + ωω 1 = x 2 βx + 1 Note that f(x) M[x] and that K = M(ω). It follows that [K : M] 2. Since we also have [K : M] 2, it follows that [K : M] = 2. Therefore, M is a subfield of K and [M : Q] = [K : Q] / [K : M] = 16/2 = 8. Since L is the unique subfield of K which has degree 8 over Q, we must have M = L. Thus, we have L = Q(β) = Q ( cos(2π/17) ). E: Prove the existence of a Galois extension K of Q such that Gal(K/Q) = Z/14Z. SOLUTION. Consider the splitting field M for x p 1 over Q, where p is a prime. As shown in class, we have group isomorphism χ : Gal(M/Q) (Z/pZ). Let p = 29. The group (Z/29Z) is a cyclic group of order 28. It is generated by Z. To verify this, it suffices to show that (mod 29) and (mod 29), which we
5 leave to the reader. It then follows that the order of Z divides 28, but does not divide 4 or 14. The order of Z must then be 28. Let G = Gal(M/Q). As explained above, G is a cyclic group of order 28. If H is the unique subgroup of G of order 2, then G/H is a cyclic group of order 14 and hence is isomorphic to Z/14Z. Thus, if K = M H, then we have Gal(K/Q) = G/H and hence Gal(K/Q) is isomorphic to Z/14Z. F: Prove that 2 Q( 3, 5). Let K = Q( 2, 3, 5). Prove that K is a Galois extension of Q, that [K : Q] = 8, and that Gal(K/Q) = Z/2Z Z/2Z Z/2Z. SOLUTION. Let F = Q( 3, 5). We know from previous homework problems that [F : Q] = 4 and that Gal(F/Q) = Z/2Z Z/2Z. Thus, Gal(F/Q) has exactly three elements of order 2 and hence exactly three subgroups of order 2. Those subgroups are the subgroups of Gal(F/Q) which have index 2. Therefore, by the Fundamental Theorem of Galois Theory, there must be exactly three intermediate fields for the extension F/Q which have degree 2 over Q. It is easy to find them because F contains 3, 5, and 15. The three fields in question are Q( 3), Q( 5), Q( 15). Those fields are distinct because 3 5, 3 15, and 5 15 are not perfect squares. We are using a criterion discussed in class. We can now prove that 2 F. Assume to the contrary that 2 F. Then F contains Q( 2). Thus, Q( 2) must be one of the above three fields. Using the same criterion discussed in class, we see that this is not so. The reason is that none of the following numbers are perfect squares: 2 3, 2 5, Now K = F ( 2). The polynomial x 2 2 is irreducible over F because it has degree 2 and none of its roots are in F, as shown above. Thus, the minimal polynomial for 2 over F must be x 2 2. Hence [F ( 2) : F ] = 2. Therefore, [K : Q] = [K : F ][F : Q] = 2 4 = 8. Furthermore, K/Q is a Galois extension since K is the splitting field over Q for the polynomial (x 2 2)(x 2 3)(x 2 5). Also, as explained in class, Gal(K/Q) has exponent 2. That group has order 8. It follows from group theory that Gal(K/Q) = Z/2Z Z/2Z Z/2Z
6 as stated. G. Suppose that K is a finite Galois extension of Q and that Gal(K/Q) = S 3. Prove that there exists a polynomial g(x) Q[x] such that g(x) has degree 3 and K is the splitting field for g(x) over Q. SOLUTION: Let G = Gal(K/Q). The group S 3 has three subgroups of order 2. None of those subgroups is a normal subgroup of S 3. Since G = S 3, the same statements are true about G. Let H be one of the subgroups of G of order 2. Then H is not a normal subgroup of G. Let L = K H. Then [K : L] = H = 2 and [L : Q] = [G : H] = 3. Thus L is a finite extension of Q of degree 3. Furthermore, since H is not a normal subgroup of G, L cannot be a Galois extension of Q. By the Primitive Element Theorem, L = Q(θ) for some θ L. (Actually, we can take θ to be any element of L which is not in Q because [L : Q] is a prime.) Let g(x) be the minimal polynomial for θ over Q. Then g(x) Q[x] and deg ( g(x) ) = [L : Q] = 3. Furthermore, as proved in class, all three roots θ 1, θ 2 and θ 3 of g(x) in C are in the field K. We can assume that θ 1 = θ. Let M = Q(θ 1, θ 2, θ 3 ). Then M is the splitting field over Q for g(x). Note that L M K and that M/Q is a finite Galois extension. Hence L M. But 2 = [K : L] = [K : M][M : L] is a prime and [M : L] > 1. It follows that [M : L] = 2 and that K = M. Therefore K is the splitting field over Q for the polynomial g(x). H: Suppose that E and F are finite extensions of Q and that E F = Q. By the Primitive Element Theorem, we know that E = Q(α) and F = Q(β) for certain elements α E and β F. Let K = Q(α, β). TRUE OR FALSE: [K : Q] = [E : Q][F : Q]. If true, give a proof. If false, give a counterexample. SOLUTION: The statement is false. We will give a counterexample. Let α and β be two distinct roots in C of the polynomial x 3 2. Let E = Q(α) and F = Q(β). We have discussed these fields early in this course. We know that α and β both have x 3 2 as their minimal polynomial over Q. Thus, [E : Q] = [F : Q] = 3. Furthermore, we verified in class that E F. Let L = E F. Then L is a subfield of E and hence [L : Q] must divide [E : Q] = 3. However, we cannot have [L : Q] = 3. To see this, note that if [L : Q] = 3,
7 then we must have L = E. It would then follow that E F. Since [E : Q] = [F : Q] = 3, it would follow that E = F. As mentioned above, this is not so. Therefore, we have shown that [L : Q] divides 3 and [L : Q] 3. Therefore, [L : Q] = 1 and hence L = Q. We have shown that E F = Q. Let K be the splitting field for x 3 2 over Q. In fact, K = Q(α, β). This is clear because if γ is the third root of x 3 2 in C, then (α + β + γ) is the the coefficient of x 2 in the polynomial x 3 2 and hence is in Q. (Of course, that coefficient is actually 0 in this example.). Hence γ Q(α, β). Observe that [K : Q] = 6 and [E : Q][F : Q] = 3 3 = 9 6 and so we have a counterexample to the statement in the problem.
Solutions for Field Theory Problem Set 5
Solutions for Field Theory Problem Set 5 A. Let β = 2 + 2 2 2 i. Let K = Q(β). Find all subfields of K. Justify your answer carefully. SOLUTION. All subfields of K must automatically contain Q. Thus, this
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 informationPractice Algebra Qualifying Exam Solutions
Practice Algebra Qualifying Exam Solutions 1. Let A be an n n matrix with complex coefficients. Define tr A to be the sum of the diagonal elements. Show that tr A is invariant under conjugation, i.e.,
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 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 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 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 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 informationTHE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM  SPRING SESSION ADVANCED ALGEBRA II.
THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM  SPRING SESSION 2006 110.402  ADVANCED ALGEBRA II. Examiner: Professor C. Consani Duration: 3 HOURS (9am12:00pm), May 15, 2006. No
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 information1. a) Let ω = e 2πi/p with p an odd prime. Use that disc(ω p ) = ( 1) p 1
Number Theory Mat 6617 Homework Due October 15, 018 To get full credit solve of the following 7 problems (you are welcome to attempt them all) The answers may be submitted in English or French 1 a) Let
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 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 informationSolutions for Field Theory Problem Set 1
Solutions for Field Theory Problem Set 1 FROM THE TEXT: Page 355, 2a. ThefieldisK = Q( 3, 6). NotethatK containsqand 3and 6 3 1 = 2. Thus, K contains the field Q( 2, 3). In fact, those two fields are the
More informationMath 581 Problem Set 5 Solutions
Math 581 Problem Set 5 Solutions 1. Show that the set { 2, 2 + i, 3 i} is linearly independent over Q. Proof: Suppose there exists a 0, a 1, and a 2 in Q so that a 0 2 + a1 ( 2 + i) + a 2 ( 3 i) = 0. Then
More informationGraduate Preliminary Examination
Graduate Preliminary Examination Algebra II 18.2.2005: 3 hours Problem 1. Prove or give a counterexample to the following statement: If M/L and L/K are algebraic extensions of fields, then M/K is algebraic.
More informationField Theory Problems
Field Theory Problems I. Degrees, etc. 1. Answer the following: (a Find u R such that Q(u = Q( 2, 3 5. (b Describe how you would find all w Q( 2, 3 5 such that Q(w = Q( 2, 3 5. 2. If a, b K are algebraic
More informationGALOIS THEORY. Contents
GALOIS THEORY MARIUS VAN DER PUT & JAAP TOP Contents 1. Basic definitions 1 1.1. Exercises 2 2. Solving polynomial equations 2 2.1. Exercises 4 3. Galois extensions and examples 4 3.1. Exercises. 6 4.
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 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 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 informationThe Kummer Pairing. Alexander J. Barrios Purdue University. 12 September 2013
The Kummer Pairing Alexander J. Barrios Purdue University 12 September 2013 Preliminaries Theorem 1 (Artin. Let ψ 1, ψ 2,..., ψ n be distinct group homomorphisms from a group G into K, where K is a field.
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 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 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 informationSolutions of exercise sheet 6
DMATH 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 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 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 nonnormal subgroup
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 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 informationPh.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018
Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018 Do 6 problems with at least 2 in each section. Group theory problems: (1) Suppose G is a group. The
More 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 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 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 informationKeywords and phrases: Fundamental theorem of algebra, constructible
Lecture 16 : Applications and Illustrations of the FTGT Objectives (1) Fundamental theorem of algebra via FTGT. (2) Gauss criterion for constructible regular polygons. (3) Symmetric rational functions.
More informationModern Algebra 2: Midterm 2
Modern Algebra 2: Midterm 2 April 3, 2014 Name: Write your answers in the space provided. Continue on the back for more space. The last three pages are left blank for scratch work. You may detach them.
More informationA SIMPLE PROOF OF KRONECKERWEBER THEOREM. 1. Introduction. The main theorem that we are going to prove in this paper is the following: Q ab = Q(ζ n )
A SIMPLE PROOF OF KRONECKERWEBER THEOREM NIZAMEDDIN H. ORDULU 1. Introduction The main theorem that we are going to prove in this paper is the following: Theorem 1.1. KroneckerWeber Theorem Let K/Q be
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 informationQuasireducible Polynomials
Quasireducible Polynomials Jacques Willekens 06Dec2008 Abstract In this article, we investigate polynomials that are irreducible over Q, but are reducible modulo any prime number. 1 Introduction Let
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. Preliminary Exam
RETURN THIS COVER SHEET WITH YOUR EXAM AND SOLUTIONS! Algebra Ph.D. Preliminary Exam August 18, 2008 INSTRUCTIONS: 1. Answer each question on a separate page. Turn in a page for each problem even if you
More informationAlgebra Questions. May 13, Groups 1. 2 Classification of Finite Groups 4. 3 Fields and Galois Theory 5. 4 Normal Forms 9
Algebra Questions May 13, 2013 Contents 1 Groups 1 2 Classification of Finite Groups 4 3 Fields and Galois Theory 5 4 Normal Forms 9 5 Matrices and Linear Algebra 10 6 Rings 11 7 Modules 13 8 Representation
More 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 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 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 informationCSIR  Algebra Problems
CSIR  Algebra Problems N. Annamalai DST  INSPIRE Fellow (SRF) Department of Mathematics Bharathidasan University Tiruchirappalli 620024 Email: algebra.annamalai@gmail.com Website: https://annamalaimaths.wordpress.com
More informationGALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2)
GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2) KEITH CONRAD We will describe a procedure for figuring out the Galois groups of separable irreducible polynomials in degrees 3 and 4 over
More informationHomework problems from Chapters IVVI: answers and solutions
Homework problems from Chapters IVVI: answers and solutions IV.21.1. In this problem we have to describe the field F of quotients of the domain D. Note that by definition, F is the set of equivalence
More informationMath 121 Homework 2 Solutions
Math 121 Homework 2 Solutions Problem 13.2 #16. Let K/F be an algebraic extension and let R be a ring contained in K that contains F. Prove that R is a subfield of K containing F. We will give two proofs.
More informationName: Solutions Final Exam
Instructions. Answer each of the questions on your own paper, and be sure to show your work so that partial credit can be adequately assessed. Put your name on each page of your paper. 1. [10 Points] For
More informationGalois theory of fields
1 Galois theory of fields This first chapter is both a concise introduction to Galois theory and a warmup for the more advanced theories to follow. We begin with a brisk but reasonably complete account
More information9. Finite fields. 1. Uniqueness
9. Finite fields 9.1 Uniqueness 9.2 Frobenius automorphisms 9.3 Counting irreducibles 1. Uniqueness Among other things, the following result justifies speaking of the field with p n elements (for prime
More informationSIMPLE RADICAL EXTENSIONS
SIMPLE RADICAL EXTENSIONS KEITH CONRAD 1. Introduction A field extension L/K is called simple radical if L = K(α) where α n = a for some n 1 and a K. Examples of simple radical extensions of Q are Q( 2),
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 informationMath 553 Qualifying Exam. In this test, you may assume all theorems proved in the lectures. All other claims must be proved.
Math 553 Qualifying Exam January, 2019 Ron Ji In this test, you may assume all theorems proved in the lectures. All other claims must be proved. 1. Let G be a group of order 3825 = 5 2 3 2 17. Show that
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 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 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 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 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 informationA. (Groups of order 8.) (a) Which of the five groups G (as specified in the question) have the following property: G has a normal subgroup N such that
MATH 402A  Solutions for the suggested problems. A. (Groups of order 8. (a Which of the five groups G (as specified in the question have the following property: G has a normal subgroup N such that N =
More informationFinite Fields. Saravanan Vijayakumaran Department of Electrical Engineering Indian Institute of Technology Bombay
1 / 25 Finite Fields Saravanan Vijayakumaran sarva@ee.iitb.ac.in Department of Electrical Engineering Indian Institute of Technology Bombay September 25, 2014 2 / 25 Fields Definition A set F together
More 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 informationFinite Fields. [Parts from Chapter 16. Also applications of FTGT]
Finite Fields [Parts from Chapter 16. Also applications of FTGT] Lemma [Ch 16, 4.6] Assume F is a finite field. Then the multiplicative group F := F \ {0} is cyclic. Proof Recall from basic group theory
More informationM3P11/M4P11/M5P11. Galois Theory
BSc and MSci EXAMINATIONS (MATHEMATICS) MayJune 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 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 informationSample algebra qualifying exam
Sample algebra qualifying exam University of Hawai i at Mānoa Spring 2016 2 Part I 1. Group theory In this section, D n and C n denote, respectively, the symmetry group of the regular ngon (of order 2n)
More informationALGEBRA PH.D. QUALIFYING EXAM SOLUTIONS October 20, 2011
ALGEBRA PH.D. QUALIFYING EXAM SOLUTIONS October 20, 2011 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved
More 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 informationMAT 535 Problem Set 5 Solutions
Final Exam, Tues 5/11, :15pm4:45pm Spring 010 MAT 535 Problem Set 5 Solutions Selected Problems (1) Exercise 9, p 617 Determine the Galois group of the splitting field E over F = Q of the polynomial f(x)
More informationMATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION
MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION 1. Polynomial rings (review) Definition 1. A polynomial f(x) with coefficients in a ring R is n f(x) = a i x i = a 0 + a 1 x + a 2 x 2 + + a n x n i=0
More informationTOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS. 1. Introduction
TOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS KEITH CONRAD A (monic) polynomial in Z[T ], 1. Introduction f(t ) = T n + c n 1 T n 1 + + c 1 T + c 0, is Eisenstein at a prime p when each coefficient
More informationNotes on Field Extensions
Notes on Field Extensions Ryan C. Reich 16 June 2006 1 Definitions Throughout, F K is a finite field extension. We fix once and for all an algebraic closure M for both and an embedding of F in M. When
More informationModern Algebra I. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points.
1 2 3 style total Math 415 Please print your name: Answer Key 1 True/false Circle the correct answer; no explanation is required. Each problem in this section counts 5 points. 1. Every group of order 6
More informationTHE SPLITTING FIELD OF X 3 7 OVER Q
THE SPLITTING FIELD OF X 3 7 OVER Q KEITH CONRAD In this note, we calculate all the basic invariants of the number field K = Q( 3 7, ω), where ω = ( 1 + 3)/2 is a primitive cube root of unity. Here is
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 notnecessarily commutative ring with 1 in which any nonzero element has a multiplicative inverse) is commutative. (This is due to Wedderburn.)
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 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 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 informationQUADRATIC RECURRENCES WITH A POSITIVE DENSITY OF PRIME DIVISORS
QUADRATIC RECURRENCES WITH A POSITIVE DENSITY OF PRIME DIVISORS RICHARD GOTTESMAN AND KWOKFUNG TANG Abstract. For f(x) Z[x] and a Z, we let f n (x) be the nth iterate of f(x), P (f, a) = {p prime : p f
More informationAlgebraic proofs of Dirichlet s theorem on arithmetic progressions
Charles University in Prague Faculty of Mathematics and Physics BACHELOR THESIS Martin Čech Algebraic proofs of Dirichlet s theorem on arithmetic progressions Department of Algebra Supervisor of the bachelor
More informationMath 581 Problem Set 3 Solutions
Math 581 Problem Set 3 Solutions 1. Prove that complex conjugation is a isomorphism from C to C. Proof: First we prove that it is a homomorphism. Define : C C by (z) = z. Note that (1) = 1. The other properties
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@mpimbonn.mpg.de Abstract We compute
More informationExplicit constructions of arithmetic lattices in SL(n, R)
International Journal of Mathematics and Computer Science, 4(2009), no. 1, 53 64 Explicit constructions of arithmetic lattices in SL(n, R) M CS Erik R. Tou 1, Lee Stemkoski 2 1 Department of Mathematics
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 58 in 1., the field E = Q(, 3, i). We will see that it is the same as the field Q(ζ) where (1)
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 informationAlgebra Exam Topics. Updated August 2017
Algebra Exam Topics Updated August 2017 Starting Fall 2017, the Masters Algebra Exam will have 14 questions. Of these students will answer the first 8 questions from Topics 1, 2, and 3. They then have
More informationGALOIS THEORY BRIAN OSSERMAN
GALOIS THEORY BRIAN OSSERMAN Galois theory relates the theory of field extensions to the theory of groups. It provides a powerful tool for studying field extensions, and consequently, solutions to polynomial
More informationTOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS. 1. Introduction
TOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS KEITH CONRAD A (monic) polynomial in Z[T ], 1. Introduction f(t ) = T n + c n 1 T n 1 + + c 1 T + c 0, is Eisenstein at a prime p when each coefficient
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 informationSolutions of exercise sheet 11
DMATH Algebra I HS 14 Prof Emmanuel Kowalski Solutions of exercise sheet 11 The content of the marked exercises (*) should be known for the exam 1 For the following values of α C, find the minimal polynomial
More informationNOTES ON FINITE FIELDS
NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining
More informationChapter V. Solvability by Radicals
Matematisk Institut Mat 3AL 5.1 Chapter V. Solvability by Radicals One of the oldest problems in algebra was to find roots of an equation. Already in the antiquity solutions of quadratic equations were
More 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: 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 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 informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More informationSome algebraic number theory and the reciprocity map
Some algebraic number theory and the reciprocity map Ervin Thiagalingam September 28, 2015 Motivation In Weinstein s paper, the main problem is to find a rule (reciprocity law) for when an irreducible
More 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 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 nth root
More information