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

Size: px
Start display at page:

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

Transcription

1 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 of the splitting field of this polynomial. Proof. Note that the splitting field of the polynomial is Q( 2)( 3)( 5) if we show that 2 / Q, 3 / Q( 2) and 5 / Q( 2)( 3). We sketch the implication without being rigorous as the computations are straight forward / Q. Otherwise 2 is a rational number; a contradiction / Q( 2). Otherwise 3 has the form a + b 2, with a, b Q. By taking the square, if follows that either a or b are equal to 0, otherwise 2 Q. If a 0 then 3/ 2 Q; a contradiction. If b 0 then 3 Q; again, a contradiction / Q( 2)( 3). Otherwise, 5 has the form a + b 2 + c 3 + d 6, with a, b, c, d Q [example 2, section 13.2 in Dummit and Foote]. By taking the square, we see that 3 Q( 2) (a contradiction to the above statement) unless 5 has the form a + b 2, with a, b Q. Again a contradiction, since it implies 2 Q. Thus Q( 2)( 3)( 5) is the splitting field of the polynomial, and furthermore its degree extension is 8 (since the quadratic polynomials are minimal in the respective extensions). It follows that its Galois group is also of order 8. Since roots of minimal polynomial are mapped to other roots of the same minimal polynomial, we have the following natural choices for automorphisms in the Galois group: σ 2 σ 3 σ Note that these automorphisms are pairwise commutative and of order 2. Therefore our Galois group is isomorphic to Z / 2 Z / 2 Z / 2. From here we check the structure of this group (via internet) and see that it contains the following proper subgroups, together with their corresponding subfields: 1

2 i) of order 2: ii) of order 4: σ 2 Q( 3)( 5) σ 3 Q( 2)( 5) σ 5 Q( 2)( 3) σ 2 σ 3 Q( 5)( 6) σ 2 σ 5 Q( 3)( 10) σ 3 σ 5 Q( 2)( 15) σ 2 σ 3 σ 5 Q( 6)( 10) σ 2, σ 3 Q( 5) σ 2, σ 5 Q( 3) σ 3, σ 5 Q( 2) σ 2, σ 3 σ 5 Q( 15) σ 3, σ 2 σ 5 Q( 10) σ 5, σ 2 σ 3 Q( 6) σ 2 σ 3, σ 2 σ 5 Q( 30). Exercise 11. Suppose f(x) Z[x] is an irreducible quartic whose splitting field has Galois group S 4 over Q. Let θ be a root of f(x) and set K Q(θ). Prove that K is an extension of Q of degree 4 which has no proper subfields. Are there any Galois extensions of Q of degree 4 with no proper subfields? Proof. Since f(x) is irreducible in Z[x] it is also irreducible in Q[x] then, by corollary 7[Dummit and Foote, section 13.1] the extension K / Q is of degree 4. Now, let J be the splitting field of f(x) and assume that a proper subfield L K exists. By the Fundamental Theorem of Galois Theory J, K, L, Q are in correspondence with subgroups of S 4. In particular, the extension K / L permutes the other 3 roots of f(x) therefore Gal(K / L) S 3. It suffices to show that there are no proper subgroups between S 4 and S 3. Which we show by looking at the group lattice of S 4. Figure 1: Group structure of S 4 For the second part, if the Galois extension is of degree 4, then it is in correspondence to a group of order 4. By Cauchy theorem, this group must have a normal subgroup of order 2 and thus, such extension will always have a proper subfield. 2

3 Exercise 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 the norm of α from K to F to be N K/F (α) σ(α), σ where the product is taken over all the embeddings of K into an algebraic closure of F. This is a product of Galois conjugates of α. In particular, if K/F is Galois this is σ(α). i. Prove that N K/F (α) F. σ Gal(K/F ) ii. Prove that N K/F (αβ) N K/F (α)n K/F (β), so that the norm is a multiplicative map from K to F. Proof. By definition N K/F (αβ) σ σ σ(αβ) σ(α)σ(β) σ σ(α) σ σ(β) N K/F (α)n K/F (β) as desired. iii. Let K F ( D) be a quadratic extension of F. Show that N K/F (a + b D) a 2 Db 2. Proof. Observe that D satisfies x 2 D 0, thus x 2 D splits in K and therefore it is a Galois extension. Since σ Gal(K / F ) permutes the roots of irreducible polynomials we have that, either σ is the trivial map, or σ( D) D. Thus N K/F (a + b D) σ σ(a + b D) (a + b D)(a b D) a 2 Db 2 as desired. iv. Let m α (x) x d +a d 1 x d 1 + +a 1 x+a 0 F [x] be the minimal polynomial for α K. Let n [K : F ]. Prove that d divides n, that there are d distinct Galois conjugates of α which are all repeated n/d times in the product above and conclude that N K/F (α) ( 1) n a n/d 0. Proof. First, consider the field extensions K / F and F (α) / F. The latter is of degree d from the minimal polynomial m α (x). Then, by the basic property, [K : F ] [K : F (α)] [F (α) : F ] we see that n [K : F (α)] d. Thus d divides n. Now, since K has degree n over F, the order of Gal(K/F ) is n. Furthermore, σ Gal(K/F ) 3

