# MAT 535 Problem Set 5 Solutions

Size: px
Start display at page:

Transcription

1 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) = x 4 + 4x 1 () Exercise 19, p 618 Describe the Galois group of an irreducible quartic polynomial over Q with negative discriminant (3) Exercise 48, p 63 Determine the splitting field E and Galois group of the sextic polynomial f(x) = x 6 x 3 over Q (4) Exercise 19, p 638 Prove that a quadratic extension Q( D)/Q is contained in a degree 4 Galois extension of Q with cyclic Galois group if and only if D is a sum of two rational squares (5) Exercise 13, p 853 Prove that for simple, left R-modules M and N (R is a unital associative ring), every nonzero R-module homomorphism from M to N is an isomorphism Conclude that Hom R (M, M) is a division ring Solutions to Selected Problems Solution to (1) By Proposition 11 on p 308, if f(x) has a root then the root is ±1 But f( 1) equals 4 and f(1) equals 4 So if f(x) factors, it is a product of two irreducible, monic, quadratic polynomials By Gauss s lemma, the factors are in Z[x] And by considering the constant coefficient and the coefficient of x 3, the factorization must be (x + (ax + 1))(x (ax + 1)) = x 4 a x ax 1 But since the coefficient of x in f(x) is 0, there is no such factorization Thus f(x) is irreducible The resolvent cubic of f(x) is Notice that this factors, h(z) = z 3 + 4z + 16 h(z) = (z + )(z z + 8) = (z ( ))k(z), k(z) = z z + 8 = (z 1) + 7 Thus the discriminant of h(z) is Disc(h) = [k( )] Disc(k) = [ 4 ] ( 8) = 6 7 1

2 Final Exam, Tues 5/11, :15pm-4:45pm Spring 010 And the discriminant D of f(x) equals the discriminant of the resolvent cubic h(z) Observe that this is not a square Up to square factors, the discriminant is congruent to 7 Thus Q( D) equals Q( 7) The claim is that f(x) is irreducible in Q( 7) Denote by t one of the two square roots of 7 Then the Galois group is Aut(Q( 7)/Q) = {1, σ}, where σ(t) equals t Since f(x) is irreducible of degree 4 over Q, every root generates a field extension of degree 4 Since [Q( 7) : Q] equals, f(x) has no roots in Q( 7) So the only possible factors are irreducible quadratic factors If f(x) has an irreducible quadratic factor, then it has a monic irreducible quadratic factor, say q(x) Since f(x) is defined over Q, then also σ(q(x)) is an irreducible quadratic factor Since Q( 7)[x] is a UFD, it follows that f(x) = q(x)σ(q(x)) In particular, f(0) equals q(0)σ(q(0)) By direct computation we have, q(0) = a + bt, σ(q(0)) = a bt, q(0)σ(q(0)) = a b t = a + 7b for some elements a, b in Q Thus a + 7b equals f(0) = 1 But a and 7b are nonnegative, thus they cannot sum to the negative number 1 This contradiction proves that f(x) is irreducible in Q( 7) Thus, by the discussion on p 615, the Galois group of E over Q is isomorphic to a conjugate of the dihedral group D 8 as a subgroup of symmetric group S 4 Solution to () For every monic polynomial f(x) of degree d, in a splitting field K of f(x) the discriminant D equals ( ) (α i α j ) 1 i<j d where f(x) = (x α 1 ) (x α d ) Thus D is a square in K So K contains Q( D) Now let K be any Galois extension of Q By the fundamental theorem of algebra, there exists an embedding of K into C, say φ : K C Moreover, for every embedding φ : K C, there exists a unique element σ of Aut(K/Q) such that φ equals φ σ In particular, for complex conjugation τ : C C, τ φ equals φ τ K for some element τ K in Aut(K/Q) Since τ (τ φ) equals Id C φ equals φ, also (φ τ K ) τ K equals φ, ie, τ K τ K equals Id K Thus τ K is an element of Aut(K/Q) of order dividing, ie, of order 1 or order Also observe that since φ is only well-defined up to φ = φ σ, also τ K is only well-defined up to conjugation στ K σ 1 Moreover, τ K is the identity only if τ φ equals φ, ie, if and only if φ(k) is fixed by τ Since the fixed field of τ is R, τ K equals Id if and only if φ(k) is contained in R for one, and hence every, embedding of K into R Thus τ K is an element well-defined up to conjugation, which equals the identity if K is contained in R, and which has order if K is not contained in R Now assume that f(x) is an irreducible polynomial of degree 4 over Q And assume that the discriminant D is negative Then D is not contained in R Since Q( D) is contained in the splitting field K of f(x), K is not contained in R Thus τ K is an element of Aut(K/Q) of order Moreover, Q( D) is Galois over Q of order Thus Aut(Q( D)/Q) is the quotient of Aut(K/Q) by the normal subgroup Aut(K/Q( D)) This quotient group has order, thus is isomorphic to Z/Z

