Math 121 Homework 5 Solutions

Size: px
Start display at page:

Download "Math 121 Homework 5 Solutions"

Transcription

1 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 uniquely as a + bi. To see that τ is a ring homomorphism, we must check that and τa + bi + c + di = τa + bi + τc + di τa + bic + di = τa + biτc + di. The first identity is easy to check. The second means which is also easy to check. ac bd ad + bci = a bic di, Second Solution. Note that C = Ri is the splitting field of the irreducible polynomial x 2 +. This has roots i, i an it follows from Theorem 8 on page 9 that there is an isomorphism τ : C C over R such that τi = i. Now τa + bi = τa + τbτi = a bi, that is, τ is complex conjugation. This proves that complex conjugation is an automorphism. Problem 3, Section 4.. Determine the fixed field of complex conjugation on C. Solution: Any complex number may be written uniquely as a + bi with a, b R. If τa + bi = a + bi then a bi = a + bi which is equivalent to b = 0 and so a + bi = a R. Therefore the fixed field of complex conjugation τ is R.

2 Problem 4, Section 4.. Prove that Q 2 and Q 3 are not isomorphic. Solution. If there is an isomorphism φ : Q 2 Q 3 and then φ 2 = a + b 3 satisfies a + b 3 2 = 2. That is, a 2 + 3b 2 + 2ab 3 = 2. Note that and 3 are linearly independent over Q, so 2ab = 0, that is, either a = 0 or b = 0. Thus either a 2 = 2 or b 2 = 2/3. Neither of these equations may be solved with a or b in Q, which is a contradiction. Problem, Section 4.2. Determine the minimal polynomial over Q for the element 2 +. Solution. Let fx be the minimal polynomial for α = 2 +. If β is any root of fx then by Theorem 8 on page 9 there is an isomorphism σ : Qα Qβ such that σα = β. By Theorem 27 on page 4, we may extend σ to an automorphism of the splitting field E of f over Q. Now consider σ 2. Since 2 is a root of the polynomial x 2 over Q, so is σ 2. Therefore σ 2 = ± 2, and similarly σ = ±. Therefore β = σ 2 + = ± 2 ±. Thus the possible roots of 2+ are among the four element set { ± 2 ± } and so f divides the polynomial 2 + x + x This equals x 4 4x To show that this is the minimal polynomial, it is sufficient to show that it is irreducible over Q. None of its roots are in Q, so if it is reducible, it splits as two quadratic factors. One of these will have 2 + as a root. Hence one of the quadratic factors is one of 2 + = x 2 2 3, x + = x 2 x + 3, x = x It is easy to see that none of these are in Q[x], so x 4 4x is irreducible over Q, and this is the minimal polynomial. 2

3 Section 4.2, Problem. Prove that the Galois group of x p 2 over Q a b for p a prime is isomorphic to the group of matrices for a, b F 0 p, a 0. Solution. The polynomial is irreducible by Eisenstein s criterion. So its splitting field is generated by the roots of x p 2 which are αζ i 0 i < p where α = 2 /p and ζ = e 2πi/p. Thus the splitting field is Qα, i. Note that Qζ/Q has degree φp = p, while Qα/Q has degree p. These degrees are coprime, so [Qα, i : Q] = pp by Corollary 22 on page 29. Let m Z be prime to p. We will show that there exists τ α GalK/Q such that τ m α = α τ m ζ = ζ m. Since K/Q is Galois, K/Qα is also Galois and has degree p. Indeed, K = Qα, ζ so the effect of θ GalK/Qα is determined by θζ which must be a primitive p-th root of unity. There are p elements of the Galois group and exactly p such p-th roots of unity, so GalK/Qα must be transitive on these. Therefore we can find τ m as required. Now we will show that GalK/Q contains an automorphism σ such that σα = αζ, σζ = ζ. 2 Indeed, α and αζ are roots of the same irreducible polynomial x p 2, so we may find an automorphism σ such that σ α = αζ. Now σ ζ is a primitive p-th root of unity, say σ ζ = ζ k, p k. Then τ m ζ k = ζ for some α. So if k is the image of k in F p, m = /k. Then τ m σ has the desired effect 2. The elements τ m σ k and σ km τ m have the same effect, α αζ km, ζ ζ m. So τ m σ k τ m = σ km. now the affine group G of matrices a, b F p, a 0 also has generators m t m =, s = a b 0 k, so s k = subject to the same relations t m s k t m = s km. Therefore there is an isomorphism GalK/Q G in which τ m t m and σ s.. for 3