4 sends α to a root of the minimal polynomial m α (x). We see that there are d distinct roots of m α (x), and thus α is mapped to a different root n/d times. Then, N K/F (α) σ ( d ) n/d σ(α) α i where {α i } d is the set of roots of the minimal polynomial. Finally, the coefficient a 0 in m α (x) satisfies d a 0 ( 1) d thus, α i N K/F (α) ( 1) n a n/d 0. Exercise 18. With notation as in the previous problem, define the trace of α from K to F to be Tr K/F (α) σ(α) σ a sum of Galois conjugates of α. i. Prove that Tr K/F (α) F. ii. Prove that Tr K/F (α + β) Tr K/F (α) + Tr K/F (β), so that the trace is an additive map from K to F. Proof. By definition Tr K/F (α + β) σ σ σ(α + β) (σ(α) + σ(β)) σ σ(α) + σ σ(β) Tr K/F (α) + Tr K/F (β) as we wanted. iii. Let K F ( D) be a quadratic extension of F. Show that Tr K/F (a + b D) 2a. Proof. Using the same reasoning as in Exercise 17, iii. we see that Tr K/F (a + b D) σ σ(a + b D) (a + b D) + (a b D) 2a. iv. Let m α (x) be as in the previous problem. Prove that Tr K/F (α) n d a d 1. 4