3 Final Exam, Tues 5/11, :15pm-4:45pm Spring 010 And clearly τ K restricts to a nontrivial element of order in Aut(Q( D)/Q), namely complex conjugation Thus τ K is an element of Aut(K/Q) of order whose image in Aut(Q( D)/Q) also has order But the group Z/4Z has a unique surjective homomorphism onto Z/Z, and the kernel is precisely the set of elements of order 1 and Since τ K has order and is not contained in the kernel of the quotient map, Aut(K/Q) cannot be isomorphic to Z/4Z A bit more generally, let D be a negative element of Q, and let K be a field containing Q( D) such that K/Q is Galois of degree 4 Then, as above, τ K is an element of order in Aut(K/Q) which maps to an element of order in the quotient Aut(Q( D)/Q) Thus, for the same reason as above, Aut(K/Q) is not cyclic of order 4 Solution to (3) The polynomial f(x) is irreducible of degree 6 by Eisenstein s criterion Moreover, for each of the roots β of g(y) = y y, the three roots of x 3 β are roots of f(x) Thus the splitting field contains Q(µ 3 ) as well as the splitting field Q( 3) of g(y) Notice that Q(µ 3 ) equals Q( 3) So the splitting field also contains 3/ 3, which is a square root of 1 Thus the splitting field contains Q(i, 3) In this field the roots of g(y) = (y 1) 3 are 1 ± 3 Thus the roots of f(x) are the cube roots of 1 ± 3 Now let α + be a root of f(x) with α 3 + equals Since K contains primitive cube roots of 1, up to multiplication by such we may assume that α + is real Similarly let α be a real root of f(x) with α 3 equals 1 3 Then ( α + α ) 3 equals ( 1) 3 α 3 +α 3 equals ( 1)(1 + 3)(1 3) = Thus α + α is a real cube root of, ie, α + α equals Thus the splitting field E of f(x) contains Q(, i, 3) The polynomial t 3 is irreducible of degree 3 over Q by Eisenstein s criterion So every root generates an extension of Q of degree 3 And Q(i, 3) is a biquadratic extension of Q of degree 4 Thus Q(i, 3) contains no root of t 3 Since t 3 is a cubic polynomial with no root in Q(i, 3), it is irreducible over Q(i, 3) Thus the root field Q(, i, 3) is degree 3 over Q(i, 3) So [Q(, i, 3) : Q] equals 3 4 = 1 Denote by L the field Q(, i, 3) Then α 3 + equals 1+ 3, which is an element of L Since L contains a primitive cube root of 1, L(α + ) contains every cube root of 1 + 3, hence it is the splitting field of t 3 (1 + 3) So [L(α + ) : L] equals 3 if there is no cube root of in L, and it equals 1 otherwise Moreover, α equals /α +, so L(α + ) contains L(α ) And then it contains all the roots ζ m 3 α + and ζ m 3 α of f(x), where ζ 3 is a primitive cube root of 1 and where m = 0, 1, So L(α + ) equals the splitting field E So [E : L] equals 3 if L contains no cube root of 1 + 3, and [E : L] equals 1 if L contains a cube root α + of So [E : Q] equals 36 or 1 Now consider the element in K, Observe that α = α + + α α +α = 1, ( α + ) 3 = (1 + 3) = + 3, ( α ) 3 = (1 3) = 3 3