4 Section 4.2, Problem 6. Let K = Q 8 2, i and let F = Qi, F 2 = Q 2, F 3 = Q 2. Prove that GalK/F = Z 8, GalK/F 2 = D 8 and GalK/F 3 = Q 8. The book devotes several pages to this example. However we will solve this from scratch. Solution. First let us observe that K is Galois and of degree 6 over Q. To begin with, α = 8 2 is the root of the polynomial x 2 which is irreducible by Eisenstein s criterion, so [Qα : Q] = 8. Now i / Qα since Qα R. Therefore [Qα, i : Q] = 2 and so [Qα, i : Q] = [Qα, i : Qα][Qα : Q] = 6. The field Qα, i contains the primitive 8-th roots of unity since it contains 2 = α 4 and hence ε 8 = 2 + i = e 2πi/8. Hence it contains all the roots of x 8 2 = 7 αε k 8. It is thus a splitting field for this polynomial, and Galois over Q. k=0 Lemma. Let β = αε k 8 be any root of x 8 2. Then there exist elements σ, σ GalK/Q such that σα = β, σi = i, and σ α = β, σ i = i. Proof. There exists φ : Qα Qβ such that α β by Theorem 8 on page 9. By Theorem 27 on page 4, this extends to an automorphism of the splitting field K. We show that i / Qβ. Otherwise φ i Qα R and φ i is a root of x 2 + = 0, that is, φ i = ±i which is not real, so this is a contradiction. Since Qβ has degree 8 over Q and i / Qβ, Qβ, i has degree 6 over Q and hence Qβ, i = K. Since K is Galois over Q, it is Galois over Qβ and GalK/Qβ = 2. Let ψ be the generator, so that ψβ = β and ψi = i. Then φ and ψφ both take α to β, and one takes i to i, the other i to i. This gives us σ and σ. We may now handle the three cases. Each of GalK/Qi, Gal K/Q 2 and Gal K/Q 2 has order 8, which is the degree of the extension. 4

5 First, the Lemma gives us an element θ GalK/Q such that θα = ε 8 α and θi = i. This is then in GalK/Qi. We find that θ 2 = 2 since 2 = α 4 and 2 = ε 8 α 4. Therefore θε 8 = θ 2 + i = 2 + i = ε 8. We may now calculate that θ 2 α = ε 2 8α = iα and θ 2 ε 8 = ε 8 so θ 4 α = α and θ 4 i = i. We see that θ has order 8 and therefore GalK/Qi is cyclic of order 8. Next, let us show that Gal K/Q 2 = D8. The Lemma gives us two elements ρ, τ GalK/Q such that ρα = iα, ρi = i, and τα = α, τi = i. Since 2 = α 4, both of these fix 2 and so they are in Gal K/Q 2. It is easy to see that ρ has order 4 and τ has order 2, and τρτ = ρ, so they generate a dihedral group of order 8. Finally, let us show that Gal K/Q 2 = Q8. The Lemma gives us two elements µ and ν such that µα = ε 8 α µi = i We will show that µ, ν satisfy, and να = ε 8 α νi = i. µ 2 = ν 2, µ 4 =, νµν = µ. These relations define the quaternion group Q 8. Since 2 = iα 4, µ sends 2 to iε8 α 4 = 2 and is in Gal K/Q 2 ; similarly ν is also in this Galois group. Using ε 8 = 2 + i we also calculate Using this we calculate µε 8 = νε 8 = ε 3 8. µ 2 α = α µ 2 i = i and ν has the same effect. Thus µ 2 = ν 2 and µ, ν have order 4. The relation νµν = µ may now be checked.

