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

Similar documents
Math 121 Homework 6 Solutions

Page Points Possible Points. Total 200

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

3 Galois Theory. 3.1 Definitions and Examples

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

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

Field Theory Qual Review

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

FIELD THEORY. Contents

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

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

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille

1. Group Theory Permutations.

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

GALOIS THEORY AT WORK

9. Finite fields. 1. Uniqueness

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

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

Math 121 Homework 5 Solutions

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

Keywords and phrases: Fundamental theorem of algebra, constructible

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.

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

Galois theory (Part II)( ) Example Sheet 1

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

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

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

Section 33 Finite fields

Galois Theory and the Insolvability of the Quintic Equation

Galois Theory TCU Graduate Student Seminar George Gilbert October 2015

Homework 4 Algebra. Joshua Ruiter. February 21, 2018

GALOIS GROUPS AS PERMUTATION GROUPS

Name: Solutions Final Exam

Automorphisms and bases

Notes on graduate algebra. Robert Harron

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

MAT 535 Problem Set 5 Solutions

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

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

Section VI.33. Finite Fields

A PROOF OF BURNSIDE S p a q b THEOREM

Exercise solutions to Abstract Alebra

Math 121 Homework 2 Solutions

EXTENSIONS OF ABSOLUTE VALUES

Fields and Galois Theory

1 The Galois Group of a Quadratic

Chapter 4. Fields and Galois Theory

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

Practice Algebra Qualifying Exam Solutions

Part II Galois Theory

SOLVING SOLVABLE QUINTICS. D. S. Dummit

Math 120: Homework 6 Solutions

GALOIS THEORY AT WORK: CONCRETE EXAMPLES

ORAL QUALIFYING EXAM QUESTIONS. 1. Algebra

MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION

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

1 Spring 2002 Galois Theory

Finite Fields. Sophie Huczynska. Semester 2, Academic Year

Profinite Groups. Hendrik Lenstra. 1. Introduction

Sample algebra qualifying exam

Public-key Cryptography: Theory and Practice

Some practice problems for midterm 2

Part II Galois Theory

Course 311: Abstract Algebra Academic year

SOME EXAMPLES OF THE GALOIS CORRESPONDENCE

Chapter 8. P-adic numbers. 8.1 Absolute values

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

M3P11/M4P11/M5P11. Galois Theory

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

OSTROWSKI S THEOREM. Contents

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

GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS

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

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

TC10 / 3. Finite fields S. Xambó

Algebra SEP Solutions

Chapter V. Solvability by Radicals

Algebra Qualifying Exam Solutions. Thomas Goller

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

18. Cyclotomic polynomials II

Solutions for Problem Set 6

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

RUDIMENTARY GALOIS THEORY

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

ALGEBRA 11: Galois theory

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

QUALIFYING EXAM IN ALGEBRA August 2011

Ramification Theory. 3.1 Discriminant. Chapter 3

Quasi-reducible Polynomials

ALGEBRA QUALIFYING EXAM SPRING 2012

Fields and Galois Theory Fall 2004 Professor Yu-Ru Liu

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

Algebraic Number Theory and Fermat s Last Theorem

Graduate Preliminary Examination

Some algebraic number theory and the reciprocity map

Galois Theory and Some Applications

Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018

Math 120 HW 9 Solutions

A BRIEF INTRODUCTION TO LOCAL FIELDS

Transcription:

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. 1. 2 / Q. Otherwise 2 is a rational number; a contradiction. 2. 3 / 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. 3. 5 / 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 σ 5 2 2 3 3 5 5 2 2 3 3 5 5 2 2 3 3 5 5 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

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

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

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

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, σ 2 1 1 1 σ 3 1 1 1 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. στ 1 1 1 t, τστ 1 1 t, and στστ 1 1 1 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 ( ) 3 1 + 1 1 1 + 1 () σ(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,

as desired. Analogously, ( ( 1 ) ) 2 3 t 1 + 1 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 )],

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

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