5 Proof. Analogous to part iv. in the previous exercise, α is mapped to one of its conjugates n/d times. Therefore Tr K/F (α) σ(α) n d α i d σ where {a i } d is the set of roots of m α (x). Now, observe that the coefficient a d 1 of m α (x) satisfies d α i a d 1 thus, Tr K/F (α) n d a d 1. Exercise 29. Let k be a field and let k(t) be the field of rational functions n variable t. Define the maps σ and τ form k(t) to itself by σ(f) f ( 1 ) and τ(f) f ( 1 t ) for f (t). i. Prove that σ and τ are automorphisms of k(t) and that the group G σ, τ they generate is isomorphic to S 3. Proof. We prove this by means of exercise 8 [Section 14.1, Dummit and Foote]. The map t at+b is an automorphism of the rational function field k(t) whenever a, b, c, d k and ct+d ad bc 0. Clearly σ and τ satisfy this condition. To prove that G S 3 it suffices to show that σ 3 τ 2 t (the identity map) and that τστ σ 1 (this is the usual representation of S 3 by generators). Clearly τ 2 t, and furthermore, σ σ t 1 t 1 1 t then, 1 (1 t) t. It is left to show that τστ σ 1, or equivalently, στστ t. Observe that as we wanted. στ t, τστ 1 1 t, and στστ ii. Prove that the element t (t2 t + 1) 3 ( 1 ( 1 ()+() 2 1 (1 t) t t 2 (t 1) 2 is fixed by all the elements of G. Proof. It suffices to check that the generators of G fix t. Observe that ( ( 1 ) ) 2 3 ( ) () σ(t) ) 2 ( 1 1) 2 2 ) 2 () 2 ) 3 ( 1 t () 2 ) 2 ( 1 1 () () 2 (+t 2 ) 3 () 6 t 2 () 4 5 (1 t + t2 )3 t 2 (1 t) 2 (1 t + t2 ) 3 t 2 (t 1) 2,

6 as desired. Analogously, ( ( 1 ) ) 2 3 t t τ(t) ( 1 ) 2 ( 1 1) 2 t t Hence, t is fixed by G. ( ) 3 +t 2 t ( 2 1 ) ( ) 2 t 2 t (+t 2 ) 3 t 6 () 2 t 4 (1 t + t2 )3 t 2 (1 t) 2 (1 t + t2 ) 3 t 2 (t 1) 2. iii. Prove that k(t) is precisely the fixed field of G in k(t). Proof. We have shown in exercise 18 [Section 13.2, Dummit and Foote] that the degree of the extension k(t) / ( ) (t 2 t + 1) 3 k t 2 (t 1) 2 is precisely max{deg(t 2 t + 1) 3, deg t 2 (t 1) 2 } 6. Furthermore, let K be the fixed field described in ii., the previous part shows that [k(t) : K] 6 as well. Then, by the basic property we have [ K : k [ k(t) : k ( )] (t 2 t + 1) 3 [k(t) : K] t 2 (t 1) 2 ( )] (t 2 t+1) 3 1 and therefore K k t 2 (t 1) 2 [ K : k ( (t 2 t + 1) 3 ( (t 2 t+1) 3 t 2 (t 1) 2 ). t 2 (t 1) 2 Exercise 31. Let K be a finite extension of degree n over F. Let α be an element of K. i. Prove that α acting by left multiplication on K is an F -linear transformation T α of K. Proof. Let x, y be elements of K and c be an element of F. Then, T α (c(x + y)) T α (cx + cy) α(cx + cy) αcx + αcy cαx + cαy ct α (x) + ct α (y). Thus, T α is F -linear. ii. Prove that the minimal polynomial for α over F is the same as the minimal polynomial for the linear transformation T α. Proof. Let m α (x) n i0 c ix i be the minimal polynomial of α over F. Then, by the linearity in part i. m α (T α ) n c i(t α ) i is the map ( n ) x c i (α) i x where n c i(α) i m α (α) 0. Thus m α (T α ) 0, and furthermore, this polynomial is irreducible by definition. Thus m α (x) is the minimal polynomial of T α. iii. Prove that the trace Tr K/F (α) is the trace of the n n matrix defined by T α. Prove that the norm N K/F (α) is the determinant of T α. Proof. Let f(x) be the characteristic polynomial of T α and m(x) be its minimal polynomial as in ii. Since the characteristic polynomial of T α divides some power of the minimal polynomial, and in our case, the minimal polynomial is irreducible it must hold that deg m deg f. Therefore f is of the form f(x) (m(x)) deg f/ deg m. We see the following 6 )],

7 a) By Exercise 17 above we have N K/F (α) ( 1) n deg f/ deg m c0 which coincides with the constant coefficient in f(x), and hence with the determinant of T α. b) By Exercise 18 above we have Tr K/F (α) deg f deg m c deg m 1 which coincides with the negative of the coefficient of x deg f 1 in f(x), and hence with the trace of T α. Section 14.3 Exercise 5. Exhibit an explicit isomorphism between the splitting fields of x 3 x + 1 and x 3 x 1 over F 3. Construction. First we will show that F 3 / x 3 x+1 is the splitting field of f(x) x 3 x+1. First, note that f(x) is irreducible, as it has no roots over F 3, (f(0) f(1) f(2) 1). By artificially adjoining a root of f(x), let it be θ, we get the extension F 3 (θ) (isomorphic to F 3 / x 3 x + 1 ). Now, observe that f(θ + z) evaluates to (θ + z) 3 (θ + z) + 1 θ 3 + z 3 θ z + 1 (θ 3 θ + 1) + (z 3 z) z 3 z. With z 3 z 0 for all z F 3. Thus F 3 (α) contains all roots of f(x) and therefore it splits. By an analogous argument the splitting field of g(x) x 3 x 1 is the field extension F 3 / x 3 x 1. Now consider the map ϕ : F 3 [x] F 3 [x] / x 3 x 1 given by the evaluation ϕ(h) h(θ) with θ as before. Since evaluation is a ring homomorphism it suffices to show that ker ϕ x 3 x + 1, so that by the first isomorphism theorem F 3 [x] / x 3 x + 1 F 3 [x] / x 3 x 1. Since θ is a root of f, we immediately see that ϕ(f) f(θ) 0. Thus f ker ϕ. Conversely, take h ker ϕ, therefore h(θ) 0. Since f is irreducible, it is also the minimal polynomial of θ in F 3. Therefore f divides h, and hence h f. It follows that ker ϕ f and the construction of the isomorphism is complete. Exercise 10. Prove that n divides ϕ(p n 1). [Observe tat ϕ(p n 1) is the order of the group of automorphisms of a cyclic group of order p n 1.] Proof. Consider G ( Z / (p n 1)Z ) ; the group of units of integers modulo p n 1. The order of G is ϕ(p n 1). Note that p G as it is relatively prime to p n 1. Now we inspect the order of p in G. Clearly p n 1 mod (p n 1), and by construction, n is the smallest number for which this is true. Thus, the order of p in G in n. Then, by Lagrange s n divides the order of G, ϕ(p n 1). 7