6 Section 4.2, Problem 3. Show that Q is a cyclic quartic field, that is, it is Galois over Q of degree 4 with cyclic Galois group. Consider the polynomial fx = x x + 2. In every square root, the argument is a positive real number and as usual we are taking the positive square root. This polynomial equals x x 2 = x 2 2 = x 4 4x It is Eisenstein, hence irreducible. Let α = and β = 2. Then 2 = α 2 Qα, and since αβ = = = 2 we also have 2 β = α Qα. The other two roots are α, β and so Qα is the splitting field of f. Since f is separable Qα is Galois over Q. Its degree is 4, so the Galois group has degree 4. Now to compute the Galois group, Theorem 8 on page 9 guarantees that there is an isomorphism σ : Qα Qβ such that σα = β. Then σ 2 = σα 2 = β 2 = 2. Remembering that β = 2/α we then have σβ = σ 2 /σα = 2/β = α. This σ permutes the roots cyclicly: α β α β α. This proves that the Galois group is cyclic of order 4. Section 4.3, Problem. Exhibit an explicit isomorphism between the splitting fields of x 3 x + and x 3 over F 3. Solution. If x 3 x + = 0 then y 3 y = 0 where y = x. 6

7 Section 4.4, Problem 8. Determine the splitting field of the polynomial x p a where a F p, a 0. Solution. The polynomial is irreducible and separable by Problem in Section 3., which was assigned in Homework 3. It has degree p, so every root must lie in the unique field with p p elements. Thus F p p is the splitting field. 7

Keywords and phrases: Fundamental theorem of algebra, constructible

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.

More information

Homework 4 Algebra. Joshua Ruiter. February 21, 2018

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

More information

Math 121 Homework 2 Solutions

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.

More information

MAT 535 Problem Set 5 Solutions

MAT 535 Problem Set 5 Solutions Final Exam, Tues 5/11, :15pm-4:45pm Spring 010 MAT 535 Problem Set 5 Solutions Selected Problems (1) Exercise 9, p 617 Determine the Galois group of the splitting field E over F = Q of the polynomial f(x)

More information

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

but no smaller power is equal to one. polynomial is defined to be 13. Radical and Cyclic Extensions The main purpose of this section is to look at the Galois groups of x n a. The first case to consider is a = 1. Definition 13.1. Let K be a field. An element ω K is said

More information

Math 121 Homework 6 Solutions

Math 121 Homework 6 Solutions Math 11 Homework 6 Solutions Problem 14. # 17. Let K/F be any finite extension and let α K. Let L be a Galois extension of F containing K and let H Gal(L/F ) be the subgroup corresponding to K. Define

More information

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

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition). Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition). Bryan Félix Abril 12, 2017 Section 14.2 Exercise 3. Determine the Galois group of (x 2 2)(x 2 3)(x 2 5). Determine all the subfields

More information

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

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

More information

ALGEBRA PH.D. QUALIFYING EXAM SOLUTIONS October 20, 2011

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

More information

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

MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11 MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11 3. Examples I did some examples and explained the theory at the same time. 3.1. roots of unity. Let L = Q(ζ) where ζ = e 2πi/5 is a primitive 5th root of

More information

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

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

More information

Solutions for Problem Set 6

Solutions for Problem Set 6 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

More information

Math 121. Fundamental Theorem and an example

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

More information

Solutions of exercise sheet 6

Solutions of exercise sheet 6 D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 6 1. (Irreducibility of the cyclotomic polynomial) Let n be a positive integer, and P Z[X] a monic irreducible factor of X n 1

More information

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

22M: 121 Final Exam. Answer any three in this section. Each question is worth 10 points. 22M: 121 Final Exam This is 2 hour exam. Begin each question on a new sheet of paper. All notations are standard and the ones used in class. Please write clearly and provide all details of your work. Good

More information

Page Points Possible Points. Total 200

Page Points Possible Points. Total 200 Instructions: 1. The point value of each exercise occurs adjacent to the problem. 2. No books or notes or calculators are allowed. Page Points Possible Points 2 20 3 20 4 18 5 18 6 24 7 18 8 24 9 20 10

More information

1 Spring 2002 Galois Theory

1 Spring 2002 Galois Theory 1 Spring 2002 Galois Theory Problem 1.1. Let F 7 be the field with 7 elements and let L be the splitting field of the polynomial X 171 1 = 0 over F 7. Determine the degree of L over F 7, explaining carefully

More information

Field Theory Qual Review

Field Theory Qual Review Field Theory Qual Review Robert Won Prof. Rogalski 1 (Some) qual problems ˆ (Fall 2007, 5) Let F be a field of characteristic p and f F [x] a polynomial f(x) = i f ix i. Give necessary and sufficient conditions

More information

The Galois group of a polynomial f(x) K[x] is the Galois group of E over K where E is a splitting field for f(x) over K.