4 Final Exam, Tues 5/11, :15pm-4:45pm Spring 010 Thus, we have α 3 = [ ( ) α 3 ( ) + α 3 ] [ ] α +α α + + α = 4 + 3α Therefore α is a root of the cubic polynomial k(x) = x 3 3x 4 By Proposition 11 on p 308, the only possible roots of k(x) in Q are ±1, ±, ±4 By direct computation, none of these are roots Therefore k(x) is irreducible over Q By direct computation, the discriminant equals D = 4( 3) 3 7( 4) = 4 7(1 4) = 3 4 So the splitting field contains the square root D, and thus also D/18 which equals 1 On the other hand, consider the extension L/Q This is a Galois extension, the compositum of the splitting field Q( 3, ) of t 3, which has Galois group S 3, and the quadratic extension Q(i), which has Galois group Z/Z By Corollary on p 593, the Galois group Aut(L/Q) equals Aut(Q( 3, )/Q) Aut(Q(i)/Q) = S 3 Z/Z This has 3 subgroups of index 3, ie, -Sylow subgroups By the Fundamental Theorem of Galois Theory, L/Q contains 3 subextensions which have degree 3 over Q But each of the three cube roots of generates a distinct degree 3 extension of Q Thus these are the only degree 3 subextensions of Q And for each such degree 3 subextension E/Q of L/Q, the Galois closure of E/Q is simply the splitting field of t 3, ie, E( 3) In particular, this does not contain i, since L = E( 3, i) has degree 4 over E, not So Q(α) cannot be one of the degree 3 subextensions E/Q of L/Q, since the Galois closure of Q(α) does contain i Since Q(α)/Q is a degree 3 extension, it follows that Q(α) is not contained in L Therefore α is not contained in L Since α is contained in K, K properly contains L Therefore K/L is a degree 3 extension and [K : Q] equals 36 By the argument above, K is the compositum of the two Galois extensions Q( 3, )/Q and Q(α, i)/q, each of which is a degree 6 extension with Galois group S 3 By Corollary 0 on p 59, it follows that these two extensions are linearly disjoint over Q, ie, their intersection equals Q And then by Corollary on p 593, the Galois group of the compositum equals the product of the Galois groups, Aut(K/Q) = Aut(Q( 3, )/Q) Aut(Q(α, i)/q) = S 3 S 3 To be explicit, Aut(Q( 3, )/Q) acts as the full symmetric group S 3 on the three roots,, 1 + 3, 1 3 of t 3 And Aut(Q(α, i)/q) acts as the full symmetric group S 3 on the three roots, of x 3 3x 4 α, α + α α, i, α α α i Nota Bene If char(e), 3, then for a monic cubic polynomial h(x) = x 3 +px +q in E[x] which has discriminant D = 4p 3 7q a square δ in E and which has one root α in E, then the other 4

5 Final Exam, Tues 5/11, :15pm-4:45pm Spring 010 two roots are in E and given by the formula α 6pα 9qα + 4p δ Solution to (4) Suppose first that D is a sum of two rational squares, D = s + t Since D is squarefree, both s and t are nonzero Thus ± D ± s D are four distinct elements And by direct computation, these are roots of the monic, quartic polynomial f(x) = x 4 Dx + t D = (x D) s D Each of these roots generates an extension of Q which contains Q( D) So the splitting field of f(x) contains Q( D), and none of the roots of f(x) lies in Q Thus if f(x) is reducible, it is a product of two irreducible quadratic factors Since f(x) has no cubic or linear term, the factorization would have to be f(x) = (x + ax + b)(x ax + b) = x 4 + (b a )x + b But then t D equals b, so that D is the rational square (b/t) This contradicts that D is squarefree Therefore f(x) is an irreducible quartic polynomial Let α + be a root of f(x) with Now (D + s D)(D s D) = t D so that Therefore, defining α + = D + s D D s D = ( t ) D α + α = t D = s + D α + t it follows that Q(α + ) contains a root α of f(x) with α = D s D Thus ±α + and ±α are the four roots of f(x) So Q(α + ) is a splitting field of f(x) So Q(α + )/Q is a Galois extension of degree 4 Let σ : Q(α + ) Q(α + ) be an automorphism with σ(α + ) equals α Then σ(α +) equals σ(α + ), which equals (α ) = D s D But α + equals D + s D Thus σ( D) equals D And thus we have σ(α ) = tσ( D) σ(α + ) α + = t( D) α = α + In particular, σ(σ(α + )) equals α + Thus σ does not equal the identity Since the order of σ divides #Aut(Q(α + )/Q) = [Q(α + ) : Q] = 4, it follows that σ is an element of order 4 Thus 5