8 Section 14.6 Exercise 2. Determine the Galois groups of the following polynomials: Note: the field is not stated in the original source of the problem, I presume it is intended to be Q. i. x 3 x 2 4. Solution. Note that x 3 x 2 4 (x 2)(x 2 + x + 2). The latter factor has discriminant equal to 7. Hence, the Galois group is isomorphic to S 2. ii. x 3 2x + 4. Solution. This polynomial is irreducible by the rational root test. Furthermore, its discriminant is equal to 560, thus its Galois group is isomorphic to S 3. iii. x 3 x + 1. Solution. This polynomial is irreducible by the rational root test. Furthermore, its discriminant is equal to 23, thus its Galois group is isomorphic to S 3. iv. x 3 + x 2 2x 1. Solution. This polynomial is irreducible by the rational root test. Furthermore, its discriminant is equal to 49, thus its Galois group is isomorphic to A 3. 8

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

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

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

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

Field Theory Qual Review

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

More information

Math 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

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

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

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

More information

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

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

More information

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 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is

More information

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

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

φ(xy) = (xy) n = x n y n = φ(x)φ(y) Groups 1. (Algebra Comp S03) Let A, B and C be normal subgroups of a group G with A B. If A C = B C and AC = BC then prove that A = B. Let b B. Since b = b1 BC = AC, there are a A and c C such that b =

More information

GALOIS THEORY AT WORK

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

More information

9. Finite fields. 1. Uniqueness

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

More information

Finite Fields. [Parts from Chapter 16. Also applications of FTGT]

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

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

Math 121 Homework 5 Solutions

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

More information

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

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

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

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

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

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

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

Section 33 Finite fields

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

More information

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

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

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

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

Name: Solutions Final Exam

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

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

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

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

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

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 2.1 Exercise (6). Let G be an abelian group. Prove that T = {g G g < } is a subgroup of G.

More information

Section VI.33. Finite Fields

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

More information

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

Exercise solutions to Abstract Alebra

Exercise solutions to Abstract Alebra Exercise solutions to Abstract Alebra SOME PROBLEMS IN ELEMENTARY ABSTRACT ALGEBRA Don't just copy solutions, but do the problems by yourself first. Note: References may be in a mess. All outside references

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

EXTENSIONS OF ABSOLUTE VALUES

EXTENSIONS OF ABSOLUTE VALUES CHAPTER III EXTENSIONS OF ABSOLUTE VALUES 1. Norm and Trace Let k be a field and E a vector space of dimension N over k. We write End k (E) for the ring of k linear endomorphisms of E and Aut k (E) = End

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

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

Chapter 4. Fields and Galois Theory

Chapter 4. Fields and Galois Theory Chapter 4 Fields and Galois Theory 63 64 CHAPTER 4. FIELDS AND GALOIS THEORY 4.1 Field Extensions 4.1.1 K[u] and K(u) Def. A field F is an extension field of a field K if F K. Obviously, F K = 1 F = 1

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

Practice Algebra Qualifying Exam Solutions

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

Part II Galois Theory

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)

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

Math 120: Homework 6 Solutions

Math 120: Homework 6 Solutions Math 120: Homewor 6 Solutions November 18, 2018 Problem 4.4 # 2. Prove that if G is an abelian group of order pq, where p and q are distinct primes then G is cyclic. Solution. By Cauchy s theorem, G has

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

ORAL QUALIFYING EXAM QUESTIONS. 1. Algebra

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)

More information

MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION

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

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

Finite Fields. Sophie Huczynska. Semester 2, Academic Year

Finite Fields. Sophie Huczynska. Semester 2, Academic Year Finite Fields Sophie Huczynska Semester 2, Academic Year 2005-06 2 Chapter 1. Introduction Finite fields is a branch of mathematics which has come to the fore in the last 50 years due to its numerous applications,

More information

Profinite Groups. Hendrik Lenstra. 1. Introduction

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

More information