The Galois group of a polynomial f(x) K[x] is the Galois group of E over K where E is a splitting field for f(x) over K. The third exam will be on Monday, April 9, 013. The syllabus for Exam III is sections 1 3 of Chapter 10. Some of the main examples and facts from this material are listed below. If F is an extension field

More information

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved completely

More information

Math 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d

Math 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d Math 201C Homework Edward Burkard 5.1. Field Extensions. 5. Fields and Galois Theory Exercise 5.1.7. If v is algebraic over K(u) for some u F and v is transcendental over K, then u is algebraic over K(v).

More information

Galois Theory TCU Graduate Student Seminar George Gilbert October 2015

Galois Theory TCU Graduate Student Seminar George Gilbert October 2015 Galois Theory TCU Graduate Student Seminar George Gilbert October 201 The coefficients of a polynomial are symmetric functions of the roots {α i }: fx) = x n s 1 x n 1 + s 2 x n 2 + + 1) n s n, where s

More information

M3P11/M4P11/M5P11. Galois Theory

M3P11/M4P11/M5P11. Galois Theory BSc and MSci EXAMINATIONS (MATHEMATICS) May-June 2014 This paper is also taken for the relevant examination for the Associateship of the Royal College of Science. M3P11/M4P11/M5P11 Galois Theory Date:

More information

Algebra Ph.D. Preliminary Exam

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

More information

Galois Theory and the Insolvability of the Quintic Equation

Galois Theory and the Insolvability of the Quintic Equation Galois Theory and the Insolvability of the Quintic Equation Daniel Franz 1. Introduction Polynomial equations and their solutions have long fascinated mathematicians. The solution to the general quadratic

More information

Chapter V. Solvability by Radicals

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

Notes on graduate algebra. Robert Harron

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

More information

Math 210B: Algebra, Homework 6

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

More information

Algebra Qualifying Exam Solutions. Thomas Goller

Algebra Qualifying Exam Solutions. Thomas Goller Algebra Qualifying Exam Solutions Thomas Goller September 4, 2 Contents Spring 2 2 2 Fall 2 8 3 Spring 2 3 4 Fall 29 7 5 Spring 29 2 6 Fall 28 25 Chapter Spring 2. The claim as stated is false. The identity

More information

FIELD THEORY. Contents

FIELD THEORY. Contents FIELD THEORY MATH 552 Contents 1. Algebraic Extensions 1 1.1. Finite and Algebraic Extensions 1 1.2. Algebraic Closure 5 1.3. Splitting Fields 7 1.4. Separable Extensions 8 1.5. Inseparable Extensions

More information

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

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

More information

Modern Algebra 2: Midterm 2

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

Math 121 Homework 3 Solutions

Math 121 Homework 3 Solutions Math 121 Homework 3 Solutions Problem 13.4 #6. Let K 1 and K 2 be finite extensions of F in the field K, and assume that both are splitting fields over F. (a) Prove that their composite K 1 K 2 is a splitting

More information

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

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

More information

Galois theory (Part II)( ) Example Sheet 1

Galois theory (Part II)( ) Example Sheet 1 Galois theory (Part II)(2015 2016) Example Sheet 1 c.birkar@dpmms.cam.ac.uk (1) Find the minimal polynomial of 2 + 3 over Q. (2) Let K L be a finite field extension such that [L : K] is prime. Show that

More information

Math 581 Problem Set 5 Solutions

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

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

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

More information

A PROOF OF BURNSIDE S p a q b THEOREM

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

More information

Chapter 11: Galois theory

Chapter 11: Galois theory Chapter 11: Galois theory Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 410, Spring 014 M. Macauley (Clemson) Chapter 11: Galois theory

More information

GALOIS THEORY. Contents

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.

More information

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

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.

More information

IUPUI Qualifying Exam Abstract Algebra

IUPUI Qualifying Exam Abstract Algebra IUPUI Qualifying Exam Abstract Algebra January 2017 Daniel Ramras (1) a) Prove that if G is a group of order 2 2 5 2 11, then G contains either a normal subgroup of order 11, or a normal subgroup of order

More information

Fields and Galois Theory

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

More information

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

NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22 NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22 RAVI VAKIL Hi Dragos The class is in 381-T, 1:15 2:30. This is the very end of Galois theory; you ll also start commutative ring theory. Tell them: midterm

More information