6 Final Exam, Tues 5/11, :15pm-4:45pm Spring 010 Aut(Q(α + )/Q) is a cyclic group of order 4 Therefore, if D is a squarefree integer which is a sum of two rational squares, then Q( D) is contained in a degree 4, Galois extension of Q with cyclic Galois group Conversely, assume that K = Q( D) is contained in a degree 4, Galois extension L/Q with cyclic Galois group In particular, L/K is a degree extension By Kummer s Theorem, Proposition 37 on p 66, L/K is of the form L = K( u) for some element u = a + b D in K Since K/Q is a Galois extension, Aut(L/K) is a normal subgroup of Aut(L/Q), and the quotient is Aut(K/Q) In particular, there exists an element σ of Aut(L/Q) which maps to the nontrivial element of Aut(K/Q) And then we have (σ( u)) = σ( u ) = σ(u) = a b D Therefore v := uσ( u) is an element of L whose square equals v = u (σ( u)) = (a + b D)(a b D) = a b D Thus Q(v)/Q is a degree subextension of L/Q Since L/Q is Galois, degree subextensions are in bijection with index subgroups of Aut(L/Q) Since Aut(L/Q) is a cyclic group of order 4, it has a unique index subgroup Thus the degree subextension Q(v) must equal Q( D) So v is an element of Q( D) with w := v an element in Q By another part of Kummer s theorem, for every element v in Q( D) with w := v in Q, then either w = c or w = c D for some c in Q Now if w equals c, then v = ±c is in Q But then σ(u) = v/u implies that σ(σ(u)) equals v/σ(u) = u So σ fixes the generator u of Q(u) So σ is the identity, ie, the order of σ divides But since Aut(L/Q) is a cyclic group of order 4, and since σ is not in Aut(L/K), the unique subgroup of index, σ is a generator, ie, σ has order 4 This contradiction proves that w is not of the form c Therefore w is for the form c D And then since w := v also equals a b D, this implies the identity, D = ( ) bd + a ( ) cd a Therefore D is a sum of two rational squares Thus the quadratic extension Q( D)/Q is contained in a degree 4, Galois extension of Q with cyclic Galois group if and only if D is a sum of two rational squares In particular, by the same argument as in the solution of Exercise 10, p 58 on the previous problem set, 3 is not a sum of two rational squares Thus Q( 3) is not contained in a degree 4, Galois extension of Q with cyclic Galois group Similarly, since a negative real number cannot be a sum of two squares, for rational D < 0, the extension Q( D)/Q is not contained in a degree 4, Galois extension of Q with cyclic Galois group Solution to (5) Let f : M N be a nonzero R-module homomorphism Then Ker(f) is a left R-submodule of M which does not equal M Since M is simple, the only proper left R-submodule 6

7 Final Exam, Tues 5/11, :15pm-4:45pm Spring 010 of M is {0} Thus f is injective And Image(f) is a submodule of N which is isomorphic to M By definition, the zero module is not simple, thus M is nonzero, and so also Image(f) is nonzero Since N is simple, the only nonzero left R-submodule of N is all of N Thus Image(f) equals N Thus f is surjective Since f is injective and surjective, f is an isomorphism of left R-modules Now consider the case when N = M is a left R-module Then Hom R (M, M) is a ring under the usual addition, and with composition for multiplication The identity map is the multiplicative unit And it is associative since composition is associative Therefore Hom R (M, M) is a unital, associative ring Also for the center Z(R) of R, scaling by elements in Z(R) gives a ring homomorphism Z(R) Hom R (M, M) which makes Hom R (M, M) into a Z(R)-algebra, ie, the image of Z(R) is in the center of the ring Hom R (M, M) (but the center of Hom R (M, M) might be strictly larger than the center of R) Finally, if M is simple, then the argument above proves that every nonzero element of Hom R (M, M) is invertible in this ring Thus Hom R (M, M) is a division ring As one motivating example, when Q 8 is the quaternion group, when R equals R Q 8 is the group algebra of Q 8 over R, and when M is the simple R-module described in Example 8 on p 845, then the division ring Hom R (M, M) is the usual quaternion algebra H 7