Sample algebra qualifying exam

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)

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

Some practice problems for midterm 2

Some practice problems for midterm 2 Some practice problems for midterm 2 Kiumars Kaveh November 14, 2011 Problem: Let Z = {a G ax = xa, x G} be the center of a group G. Prove that Z is a normal subgroup of G. Solution: First we prove Z is

More information

Part II Galois Theory

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

More information

Course 311: Abstract Algebra Academic year

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

More information

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

Chapter 8. P-adic numbers. 8.1 Absolute values

Chapter 8. P-adic numbers. 8.1 Absolute values Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.

More information

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

(January 14, 2009) q n 1 q d 1. D = q n = q + d (January 14, 2009) [10.1] Prove that a finite division ring D (a not-necessarily commutative ring with 1 in which any non-zero element has a multiplicative inverse) is commutative. (This is due to Wedderburn.)

More information

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

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

OSTROWSKI S THEOREM. Contents

OSTROWSKI S THEOREM. Contents OSTROWSKI S THEOREM GEUNHO GIM Contents. Ostrowski s theorem for Q 2. Ostrowski s theorem for number fields 2 3. Ostrowski s theorem for F T ) 4 References 5. Ostrowski s theorem for Q Definition.. A valuation

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

GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS

GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS JENNY WANG Abstract. In this paper, we study field extensions obtained by polynomial rings and maximal ideals in order to determine whether solutions

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 Foote (3rd edition). Bryan Félix Abril 12, 2017 Section 4.1 Exercise 1. Let G act on the set A. Prove that if a, b A b = ga for some g G, then G b = gg

More information

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

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

More information

TC10 / 3. Finite fields S. Xambó

TC10 / 3. Finite fields S. Xambó TC10 / 3. Finite fields S. Xambó The ring Construction of finite fields The Frobenius automorphism Splitting field of a polynomial Structure of the multiplicative group of a finite field Structure of the

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

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

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

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

18. Cyclotomic polynomials II

18. Cyclotomic polynomials II 18. Cyclotomic polynomials II 18.1 Cyclotomic polynomials over Z 18.2 Worked examples Now that we have Gauss lemma in hand we can look at cyclotomic polynomials again, not as polynomials with coefficients

More information

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

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

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

Section V.3. Splitting Fields, Algebraic Closure, and Normality (Supplement)

Section V.3. Splitting Fields, Algebraic Closure, and Normality (Supplement) V.3. Splitting Fields, Algebraic Closure, and Normality (Supplement) 1 Section V.3. Splitting Fields, Algebraic Closure, and Normality (Supplement) Note. In this supplement, we consider splitting fields

More information

ALGEBRA 11: Galois theory

ALGEBRA 11: Galois theory Galois extensions Exercise 11.1 (!). Consider a polynomial P (t) K[t] of degree n with coefficients in a field K that has n distinct roots in K. Prove that the ring K[t]/P of residues modulo P is isomorphic

More information

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

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

More information

QUALIFYING EXAM IN ALGEBRA August 2011

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

More information

Ramification Theory. 3.1 Discriminant. Chapter 3

Ramification Theory. 3.1 Discriminant. Chapter 3 Chapter 3 Ramification Theory This chapter introduces ramification theory, which roughly speaking asks the following question: if one takes a prime (ideal) p in the ring of integers O K of a number field

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

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

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

Algebraic Number Theory and Fermat s Last Theorem

Algebraic Number Theory and Fermat s Last Theorem Algebraic Number Theory and Fermat s Last Theorem Edward Evans Project Advisor: Dr. Daniel Robertz, School of Computing, Electronics, and Mathematics, Plymouth University, Drake Circus, Plymouth, PL4 8AA

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

Some algebraic number theory and the reciprocity map

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

More information

Galois Theory and Some Applications

Galois Theory and Some Applications Galois Theory and Some Applications Aparna Ramesh July 19, 2015 Introduction In this project, we study Galois theory and discuss some applications. The theory of equations and the ancient Greek problems

More information

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

Math 120 HW 9 Solutions

Math 120 HW 9 Solutions Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z

More information

A BRIEF INTRODUCTION TO LOCAL FIELDS

A BRIEF INTRODUCTION TO LOCAL FIELDS A BRIEF INTRODUCTION TO LOCAL FIELDS TOM WESTON The purpose of these notes is to give a survey of the basic Galois theory of local fields and number fields. We cover much of the same material as [2, Chapters

More information