1 The Galois Group of a Quadratic

1 The Galois Group of a Quadratic Algebra Prelim Notes The Galois Group of a Polynomial Jason B. Hill University of Colorado at Boulder Throughout this set of notes, K will be the desired base field (usually Q or a finite field) and F

More information

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

Insolvability of the Quintic (Fraleigh Section 56 Last one in the book!) 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

More information

Solutions of exercise sheet 11

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

More information

DIVISION ALGEBRAS WITH AN ANTI-AUTOMORPHISM BUT WITH NO INVOLUTION

DIVISION ALGEBRAS WITH AN ANTI-AUTOMORPHISM BUT WITH NO INVOLUTION DIVISION ALGEBRAS WITH AN ANTI-AUTOMORPHISM BUT WITH NO INVOLUTION P.J. MORANDI, B.A. SETHURAMAN, AND J.-P. TIGNOL 1. Introduction In this note we give examples of division rings which posses an anti-automorphism

More information

Ohio State University Department of Mathematics Algebra Qualifier Exam Solutions. Timothy All Michael Belfanti

Ohio State University Department of Mathematics Algebra Qualifier Exam Solutions. Timothy All Michael Belfanti Ohio State University Department of Mathematics Algebra Qualifier Exam Solutions Timothy All Michael Belfanti July 22, 2013 Contents Spring 2012 1 1. Let G be a finite group and H a non-normal subgroup

More information

disc f R 3 (X) in K[X] G f in K irreducible S 4 = in K irreducible A 4 in K reducible D 4 or Z/4Z = in K reducible V Table 1

disc f R 3 (X) in K[X] G f in K irreducible S 4 = in K irreducible A 4 in K reducible D 4 or Z/4Z = in K reducible V Table 1 GALOIS GROUPS OF CUBICS AND QUARTICS IN ALL CHARACTERISTICS KEITH CONRAD 1. Introduction Treatments of Galois groups of cubic and quartic polynomials usually avoid fields of characteristic 2. Here we will

More information

SOLVING SOLVABLE QUINTICS. D. S. Dummit

SOLVING SOLVABLE QUINTICS. D. S. Dummit D. S. Dummit Abstract. Let f(x) = x 5 + px 3 + qx + rx + s be an irreducible polynomial of degree 5 with rational coefficients. An explicit resolvent sextic is constructed which has a rational root if

More information

Graduate Preliminary Examination

Graduate Preliminary Examination Graduate Preliminary Examination Algebra II 18.2.2005: 3 hours Problem 1. Prove or give a counter-example to the following statement: If M/L and L/K are algebraic extensions of fields, then M/K is algebraic.

More information

arxiv: v1 [math.gr] 3 Feb 2019

arxiv: v1 [math.gr] 3 Feb 2019 Galois groups of symmetric sextic trinomials arxiv:1902.00965v1 [math.gr] Feb 2019 Alberto Cavallo Max Planck Institute for Mathematics, Bonn 5111, Germany cavallo@mpim-bonn.mpg.de Abstract We compute

More information

ABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK

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

More information

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

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

More information

SOME SPECIAL VALUES OF COSINE

SOME SPECIAL VALUES OF COSINE SOME SPECIAL VALUES OF COSINE JAKE LEVINSON. Introduction We all learn a few specific values of cos(x) (and sin(x)) in high school such as those in the following table: x 0 6 π 4 π π π π cos(x) sin(x)

More information

PRACTICE FINAL MATH , MIT, SPRING 13. You have three hours. This test is closed book, closed notes, no calculators.

PRACTICE FINAL MATH , MIT, SPRING 13. You have three hours. This test is closed book, closed notes, no calculators. PRACTICE FINAL MATH 18.703, MIT, SPRING 13 You have three hours. This test is closed book, closed notes, no calculators. There are 11 problems, and the total number of points is 180. Show all your work.

More information

3 Galois Theory. 3.1 Definitions and Examples

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

More information

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

Math 504, Fall 2013 HW 2

Math 504, Fall 2013 HW 2 Math 504, Fall 203 HW 2. Show that the fields Q( 5) and Q( 7) are not isomorphic. Suppose ϕ : Q( 5) Q( 7) is a field isomorphism. Then it s easy to see that ϕ fixes Q pointwise, so 5 = ϕ(5) = ϕ( 5 5) =

More information

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

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

More information

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