### THE 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 (9am-12:00pm), May 15, 2006. No

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.

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

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

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

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

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

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

### 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).

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

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

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

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

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

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

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

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

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

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

22. Galois theory 22.1 Field extensions, imbeddings, automorphisms 22.2 Separable field extensions 22.3 Primitive elements 22.4 Normal field extensions 22.5 The main theorem 22.6 Conjugates, trace, norm

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

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

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

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

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

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

Algebra Exam Fall 2006 Alexander J. Wertheim Last Updated: October 26, 2017 Contents 1 Groups 2 1.1 Problem 1..................................... 2 1.2 Problem 2..................................... 2

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

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

### Math 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.

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

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

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

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

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

### Solutions of exercise sheet 11

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

### ABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK

ABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK 1. Practice exam problems Problem A. Find α C such that Q(i, 3 2) = Q(α). Solution to A. Either one can use the proof of the primitive element

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

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

### Finite 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

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

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

### Keywords 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.

### ORAL QUALIFYING EXAM QUESTIONS. 1. Algebra

ORAL QUALIFYING EXAM QUESTIONS JOHN VOIGHT Below are some questions that I have asked on oral qualifying exams (starting in fall 2015). 1.1. Core questions. 1. Algebra (1) Let R be a noetherian (commutative)

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

### Explicit Methods in Algebraic Number Theory

Explicit Methods in Algebraic Number Theory Amalia Pizarro Madariaga Instituto de Matemáticas Universidad de Valparaíso, Chile amaliapizarro@uvcl 1 Lecture 1 11 Number fields and ring of integers Algebraic

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

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

### 7 Orders in Dedekind domains, primes in Galois extensions

18.785 Number theory I Lecture #7 Fall 2015 10/01/2015 7 Orders in Dedekind domains, primes in Galois extensions 7.1 Orders in Dedekind domains Let S/R be an extension of rings. The conductor c of R (in

### Sample 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 n-gon (of order 2n)

### 9. 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

### FACTORIZATION OF IDEALS

FACTORIZATION OF IDEALS 1. General strategy Recall the statement of unique factorization of ideals in Dedekind domains: Theorem 1.1. Let A be a Dedekind domain and I a nonzero ideal of A. Then there are

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.

### Ph.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

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

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

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

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

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

### COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

COURSE SUMMARY FOR MATH 504, FALL QUARTER 2017-8: MODERN ALGEBRA JAROD ALPER Week 1, Sept 27, 29: Introduction to Groups Lecture 1: Introduction to groups. Defined a group and discussed basic properties

### Fields and Galois Theory

Fields and Galois Theory Rachel Epstein September 12, 2006 All proofs are omitted here. They may be found in Fraleigh s A First Course in Abstract Algebra as well as many other algebra and Galois theory

### 38 Irreducibility criteria in rings of polynomials

38 Irreducibility criteria in rings of polynomials 38.1 Theorem. Let p(x), q(x) R[x] be polynomials such that p(x) = a 0 + a 1 x +... + a n x n, q(x) = b 0 + b 1 x +... + b m x m and a n, b m 0. If b m

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

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

A SIMPLE PROOF OF KRONECKER-WEBER THEOREM NIZAMEDDIN H. ORDULU 1. Introduction The main theorem that we are going to prove in this paper is the following: Theorem 1.1. Kronecker-Weber Theorem Let K/Q be

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