More information

Galois Theory, summary

Galois Theory, summary Galois Theory, summary Chapter 11 11.1. UFD, definition. Any two elements have gcd 11.2 PID. Every PID is a UFD. There are UFD s which are not PID s (example F [x, y]). 11.3 ED. Every ED is a PID (and

More information

Math 414 Answers for Homework 7

Math 414 Answers for Homework 7 Math 414 Answers for Homework 7 1. Suppose that K is a field of characteristic zero, and p(x) K[x] an irreducible polynomial of degree d over K. Let α 1, α,..., α d be the roots of p(x), and L = K(α 1,...,α

More information

Solutions for Field Theory Problem Set 5

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 information

SOME EXAMPLES OF THE GALOIS CORRESPONDENCE

SOME EXAMPLES OF THE GALOIS CORRESPONDENCE SOME EXAMPLES OF THE GALOIS CORRESPONDENCE KEITH CONRAD Example 1. The field extension (, ω)/, where ω is a nontrivial cube root of unity, is Galois: it is a splitting field over for X, which is separable

More information

1 Finite abelian groups

1 Finite abelian groups Last revised: May 16, 2014 A.Miller M542 www.math.wisc.edu/ miller/ Each Problem is due one week from the date it is assigned. Do not hand them in early. Please put them on the desk in front of the room

More information

RUDIMENTARY GALOIS THEORY

RUDIMENTARY GALOIS THEORY RUDIMENTARY GALOIS THEORY JACK LIANG Abstract. This paper introduces basic Galois Theory, primarily over fields with characteristic 0, beginning with polynomials and fields and ultimately relating the

More information

GALOIS THEORY BRIAN OSSERMAN

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

More information

Algebra Exam, Spring 2017

Algebra Exam, Spring 2017 Algebra Exam, Spring 2017 There are 5 problems, some with several parts. Easier parts count for less than harder ones, but each part counts. Each part may be assumed in later parts and problems. Unjustified

More information

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

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

More information

Section X.55. Cyclotomic Extensions

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

More information

Automorphisms and bases

Automorphisms and bases Chapter 5 Automorphisms and bases 10 Automorphisms In this chapter, we will once again adopt the viewpoint that a finite extension F = F q m of a finite field K = F q is a vector space of dimension m over

More information

Algebra Exam Topics. Updated August 2017

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

More information

CSIR - Algebra Problems

CSIR - Algebra Problems CSIR - Algebra Problems N. Annamalai DST - INSPIRE Fellow (SRF) Department of Mathematics Bharathidasan University Tiruchirappalli -620024 E-mail: algebra.annamalai@gmail.com Website: https://annamalaimaths.wordpress.com

More information

NAP Module 4. Homework 2 Friday, July 14, 2017.

NAP Module 4. Homework 2 Friday, July 14, 2017. NAP 2017. Module 4. Homework 2 Friday, July 14, 2017. These excercises are due July 21, 2017, at 10 pm. Nepal time. Please, send them to nap@rnta.eu, to laurageatti@gmail.com and schoo.rene@gmail.com.

More information

GALOIS THEORY AT WORK: CONCRETE EXAMPLES

GALOIS THEORY AT WORK: CONCRETE EXAMPLES GALOIS THEORY AT WORK: CONCRETE EXAMPLES KEITH CONRAD 1. Examples Example 1.1. The field extension Q(, 3)/Q is Galois of degree 4, so its Galois group has order 4. The elements of the Galois group are

More information

Quasi-reducible Polynomials

Quasi-reducible Polynomials Quasi-reducible Polynomials Jacques Willekens 06-Dec-2008 Abstract In this article, we investigate polynomials that are irreducible over Q, but are reducible modulo any prime number. 1 Introduction Let

More information

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

More information

Public-key Cryptography: Theory and Practice

Public-key Cryptography: Theory and Practice Public-key Cryptography Theory and Practice Department of Computer Science and Engineering Indian Institute of Technology Kharagpur Chapter 2: Mathematical Concepts Divisibility Congruence Quadratic Residues

More information

Galois Theory of Cyclotomic Extensions

Galois Theory of Cyclotomic Extensions Galois Theory of Cyclotomic Extensions Winter School 2014, IISER Bhopal Romie Banerjee, Prahlad Vaidyanathan I. Introduction 1. Course Description The goal of the course is to provide an introduction to

More information

CONSTRUCTIBLE NUMBERS AND GALOIS THEORY

CONSTRUCTIBLE NUMBERS AND GALOIS THEORY CONSTRUCTIBLE NUMBERS AND GALOIS THEORY SVANTE JANSON Abstract. We correct some errors in Grillet [2], Section V.9. 1. Introduction The purpose of this note is to correct some errors in Grillet [2], Section

More information

Factorization in Integral Domains II

Factorization in Integral Domains II Factorization in Integral Domains II 1 Statement of the main theorem Throughout these notes, unless otherwise specified, R is a UFD with field of quotients F. The main examples will be R = Z, F = Q, and

More information

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

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information MRQ 2017 School of Mathematics and Statistics MT5836 Galois Theory Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT3505 (or MT4517) Rings & Fields Lectures: Tutorials: Mon

More information

Direction: You are required to complete this test by Monday (April 24, 2006). In order to

Direction: You are required to complete this test by Monday (April 24, 2006). In order to Test 4 April 20, 2006 Name Math 522 Student Number Direction: You are required to complete this test by Monday (April 24, 2006). In order to receive full credit, answer each problem completely and must

More information

Polynomials with nontrivial relations between their roots

Polynomials with nontrivial relations between their roots ACTA ARITHMETICA LXXXII.3 (1997) Polynomials with nontrivial relations between their roots by John D. Dixon (Ottawa, Ont.) 1. Introduction. Consider an irreducible polynomial f(x) over a field K. We are

More information

1. Group Theory Permutations.

1. Group Theory Permutations. 1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7

More information

Notes on Galois Theory

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

More information

Fields and Galois Theory Fall 2004 Professor Yu-Ru Liu

Fields and Galois Theory Fall 2004 Professor Yu-Ru Liu Fields and Galois Theory Fall 2004 Professor Yu-Ru Liu CHRIS ALMOST Contents 1 Introduction 3 1.1 Motivation....................................................... 3 1.2 Brief Review of Ring Theory............................................

More information

THE GALOIS CORRESPONDENCE

THE GALOIS CORRESPONDENCE THE GALOIS CORRESPONDENCE KEITH CONRAD 1. Introduction Let L/K be a field extension. A K-automorphism of L is a field automorphism σ : L L which fixes the elements of K: σ(c) = c for all c K. The set of

More information

1. a) Let ω = e 2πi/p with p an odd prime. Use that disc(ω p ) = ( 1) p 1

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

Section V.7. Cyclic Extensions

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

More information

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

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

More information

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

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

More information

PRIME NUMBERS IN CERTAIN ARITHMETIC PROGRESSIONS M. Ram Murty 1 & Nithum Thain Introduction

PRIME NUMBERS IN CERTAIN ARITHMETIC PROGRESSIONS M. Ram Murty 1 & Nithum Thain Introduction Functiones et Approximatio XXXV (2006), 249 259 PRIME NUMBERS IN CERTAIN ARITHMETIC PROGRESSIONS M. Ram Murty 1 & Nithum Thain 2 Dedicated to Professor Eduard Wirsing on the occasion of his 75th birthday

More information

ALGEBRA QUALIFYING EXAM SPRING 2012

ALGEBRA QUALIFYING EXAM SPRING 2012 ALGEBRA QUALIFYING EXAM SPRING 2012 Work all of the problems. Justify the statements in your solutions by reference to specific results, as appropriate. Partial credit is awarded for partial solutions.

More information

Algebra SEP Solutions

Algebra SEP Solutions Algebra SEP Solutions 17 July 2017 1. (January 2017 problem 1) For example: (a) G = Z/4Z, N = Z/2Z. More generally, G = Z/p n Z, N = Z/pZ, p any prime number, n 2. Also G = Z, N = nz for any n 2, since

More information

GALOIS GROUPS AS PERMUTATION GROUPS

GALOIS GROUPS AS PERMUTATION GROUPS GALOIS GROUPS AS PERMUTATION GROUPS KEITH CONRAD 1. Introduction A Galois group is a group of field automorphisms under composition. By looking at the effect of a Galois group on field generators we can

More information

Real representations

Real representations Real representations 1 Definition of a real representation Definition 1.1. Let V R be a finite dimensional real vector space. A real representation of a group G is a homomorphism ρ VR : G Aut V R, where

More information

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

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

More information