### g(x) = 1 1 x = 1 + x + x2 + x 3 + is not a polynomial, since it doesn t have finite degree. g(x) is an example of a power series.

6 Polynomial Rings We introduce a class of rings called the polynomial rings, describing computation, factorization and divisibility in such rings For the case where the coefficients come from an integral

### GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.

GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory. Linear Algebra Standard matrix manipulation to compute the kernel, intersection of subspaces, column spaces,

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

### GALOIS 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.

### φ(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 =

### Thus, the integral closure A i of A in F i is a finitely generated (and torsion-free) A-module. It is not a priori clear if the A i s are locally

Math 248A. Discriminants and étale algebras Let A be a noetherian domain with fraction field F. Let B be an A-algebra that is finitely generated and torsion-free as an A-module with B also locally free

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

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

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

Math 603, Spring 2003, HW 6, due 4/21/2003 Part A AI) If k is a field and f k[t ], suppose f has degree n and has n distinct roots α 1,..., α n in some extension of k. Write Ω = k(α 1,..., α n ) for the

### RINGS: SUMMARY OF MATERIAL

RINGS: SUMMARY OF MATERIAL BRIAN OSSERMAN This is a summary of terms used and main results proved in the subject of rings, from Chapters 11-13 of Artin. Definitions not included here may be considered

### Polynomial Rings. (Last Updated: December 8, 2017)

Polynomial Rings (Last Updated: December 8, 2017) These notes are derived primarily from Abstract Algebra, Theory and Applications by Thomas Judson (16ed). Most of this material is drawn from Chapters

### Notes 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

### Real Analysis Prelim Questions Day 1 August 27, 2013

Real Analysis Prelim Questions Day 1 August 27, 2013 are 5 questions. TIME LIMIT: 3 hours Instructions: Measure and measurable refer to Lebesgue measure µ n on R n, and M(R n ) is the collection of measurable

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

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

### Fields. Victoria Noquez. March 19, 2009

Fields Victoria Noquez March 19, 2009 5.1 Basics Definition 1. A field K is a commutative non-zero ring (0 1) such that any x K, x 0, has a unique inverse x 1 such that xx 1 = x 1 x = 1. Definition 2.

### Part II Galois Theory

Part II Galois Theory Definitions Based on lectures by C. Birkar Notes taken by Dexter Chua Michaelmas 2015 These notes are not endorsed by the lecturers, and I have modified them (often significantly)

### Abstract Algebra, Second Edition, by John A. Beachy and William D. Blair. Corrections and clarifications

1 Abstract Algebra, Second Edition, by John A. Beachy and William D. Blair Corrections and clarifications Note: Some corrections were made after the first printing of the text. page 9, line 8 For of the

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

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

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

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

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

### Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime

### Algebraic Number Theory

TIFR VSRP Programme Project Report Algebraic Number Theory Milind Hegde Under the guidance of Prof. Sandeep Varma July 4, 2015 A C K N O W L E D G M E N T S I would like to express my thanks to TIFR for

### be any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism

21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UFD. Therefore

### Q N id β. 2. Let I and J be ideals in a commutative ring A. Give a simple description of

Additional Problems 1. Let A be a commutative ring and let 0 M α N β P 0 be a short exact sequence of A-modules. Let Q be an A-module. i) Show that the naturally induced sequence is exact, but that 0 Hom(P,

### Math 547, Exam 2 Information.

Math 547, Exam 2 Information. 3/19/10, LC 303B, 10:10-11:00. Exam 2 will be based on: Homework and textbook sections covered by lectures 2/3-3/5. (see http://www.math.sc.edu/ boylan/sccourses/547sp10/547.html)

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

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

### Practice problems for first midterm, Spring 98

Practice problems for first midterm, Spring 98 midterm to be held Wednesday, February 25, 1998, in class Dave Bayer, Modern Algebra All rings are assumed to be commutative with identity, as in our text.

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

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

### Some 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

### Homework 4 Solutions

Homework 4 Solutions November 11, 2016 You were asked to do problems 3,4,7,9,10 in Chapter 7 of Lang. Problem 3. Let A be an integral domain, integrally closed in its field of fractions K. Let L be a finite