Polynomial Rings and Galois Theory

Similar documents
Polynomial Rings and Galois Theory

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

AN INTRODUCTION TO GALOIS THEORY

NOTES ON FINITE FIELDS

GALOIS THEORY. Contents

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

CHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and

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

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

Theorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u.

RUDIMENTARY GALOIS THEORY

Part II Galois Theory

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

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

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

GALOIS THEORY I (Supplement to Chapter 4)

FIELD THEORY. Contents

Galois theory (Part II)( ) Example Sheet 1

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

55 Separable Extensions

MAT 535 Problem Set 5 Solutions

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.

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

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

MT5836 Galois Theory MRQ

Galois Theory and the Insolvability of the Quintic Equation

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples

MATH 326: RINGS AND MODULES STEFAN GILLE

1. Group Theory Permutations.

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

Galois theory and the Abel-Ruffini theorem

Part II Galois Theory

MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION

Fields. Victoria Noquez. March 19, 2009

Solutions of exercise sheet 6

RINGS: SUMMARY OF MATERIAL

50 Algebraic Extensions

Factorization in Polynomial Rings

ALGORITHMS FOR COMPUTING QUARTIC GALOIS GROUPS OVER FIELDS OF CHARACTERISTIC 0

Factorization in Integral Domains II

Galois Theory, summary

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

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

54.1 Definition: Let E/K and F/K be field extensions. A mapping : E

Graduate Preliminary Examination

Section III.6. Factorization in Polynomial Rings

Rings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R.

Algebraic Cryptography Exam 2 Review

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


Finite Fields. Sophie Huczynska. Semester 2, Academic Year

Math 120 HW 9 Solutions

ALGEBRA 11: Galois theory

Course 311: Hilary Term 2006 Part IV: Introduction to Galois Theory

Galois theory of fields

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

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

Quasi-reducible Polynomials

Algebra Exam, Spring 2017

GALOIS THEORY AT WORK: CONCRETE EXAMPLES

GALOIS THEORY BRIAN OSSERMAN

Chapter 11: Galois theory

Module MA3411: Galois Theory Michaelmas Term 2009

Finite Fields. Sophie Huczynska (with changes by Max Neunhöffer) Semester 2, Academic Year 2012/13

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

Module MA3411: Abstract Algebra Galois Theory Michaelmas Term 2013

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

Galois Theory of Cyclotomic Extensions

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.

Homework 4 Algebra. Joshua Ruiter. February 21, 2018

Lecture 7: Polynomial rings

Galois Theory TCU Graduate Student Seminar George Gilbert October 2015

MAIN THEOREM OF GALOIS THEORY

Chapter 8. P-adic numbers. 8.1 Absolute values

Math 121. Fundamental Theorem and an example

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

Algebra Review. Instructor: Laszlo Babai Notes by Vincent Lucarelli and the instructor. June 15, 2001

M345P11 Galois Theory

GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS

ABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK

MTH 401: Fields and Galois Theory

Course 311: Abstract Algebra Academic year

Solutions of exercise sheet 8

Algebra Qualifying Exam, Fall 2018

120A LECTURE OUTLINES

IUPUI Qualifying Exam Abstract Algebra

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

Algebra Prelim Notes

ALGEBRA QUALIFYING EXAM SPRING 2012

Algebraic structures I

Polynomial Rings. i=0. i=0. n+m. i=0. k=0

Exercises on chapter 1

Outline. MSRI-UP 2009 Coding Theory Seminar, Week 2. The definition. Link to polynomials

SPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS

SOLVING SOLVABLE QUINTICS. D. S. Dummit

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

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

Math 121 Homework 2 Solutions

Practice problems for first midterm, Spring 98

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.

Transcription:

Polynomial Rings and Galois Theory Balázs Szendrői Introduction Galois theory studies the symmetries of the roots of a polynomial equation. The existence of the two solutions (1) x 1,2 = b ± p b 2 4c 2 of the polynomial equation x 2 + bx + c =0 can be thought of a symmetry of the situation. Assuming that the roots x 1,2 are (real or complex but) irrational, we have the following. Solutions generate a field extension K = Q(x 1,x 2 ) of degree two of the rational field Q. K has a field automorphism (symmetry) defined by (x 1 )=x 2, giving rise to a group G = {Id K, } acting on K. =Id K, so as an abstract group, {e, } is of order two, isomorphic to C 2. The rational subfield Q is precisely the subfield of K fixed by both Id K and. The main aim of this course is to study groups of automorphisms of field extensions, their fixed subfields, and the relationship between the structure of field extensions and the structure of the associated groups. We will pay special attention to the question whether a general polynomial has roots expressible by a formula consisting of field operations and taking n-th roots, as in formula (1) for the quadratic polynomial. It was known by the 16th century that such a formula exists if deg f apple 4 (Tartaglia, Cardano, Ferrari). In contrast, it was discovered in the 19th century that there is usually no such formula for deg f 5(Ru ni, Abel, Galois). We will prove these results as an application of our structure theory of field extensions. 1. Rings, Fields and Polynomial Rings 1.1. Rings and domains. Recall that R is a ring if it has addition, additive inverses, an additive identity 0 2 R, and it also has multiplication that is distributive over addition. All our rings will also have a multiplicative identity 1 2 R, and will have both operations commutative and associative. Ring homomorphisms f : R! S between rings are required to map the multiplicative identity of R to that of S. For example, Z is a ring while N is not a ring; the map f : Z! Z defined by f(n) = 0 is not a ring homomorphism. AringR is an integral domain, if there are no zero-divisors, i.e. ab =0implies that a = 0 or b = 0. A subset I of a ring R is said to be an ideal, denoted I E R, if (1) for a 2 R, x 2 I, wehavexa 2 I; (2) 0 2 I and for a, b 2 I, wehavea + b, a 2 I. 1

2 Given a ring R and an ideal I, there is a quotient ring R/I consisting of residue classes of elements of R modulo I. Example. Any ideal in the ring of integers is of the form nz = {0, ±n, ±2n,...} E Z. The corresponding quotient ring is Z/nZ, which is a domain if and only if it is a field if and only if n is prime. Given any ring R we can define a ring homomorphism : Z! R such that 8 1+1+... +1(n 0) {z } >< n times (n) = (1 + 1 +... + 1) >: {z } (n<0) n times Its kernel ker = {n 2 Z : (n) =0} is an ideal in Z. So 0 ker = nz. In the first case, Z is a subring of R, and we say R has characteristic 0. In the latter case, Z/nZ becomes a subring of R, and we say that R has characteristic n. In both cases, we call this the prime subring of R. The characteristic of a domain is 0 or a prime number. 1.2. Fields. A ring K is a field if non-zero elements have multiplicative inverses. A field is automatically an integral domain, and therefore has characteristic 0 or prime p. In the first case, we have Q K, in the latter case, F p K, theprime subfield of K. Proposition. Given an integral domain R, there is a field K, thefield of fractions of R, with the following properties: there is a homomorphism : R! K which is injective and for every x 2 K, there are a, b 2 R such that x = (a) (b). Proof. Construct K as the set of pairs (a, b), a 2 R, b 2 R\{0} under the equivalence relation (a, b) (a 0,b 0 ) () ab 0 = ba 0.ThenKhas addition (a, b)+(c, d) = (ad + bc, bd) and multiplication (a, b)(c, d) =(ac, bd). This has all the required structure including multiplicative inverses: (a, b)(b, a) = 1 for a, b 6= 0. Hence K is a field. The homomorphism : R! K is given by (a) =(a, 1) and (a, b) = (a) (b) if b 6= 0. Lemma. (i) Let K be a field, I E K. Then either I = {0} or I = K. (ii) Let K, L be fields. Then if f : K! L is a ring homomorphism, then f is injective. Proof. (i) For a 6= 02 I, a 1 2 K and so 1 2 I. Then for b 2 K, 1b 2 I and thus K I. SoI = K. Part (ii) follows from (i). ker f = {a 2 K : f(a) =0} E K. Soeitherkerf = K, and so f(1) = 0 which cannot happen as f(1) = 1, or ker f = {0} and thus f is injective.

3 1.3. Polynomial Rings. Given a ring R, we can form another ring by considering ( dx ) R[x] = a i x i : a i 2 R, i=0 the set of all polynomials with coe cients in R. This becomes a ring by extending the addition and multiplication in the usual way ( opening the bracket ). For a nonzero polynomial f 2 R[x], its degree deg f is the largest n for which a n 6= 0. A polynomial f 2 R[x] is said to be monic if its leading coe cient is 1. Given a polynomial f 2 K[x], 2 K is a root of f if f( ) = 0. Lemma. If R is a domain, then R[x] is a domain. Proof. Suppose f,g 6= 02 R[x] with leading coe cients a N x N and b M x M. Then since these are leading coe cients, they are non-zero. But since R is a domain, a N b M 6= 0 and so fg 6= 0. So R[x] is a domain. Now let K be a field. We get a ring K[x], the polynomial ring over K, and its field of fractions f(x) K(x) = : f,g 2 K[x],g 6= 0. g(x) Definition. (1) A polynomial f 2 K[x] is said to be irreducible if f = gh only if deg g = 0 or deg h = 0. (2) A polynomial f 2 K[x] divides a polynomial g, writtenf g, ifthereexists h 2 K[x] such that g = fh. (3) A polynomial f 2 K[x] isprime, ifwheneverf gh, (f g) or (f h). An ideal I is said to be prime if ab 2 I implies a 2 I or b 2 I. Hence f is prime in K[x] if and only if (f) is a prime ideal. Recall Proposition. K[x] is a Euclidean ring; that is, given two monic polynomials f,g with deg g 1 then there exist q, r 2 K[x] wth deg r<deg g, satisfyingf = gq + r. This implies Theorem. If K is a field, then K[x] is a unique factorization domain. That is, (1) The irreducible polynomials are precisely the prime polynomials. (2) Given f 6= 02 K[x], it can be expressed as a product f = f 1 f 2 f 3...f n of irreducibles in an essentially unique way (up to rearrangement and multiplication by scalars). Corollary. Let K be a field. (1) Given a polynomial f 2 K[x], a 2 K is a root if f(a) =0 () f(x) = (x a)g(x). (2) Given f 2 K[x], there exists distinct roots a i 2 K, multiplicities m i 2 N, and g 2 K[x] without roots, such that f = g(x) Y i (x a i ) mi. Concerning irreducibility, we have the important and useful

4 Lemma. (Gauss Lemma) Let f 2 Z[x] be monic. Then f is irreducible in Z[x], if and only if f is irreducible in Q[x]. Corollary. Let f be a monic polynomial with integer coe cients and deg f apple 3. Then if f has no integral root, then f is irreducible in Q[x]. Proof. By Gauss Lemma, f(x) isreducibleinq[x] if and only if f(x) isreducible in Z[x] if and only if f = f 1 f 2 with 1 apple deg f 1, 1 apple deg f 2. Since we have made the assumption that deg f = 3, it must be that deg f 1 = 1 (wlog) and so f =(x )f 2 (x). Then 2 Z is a root. Proposition. (Eisenstein s Criterion) Let Xd 1 f(x) =x d + a i x i be a monic polynomial over Z. Suppose that for some prime p, we have that p a i for 0 apple i<d, but p 2 - a 0. Then f(x) is irreducible over Z. We are interested in methods of determining whether monic polynomials are irreducible in Z[x] (and hence in Q[x]). There are various tools that can be used to do this: (1) Eisenstein s criterion. (2) More generally, reduction modulo p, for p a prime. Given a polynomial f 2 Z[x], we have (f mod p) 2 F p [x] = P (a i mod p)x i. Clearly, if f = gh then f p gh. Conversely, if for some p, (f mod p) isirreducible,soiff. Checking irreducibility in F p [x] is a finite (though perhaps cumbersome) task, since we have only finitely many choices for each coe cient in a splitting. (3) Substitution: if f(x) = g(x)h(x) thenf(x a) = g(x a)h(x a). So f(x a) irreducibleimpliesf(x) is irreducible. There is an example of this on a problem sheet. This might help (say by the fact that f(x a) maybe an Eisenstein polynomial). (4) Tricks and ingenuity. 2.1. Basic notions. i=0 2. Group Actions on Rings and Fields Definition. A group G acts on a ring R (on the left) if for every g 2 G, we are given a ring automorphism (bijective ring homomorphism) g : R! R mapping a 7! g(a), such that for a 2 R and g, h 2 G, wehaveh(g(a)) = (hg)(a). (For G to act on R on the right, often written a 7! ag or a 7! a g,werequire(ag)h = a(gh)). Lemma. Let the group G act on the ring R. (1) Consider R G = {a 2 R : g(a) =a for all g 2 G}. Then R G is a subring of R. (2) If R = K is a field, then for g 2 G and a 2 K \{0} we have g(1) = 1 and g(a 1 )=(g(a)) 1. (3) If R = K is a field, then K G is a subfield, containing the prime subfield of K.

Proof. For (1), just use the subring test. For (2), g(1) = g(1 2 ) = g(1)g(1) so g(1) = 1 so 1 = g(1) = g(aa 1 )=g(a)g(a 1 ). For (3), taking an element a 2 K G we have that g(a 1 )=g(a) 1 = a 1 and so a 1 2 K G. Moreover, 1 is fixed, and the prime subfield consists of elements which are ratios of sums of 1, so the prime subfield must always be fixed. For K a field, denote by Aut(K) the group of all field automorphisms (bijective field homomorphisms) g : K! K, with the group operation being composition. More generally, for a field extension L/K, let Aut K (L) ={g 2 Aut(L) for all a 2 K, g(a) =a} denote the group of all field automorphisms of L over K. Using this notation, an action of a group G on a field K is a group homomorphism G! Aut(K). In most of our examples, this homomophism will be injective (di erent elements of G give di erent automorphisms of K) in which case we will call the action faithful. 2.2. Symmetric Polynomials. Take K a field and let R = K[x 1,x 2,...,x n ] be the polynomial ring in n variables. This is a domain, since we can define this iteratively adding one variable at a time. The ring R has an action by the symmetric group S n by permuting variables: if f(x 1,...,x n ) is a polynomial and 2 S n then f (x 1,...,x n )=f(x 1,...,x n ). (This is a right action; traditionally permutations 2 S n act on {1,...,n} on the right). Definition. The ring of symmetric polynomials is the fixed ring K[x 1,...,x n ] Sn. The following elementary symmetric polynomials are clearly elements of the ring K[x 1,...,x n ] Sn : 5 For example. X ky s k = x ij. i 1<i 2<...<i k j=1 s 1 = X i x i, and so on. s 2 = X x i x j, i<j s 3 = X x i x j x k, i<j<k Theorem. (Theorem on Symmetric Functions) K[x 1,...,x n ] Sn has the following structure. K[x 1,...,x n ] Sn = K[s 1,...,s n ]. In other words, every symmetric polynomial f 2 K[x 1,...,x n ] Sn is uniquely expressible as a polynomial of the elementary symmetric polynomials s i.

6 Proof. We use a trick. Introduce lexicographic ordering on monomials: call the monomial x a1 1...xan n larger than the monomial x b1 1...xbn n,ifa 1 >b 1, or a 1 = b 1 and a 2 >b 2 or... Suppose that f 2 K[x 1,...,x n ] Sn. We find the largest monomial term in f in the lexicographic ordering. Let this be Q i xai i.sincefissymmetric, and Q i xai i is the largest, we must have a 1 a 2... a n. Notice Q x ai i is also the largest term in the monomial Q s ai ai+1 i in the elementary symmetric functions. Now for some c 2 K, g = f c Y ai ai+1 si 2 K[x 1,...,x n ] Sn and the largest term in g is smaller than that of f. So we may repeat for g. This shows both that f can be written as a polynomial in the s i and that such a polynomial is unique. Remark. The proof is actually constructive: it gives us an algorithm to write a symmetric polynomial as a polynomial in the elementary symmetric polynomials. In practice, we often use this algorithm for the first few steps and then resort to guesswork and substitutions. Example. The sum of squares P i x2 i is not an elementary symmetric polynomial, but it is clearly symmetric. We have X x 2 i = s 2 1 2s 2. Proposition. i (1) The discriminant of x 1,...,x n, defined by = Y i<j(x i x j ) 2, is a symmetric polynomial, an element of K[x 1,...,x n ] Sn. (2) The expression = Y i<j( i j ) is not symmetric, but it is invariant under the alternating group A n <S n. Proof. (1) is clear. For (2), note that a transposition (ii+ 1) 2 S n multiplies by ( 1). So is certainly not invariant, but it is invariant for an even product of such transpositions. Such even products generate the alternating group A n. Example. For two variables, we have the well-known expression which is just the b 2 =(x 1 x 2 ) 2 = s 2 1 4s 2, 4c in the solution formula of the quadratic polynomial. 3. Field Extensions 3.1. Basic notions. A field extension M/K (or M : K)is just an injection of fields equivalently a field inclusion f : K! M, K M

7 which we will often write in diagram form as M K. In particular, if a group G acts on M, thenm G M is a subfield or M/M G is a field extension. The degree of a field extension M/K, denoted [M : K], is the vector space dimension dim K M,whichmaybeinfinite.M/K is called a finite extension if [M : K] is finite. Recall Proposition. (The Tower Law) If L/M/K are field extensions (finite or infinite) then [L : K] =[L : M][M : K]. Definition/Proposition. We say that a 2 M is algebraic over K, if f(a) =0for some non-zero polynomial f 2 K[x]. If a is algebraic over K, its minimal polynomial m a 2 K[x] over K is the unique monic polynomial of least degree satisfying m a (a) =0. This polynomial has the following properties. (1) m a is irreducible. (2) If f(a) =0for f 2 K[x], then m a divides f in K[x]. Definition. A field extension M/K is algebraic, if every elementa 2 M is algebraic over K. Otherwise,M/K is transcendental. Note that every finite extension is algebraic, but not every algebraic extension is finite. 3.2. Simple Extensions. Let M/K be a field extension and let a 2 M. The simple extension of K generated by a in M, denoted K(a), is the smallest subfield of M containing K and a. More generally, for a subset S of M, thefieldk(s) is the smallest subfield of M containing K and S. Example. (1) Let K be a field and K(t) the field of fractions of the polynomial ring K[t]. Then K(t) is a simple transcendental extension of K. (2) Q(i, p 2)/Q is a simple algebraic extension of Q, generated by p 2+i. Theorem. (Existence of simple extensions) (1) Given a field K and a monic irreducible polynomial m 2 K[x], there exists a field extension M/K with the following properties: (a) M = K( ) for some element 2 M. (b) The minimum polynomial of 2 M is exactly m. (c) [M : K] =degm. (2) Given L/K and 2 L algebraic over K, the simple extension K( ) of K in L is isomorphic to the extension constructed in (1) using the minimal polynomial m of over K. Proof. (i) m is monic and irreducible, so (m) is a prime ideal in K[x]. quotient ring M = K[x]/(m) So the is a field. Let 2 M be the image of x in M. Clearly every element of M is a polynomial in with coe cients in K and so M = K( ). Also, m 2 K[x] maps to 0 2 M, som( ) =0inM. The minimal polynomial of m divides m in K[x]. But

8 m is irreducible and so m = m. Finally, let m = x d + lower order terms 2 K[x]. Then {1,x,x 2,...,x d 1 } is a basis of M over K. (ii) 2 L is algebraic, and so has a minimal polynomial. Then can define a field homomorphism K[x]/(m )! L by mapping f(x) 7! f( ), well-defined since m ( ) = 0. So we get M,! L, and its image is exactly K( ). So we have M = K( ). Theorem. (Extending homomorphisms to simple extensions) Let M/K be a field extension, where 2 M is algebraic over K with minimal polynomial m. Let i : K! L be a field homomorphism and 2 L. Then there is a homomorphism j : K( )! L with the following properties: j K = i j( ) = if and only if i(m )( )=0, where i(m ) 2 L[x] is the image of m 2 K[x] under i. Proof. Suppose that such a j exists. Then i(m )( )=j(m )(j( )) = j(m ( )) = 0. So = j( ) is a root of the polynomial m that had as a root. So the condition is necessary. Now suppose that i(m )( ) = 0. Let K = i(k) L. Then i(m ) 2 K[x] is monic and irreducible, so it is the minimal polynomial of over K. From the previous Theorem, K( ) = K[x]/(m ), whereas K( ) = K[x]/i(m ). Now we can construct the map j as the following composite: K( ) = K[x]/(m ) i! K[x]/i(m ) = K( ) L. This is a field homomorphism j : K( )! L with j k = i and j( ) =. Example. (1) Let K = Q and let M = C and let = i. Then m = x 2 + 1. Take L = Q(i) and = i. So i(m )=x 2 + 1 and hence i(m )( ) = 0. So there is a field homomorphism j : Q(i)! Q(i) taking i 7! i. (2) Let K = Q, L = Q(i), = p 2, m = x 2 2 and = ±i. Can we extend i to K( p 2)? No, since i(m )(±i) =(±i) 2 2 6= 0. Corollary. (Uniqueness of simple algebraic extensions) Suppose we have a field extension M/K with, 2 M algebraic over K with the same minimal polynomial m 2 K[x]. Then there is an isomorphism j : K( )! K( ) with j k =Id. Proof. Take i =Id K, L = K( ) in the above theorem. We get K( ) j! K( ) and j exists, since m( ) = 0. K Id K! K

9 Then j : K( )! K( ) is injective. Also by the Tower Law, hence K( ) = K( ). [K( ):j(k( ))] [K( ) :K] =[K( ):K], Corollary. (Homomorphisms from simple extensions) Let K( )/K be a simple algebraic extension with having minimal polynomial m over K. Let i : K! L be a homomorphism. Suppose that i(m ) 2 L[x] has exactly k distinct roots { i } iapplek in L. Then there are exactly k distinct homomorphisms j m : K( )! L with the property that j m K = i and these are distinguished by j m ( ) = m for m apple k. 4.1. Basics. 4. Splitting Fields Definition. Let K be a field, and f 2 K[x] a monic polynomial. Then we say that f splits (completely) over K, if ny f(x) = (x a i ) 2 K[x]. i=1 Example. x 2 + 1 does not split over Q, butitdoessplitoverq(i) as x 2 +1= (x i)(x + i). Trivially, an irreducible polynomial over K of degree at least 2 does not split over K. Definition. Let K be a field and f 2 K[x]. A field extension M/K is a splitting field of f over K, if (1) f 2 M[x] splitsoverm; (2) if K L ( M, thenf 2 L[x] does not split over L. Example. The splitting field of x 2 +1overQ is Q(i). x 2 +1splitsoverQ(i) and for degree reasons there is no intermediary field. Theorem. (Existence and Uniqueness of Splitting Fields) (1) Given f 2 K[x], f has a splitting field M/K over K. (2) Consider f 2 K[x] and a field isomorphism i : K! K 0 taking f 7! i(f) =f 0 2 K 0 [x]. Given splitting fields M/K for f, andm 0 /K 0 for f 0, there is an isomorphism j : M! M 0 extending i : K! K 0. Proof. We do an induction on the degree of f, noting that all statements are trivial for deg f = 1. For (1), the induction hypothesis is as follows: for any field K, f 2 K[x] with deg f<n,thereisasplittingfieldm/k of f over K. Take f 2 K[x] of degree n, and let f 1 be an irreducible factor of f. Let K 1 := K[x]/(f 1 ). Then this is a finite extension of K. So in K 1 [x] we can write f = (x 1 ) m1 g(x). Now deg g<deg f and so has by induction a splitting field N/K 1 over K 1. Now in N, g splits and so f splits completely. Take a smallest subfield M of N in which f splits completely; this is a splitting field of f. There were choices in the proof of (1), so the statement of (2) is not obvious. We must prove that the resulting fields are isomorphic.

10 For (2), the induction hypothesis is as follows: for any fields i : K = K 0, f 2 K[x] with deg f < n, we have that the splitting fields of f and i(f) overk, K 0 are isomorphic. Take any f 2 K[x] of degree n. Take a splitting field M/K for f over K. Let 1 2 M be a root of f and let m be the minimal polynomial of 1 over K. Now f( 1 ) = 0, so m divides f in K[x]. For m 0 = i(m) 2 K 0 [x], m 0 is irreducible in K 0 [x], and we similarly have that m 0 divides f 0 in K 0 [x]. So m 0 splits in the splitting field L 0 of f 0 over K 0. Let 1 be a root of m 0 in M 0. By uniqueness of simple extensions, the extensions K( 1 ) and K( 1 ) are isomorphic, since they correspond to the minimial polynomials m and m 0 = i(m). Now M is the splitting field of f/(x 1 )overk( 1 ) and M 0 is the splitting field of f 0 /(x 1) over the isomorphic field K 0 ( 1 ). So by induction, there is an isomorphism L = L 0 extending K( 1 ) = K 0 ( 1 ), which itself extends K = K 0. 4.2. Normal Extensions. Definition. A field extension L/K is normal if, wherever an irreducible polynomial f 2 K[x] has a root in L, thenf splits in L. Example. Consider K = Q and the polynomial x 3 L = Q 3p 2 = Q[x]/(x 3 2). 2, with the field extension Claim. L/K is not normal. Proof. f has one root = 3p 2 2 L, but no other roots in L, since all other roots of f over Q are non-real. The splitting field M of f is not contained in the real numbers: 3p M = Q 2,!, with a third root of unity.! = e 2 i 3 Example. The field extensions Q(i)/Q, Q( p 2)/Q are normal, since if a quadratic splits into factors then it splits completely into linear factors. Theorem. (Characterisation of Normal Extensions) A finite extension L/K is normal if and only if it is the splitting field of some f 2 K[x]. Proof. Assume first that L/K is normal and finite. If L = K then there is nothing to prove. Otherwise, take 1 2 L \ K, 2 2 L\K( 1 ), and so on; since the degree increases in each step, this process must terminate, with a generating set L = K( 1,..., n ), with each i algebraic over K. Let m i 2 K[x] the minimal polynomial of i over K. Set f = Q m i 2 K[x]. Thus each m i has one root i in L, and as L/K is normal, it splits in L. Hence f splits in L. Furthermore, any splitting field of f over K must contain all roots of m i and so no subfield of L splits f. Conversely, suppose that L is the splitting field of f 2 K[x]. Take g 2 K[x] irreducible, with a root 1 2 L. Consider a splitting field M L of fg over K.

11 Let 2 2 M be another root of g in M. We want that 2 2 L. We argue using the following diagram. M L( 1 ) L( 2 ) L K( 1 ) K( 2 ) K We have K( 1 ) = K( 2 ) and [K( 1 ):K] =[K( 2 ):K] =d =degg, since both are simple extensions using the irreducible g 2 K[x]. Next, L( i ) is the splitting field of f over K( i ). Thus, by Uniqueness of Splitting Fields, we get an isomorphism L( 1 ) = L( 2 )extendingk( 1 ) = K( 2 ). In particular, [L( 1 ):K( 1 )] = [L( 2 ):K( 2 )] = e for some integer e. Recalling 1 2 L, wehave[l( 1 ):L] = 1. Hence by the tower law, Hence [L : K] = [L( 1):K( 1 )] [K( 1 ):K] [L( 1 ):L] = d e. [L( 2 : L)] = [L( 2):K( 2 )] [K( 2 ):K] [L : K] = d e d e = 1. Thus 2 2 L. This completes the proof. 4.3. Separable extensions. Definition. An irreducible polynomial f 2 K[x] isseparable, if it has deg f distinct roots in a splitting field. An arbitrary polynomial f 2 K[x] is separable if all its irreducible factors are. Definition. Given a field extension L/K, 2 L is separable over K, if its minimal polynomial m 2 K[x] overk is a separable polynomial. A field extension L/K is separable, ifevery 2 L is separable over K. Theorem. (Separability in characteristic 0) Assume that char K = 0. Then any finite extension L/K is separable. Proof. Let m 2 K[x] be the minimal polynomial of 2 L over K. Suppose that m has a double root in some splitting field M K. Then m( )=Dm( ) = 0, where D is the formal derivative (see Problem Sheet 1). On the other hand, Dm is a polynomial with co-e cient of x d 1 nonzero since char K = 0, hence Dm is nonzero. m 2 K[x] is irreducible, and Dm has smaller degree, so (m, Dm) = 1 and thus there are a, b 2 K[x] such that am + b(dm) = 1. But substituting we get a contradiction.

12 Example. Take K = F p (t). Then this is an infinite field of characteristic p. Consider the polynomial f(x) =x p t 2 K[x]. Let L/K be a splitting field of f and let 2 L be one root of f. Then in L[x], we have that (x p t)=(x ) p (since! p is a field homomorphism in characteristic p). So f is a non-separable polynomial in K. The proof of the Theorem breaks down, since Df = px p 1 = 0 since char K = p. Proposition. (Separability of intermediate extensions) If M/K is separable, then for any intermediate field L, the extensions M/L and L/K are separable. Proof. L/K is clearly separable, since the minimal polynomial of 2 L over K is the minimal polynomial of 2 M over K. On the other hand, the minimal polynomial m 2 L[x] of 2 M over L divides the minimal polynomial m 0 2 K[x] of the same element 2 M over K, by properties of the minimal polynomial. If m 0 has no roots in a splitting field, neither has m. Theorem. (Extending homomorphisms to separable extensions) Let M/K be a field extension of degree d. Let i : K! L be a field homomorphism to some other field L. Then 8 >< >: there exist exactly d homomorphisms j k : M! L extending i 9 >= >; () Otherwise, there are fewer than d extensions of i. 8 9 M/K is separable, and >< >= the minimal polynomial. of every 2 M >: >; splits in L[x] Proof. We work by induction on d, the case d = 1 being obvious. Let d>1, and assume that the stated equivalence is true for all extensions M/K of smaller degree. Suppose first that (1) either M/K is not separable, (2) or there is 2 M/K whose minimal polynomial over K does not split in L. In both cases, for some 2 M/K its minimal polynomial has fewer than deg(m) distinct roots in L. So there are fewer than deg(m) extensions of i : K! L to K( )! L. Also, by induction, there are at most [M : K( )] extensions of each such j to j : M! L. Hence, there are fewer than deg(m) [M : K( )] extensions of i : K! L. However, this number is deg(m) [M : K( )] = [K( ) :K][M : K( )] = [M : K] = d. Now assume that M/K is separable and that all m split in L[x], 2 M. Take 2 M\K, and let m be its minimal polynomial over K. Thenm 2 L[x] splitsinto distinct linear factors m(x) = Y (x k) for k 2 L di erent. deg m k=1 Now by the Theorem on extending homomorphisms to simple extensions, we have deg(m) distinct extensions of i to K( ). By induction, each of these in turn leads [M : K( )] extensions of i, giving a total of [M : K( )] deg(m) =d extensions.

13 Corollary. The splitting field L over K of a separable polynomial f 2 K[x] is a separable extension of K. Remark. The statement is not obvious: for L/K to be separable, we need all minimal polynomials to be separable, not just (components of) f. Proof. We will give a sketch proof here; see the lectures for more details. Let K be a subfield of a field M and let i : K! L be a homomorphism of fields. By the proof of the last theorem, using induction on d =[M : K], we have (i) if M : K is not separable, or if there is some 2 M such that i(m )does not split in L, then there are strictly fewer than d field homomorphisms j : M! L such that j K = i; and (ii) if M = K( 1,..., n ) where for 1 apple k apple n the minimal polynomial m k of k over K is separable and its image under i splits in L, then there are exactly d field homomorphisms j : M! L such that j K = i. Now let M = L be the splitting field of a separable polynomial f over K. Then M = K( 1,..., n )where 1,..., n are the roots of f in L, and for 1 apple k apple n the minimal polynomial m k of k over K divides f, som k is separable over K and its image under the inclusion i : K! L splits in L. Thus (ii) above is satisfied and therefore by (i) the extension is separable. Theorem. (Theorem of the Primitive Element) If L/K is finite and separable, then there is some 2 L such that L = K( ). Example. Q( p 2,i)=Q( p 2+i). Proof. As before, since L/K is finite, it is generated by finitely many elements L = K( 1,..., n ). By induction, it s enough to prove that K(, ) is a simple extension of K. We assume for this proof that K is infinite; the much simpler case of finite K can be deduced easily from the statements on the structure of finite extensions of finite fields to be stated later. Let, 2 L have minimal polynomials f,g 2 K[x] respectively. Let their roots be = 1, 2,..., r and = 1, 2, 3,..., s in some splitting field M L of fg over K. By assumption, we have that r =degf, s =degg distinct elements of M. Choose c 2 K such that i + c j are all di erent elements of M; this is possible since K is infinite. Set = + c. Claim. K( ) =L. It is clear that K( ) L = K(, ) and so it is enough to show that 2 K( ). Define a polynomial We have that: F (x) :=f( cx) 2 K( )[x]. (1) F ( )=f( c )=f( ) = 0; (2) g( )= 0 since g is the minimal polynomial of ; (3) F ( i )=f( c i ) 6= 0 for i>1 since c i is not an j.

14 And so the only common root of g and F is. Now let H 2 K( )[x] be the highest common factor of F and g in K( )[x]. Then there are polynomials A, B 2 K( )[x] such that AF + Bg = H. Overthesplitting field M of fg, (1) g is a product of distinct linear factors; (2) H 2 M[x] is a product of distinct linear factors; (3) H divides F, g, so any root of H is also a root of F, g. So we have that H = X 2 K( )[x] and so 2 K( ). 5. Galois Extensions and their Galois Groups Example. Consider the field extension Q( p 2,i)/Q. Our aim is to find and understand field automorphisms of the field Q( p 2,i) that fix the subfield Q, inthe hope that this will help us to understand the structure of the extension. The field Q( p 2,i) is the splitting field of the irreducible polynomial x 2 +1overQ( p 2); the elements ±i both have minimal polynomial x 2 + 1 over this field. Therefore, by the Theorem on extending field homomorphisms to simple extensions, there is a field automorphism Q( p 2,i)! Q( p 2,i) Q( p 2) = Q( p 2), with : i 7! i. We can also regard Q( p 2,i) is the splitting field of x 2 2 over Q(i). So using the same argument, there is a field automorphism defined by! Q( p 2,i) p Q( 2,i) Q(i) = Q(i), with : p 2 7! p 2. Consider the group G =<, >, which acts on the field Q( p 2,i)fixingQ. The actions of elements of G on a basis of Q( p 2,i)overQ can be tabulated as follows. 1 Id 1 1 1 1 p p 2 i 2i p p p 2 i p 2i p 2 i p 2i p 2 i - p 2i 2 i 2i Notice that 2 = Id 2 = Id ( ) 2 = Id and therefore as an abstract group, G = C 2 C 2.

15 Finally, let us consider the subgroups of the group G. We get the following structure, where lines denote inclusions of subgroups. {id} h i h i h i G Correspondingly, there is a diagram of subfields of Q( p 2,i): Q( p 2) Q( p 2,i) Q(i) Q( p 2i) Q The diagrams contain all subgroups, respectively subfields, and each subfield is the fixed field of the subgroup in the same position in the table. Example. Consider Q( 3p 2)/Q. Are there any field automorphisms of Q( 3p 2) fixing Q? Note that a field automorphism takes a root of an irreducible polynomial f 2 Q[x] to another root of the same irreducible polynomial f since coe cients of the minimal polynomial are fixed by. Applying this to the minimal polynomial f(x) =x 3 2, we get that for any 2 Aut(Q( 3p 2)), ( 3p 2) is a root of x 3 2. However, there is only one root of x 3 2 in this field. So ( 3p 2) = 3p 2 and so =Id. The problem here is that the field extension Q( 3p 2)/Q is not normal. Example. Let L be the splitting field of x p t over F p (t), which is given by F p ( pp t): F p (t). Are there any automorphisms of L fixing K = F p (t)? This polynomial has only one root with multiplicity, so again any automorphism is the identity. The problem here is that the field extension L/F p (t) isnot separable. 5.1. Definitions. Recall that for a field extension L/K, we defined Aut K (L) ={ 2 Aut(L) : K =Id K }. From now on, we call this the Galois group of L over K, and denote it by or sometimes G(L/K). (L/K), Remark. (1) (L/K) is a subgroup of Aut(L). (2) (L/K) acts on L fixing K. (3) By definition, the fixed field L (L/K) contains K, butthere is no a priori reason why these two fields should be equal. Definition. The field extension L/K is a Galois extension, if L (L:K) = K. Example. Let K = Q( p 2,i) and G = (Q( p 2,i)/Q) = C 2 C 2. As we saw above, the fixed field K G = Q and so K/Q is a Galois extension. Colloquially we say that the extension is Galois. (Q( 3p 2)/Q) ={Id} and Q( 3p 2) {Id} 6= Q, soq( 3p 2)/Q is not Galois. Similarly, the splitting field L of x p t over F p (t) is not Galois.

16 The following Theorem summarizes our discussion through examples above. We will prove it in stages in the following sections. Theorem. (1) A finite extension L/K is Galois if and only if L/K is normal and separable. (2) Suppose that L/K is Galois. Then there is an inclusion reversing bijection between {Intermediate fields L M K} and {Subgroups of (L : K)} given by M 7! { 2 Aut(L) : M =Id M } L H H. 5.2. Field degrees and Group Orders. This section is the techinical core of our proof of the Fundamental Theorem. Lemma. (Linear Independence of Field Homomorphisms) Let L, K be fields and let k : K! L be distinct field homomorphisms k =1,...,n. Then { 1,..., k} are linearly independent over L. Proof. Suppose the converse. Then P m i=1 i i 0 be the shortest relation (m apple n) with i 2 L \{0}. So for x 2 K, P m i=1 i i(x) = 0. Pick 2 K such that 1( ) 6= 2 ( ). Then for x 2 K, mx i i( x) = 0 mx i=2 So with µ i = i ( i ( ) 1( )), is a shorter relation. mx i=1 mx i=1 i=1 i i( ) i (x) = 0 i 1( ) i (x) = 0 i( i ( ) 1( )) i ( ) = 0. mx µ i i 0 i=2 Recall that a group G acts on a field L faithfully if di erent group elements give di erent field automorphisms; in other words, the map G! Aut(L) isinjective. Theorem. (Degree of fixed subfield) Suppose a finite group G acts faithfully on a field L. Then [L : L G ]= G, the number of elements of G. Proof. Let G = {g 1 =Id L,g 2,...,g n },withg i : L! L field automorphisms. Let m =[L, L G ] (perhaps m = 1). Suppose first that m<n. Let { 1, 2,..., m } be a basis of L over L G. For n unknowns k 2 L, consider the system of m equations nx g k ( i ) k = 0 for i =1,..., m. k=1

17 Since n>m, there are more unknowns than equations. Hence by the Rank-Nullity Theorem, there is a nonzero solution { k }. Hence, for 2 L, nx ig i ( ) =0, and so i=1 nx i=1 ig i 0, as a map L! L. This contradicts Linear Independence of Field Homomorphisms. Now assume n<mso that there is a linearly independent subset { 1,..., n+1 } of L over L G with n + 1 elements. This time consider the set of n equations n+1 X g j ( i ) i = 0 for j =1,...,n, i=1 for n +1unknowns i 2 L. Once again, there are more unknowns than there are equations, so there is a nonzero solution. Reorder this solution { 1,..., n+1} such that i,..., r 6= 0 and r+1,..., n+1 = 0, and choose a solution with minimal r 1. So rx (2) g j ( i ) i =0. i=1 Operate on this by an element g 2 G: rx gg j ( i )g( i )=0 i=1 which implies (through renaming group elements) rx (3) g j ( i )g( i )=0. i=1 Now take (2) g( 1 ) (3) 1 to get rx g j ( i )( i g( 1 ) 1g( i )) = 0. i=2 The minimality of r implies that all coe cients here are zero. So for all g 2 G, that is, and therefore But from (3), we deduce that ig( 1 ) 1g( i )=0, i/ 1 = g( i / 1 ) i/ 1 2 L G. rx i=1 i which gives a contradiction, since { 1, 2,..., n+1 } was chosen to be linearly independent over L G. i 1 =0

18 Corollary. If a finite extension L/K is Galois, then the number of elements in the Galois group (L/K) is the same as the degree [L : K]. Proof. This follows from the previous Theorem, together with the Galois property. 5.3. Characterisation of Galois Extensions. Theorem. (Characterisation of Galois Extensions) A finite extension L/K is Galois if and only if L/K is separable and normal. Proof. Suppose that L/K is separable and normal of degree n. Then by the Theorem on extending homormophisms to separable extensions, there are exactly n = [L : K] homomorphisms L! L extending the inclusion K! L. Thus (L/K) = n. Hence [L : L (L:K) ]=n. But L (L/K) K,[L : L (L/K) ]=n = [L : K] whichimpliesk = L (L/K). Hence L/K is Galois. Conversely, suppose that L/K is Galois of degree m. Then there exist exactly m homomorphisms L! L extending the inclusion K! L, the elements of (L : K). So by the converse direction of the Theorem on extending homormophisms to separable extensions, L/K is separable and the minimal polynomial of every 2 L over K splits in L. SoL/K is normal. 5.4. The main theorem. Theorem. (Fundamental Theorem of Galois Theory) Suppose that L/K is finite and Galois, with Galois group G. (1) There is an inclusion reversing correspondence between intermediate field extensions L/M/K and subgroups of G, given as follows: intermediate fields $ {subgroups H<G} L M K The degrees are given by M 7! G M = { 2 Aut(L) : M =Id M } L H H. [L : M] = G M, [M : K] = G G M. (2) The intermediate field extension M/K is Galois if and only if G M E G is a normal subgroup. In this case, its Galois group is given by (M/K) = G/G M. Proof. For (1), let M be an intermediate field. Then L/M is normal (it is a splitting field over K and so a splitting field over M). Also, L/K separable implies L/M is separable by the Proposition on Separability of intermediate extensions. It follows that L/M is Galois with Galois group (L/M) =G M, acting on L as a subgroup of G, withfixedfieldl G M = M. Conversely, consider a subgroup H < G. It is clear that H G L H : H is contained in the group that fixes all elements fixed by H. Now by what we proved in the previous step, we have that L G L H = L H.

19 On the other hand, by the theorem on fixed fields and group orders, H =[L : L H ]=[L : L G L H ]= G L H. So H and G L H are both subgroups of G, H G L H and they have the same size. So H = G L H. Hence the maps M 7! G M and H 7! L H are mutual inverses, so indeed we have a one-to-one correspondence. Clearly, as M gets larger, G M gets smaller and vice versa. So the correspondence is inclusion reversing. To do (2), we need a lemma. Lemma. Let L/K be a field extension, L M K, 2 (L/K) =G. Then G (M) = G M 1, as subgroups of G. Slogan: Stabilizer of a translate is the conjugate of the stabilizer. Proof. If 2 M, g 2 G M with g = then implies The converse works likewise. ( g 1 )( )= g = g 1 2 G (M). Recall we have L M K. Suppose that M/K is Galois, in particular normal. Given g 2 G and 2 M let m be the minimal polynomial of over K. Then m(g( )) = g(m( )) = 0, so g( ) is another root of the irreducible polynomial m 2 K[x]. m has one root 2 M, and so by normality it splits in M. So g( ) 2 M. Therefore, g(m) =M for all g 2 G. By the Lemma therefore, for all g 2 G, gg M g 1 = G M. So G m E G is a normal subgroup. Conversely, suppose G M is a normal subgroup of G. We want to show that the corresponding extension M/K is Galois. Let 2 M, 2 L adi erent root of the minimal polynomial m of over K. Then K( ) is a subfield of L and K( )isa subfield of L, so there are isomorphisms of fields K( ) = K( ) with 7!. By the theorem on uniqueness of splitting fields, this extends to an isomorphism L = L K( ) = K( ), in other words an element g 2 (L/K), such that g( ) =.ButG g(m) = G M by the lemma and the normal subgroup property, so g(m) =M, by the one-to-one correspondence of (1). So 2 M. Hence M/K is normal. Separability follows from that of L/K. M/K is thus Galois. Finally, if M/K is Galois, define a map : G! (M/K)

20 by (g) =g M. This is surjective by the extension theorem, with ker = G M.The isomorphism theorem for groups now gives as claimed. (M/K) = G/G M 6. Galois groups of polynomials 6.1. Basics. Take f 2 K[x], and for simplicity assume char K = 0 in this section. Let L/K be a splitting field of f over K, and let G f := (L/K). Note that, since we assumed char K = 0, L/K is automatically separable and hence Galois. Recall that if nx 1 f = x n + b i x i 2 K[x] = i=0 ny (x i ) 2 L[x] i=1 then the coe cients b i 2 K are symmetric polynomials in the roots i 2 L. In particular, the discriminant f = Y ( i j ) 2 i<j of f is a polynomial in the b i s. Finally recall that f = Y i<j( i j ) is not symmetric, but it is invariant under A n <S n. Proposition. (1) If f 2 K[x] has n distinct roots then G f is naturally a subgroup of the symmetric group S n. (2) If f is irreducible, then G f is a transitive subgroup of S n. (3) If f 2 K[x] has degree n and has n distinct roots then G f is contained in the alternating group A n if and only if f 2 K 2 = {a 2 : a 2 K}. Proof. (1) If 2 L is a root of f 2 K[x], then for all g 2 G f, g(f( )) = f(g( )) = 0 and so g( ) 2 L is another root of f. If 1,..., n are all the roots of f, then L = K( 1,..., n ). So we obtain a homomorphism G! S n with g 7! ( i 7! j ). This homomorphism is injective, since g fixes K and g : i 7! j determines the action of g on L. (2) Using the argument often used before, if f irreducible, then for i, j di erent roots, there is an isomorphism K( i ) = K( j ) extending to an automorphism g : L! L such that g( i )= j.sog f is transitive. (3) We have f 2 K 2 if and only if f 2 K if and only if f 2 L G f = K if and only if G f apple A n, by the last observation before the statement of the proposition.

21 6.2. Polynomials of Low Degree. Quadric Polynomials Let f(x) =x 2 + ax + b, whichwereducetog(y) =y 2 + c using the change of variables x 7! y + a 2. We have f = g = 4c. Then f is irreducible if and only if c/2 K 2, if and only if [L : K] = 2, and in this case, the Galois group has one nontrivial element leading to Cubic Polynomials : p c 7! p c 1 $ 2 G f = h i/h 2 =idi = S 2. Proposition. Let f 2 K[x] be an irreducible cubic with discriminant,splitting field L/K and Galois group (L/K) =G f. Then (1) if 2 K 2, then G f = A3 and L/K is a cubic extension, generated by any of the roots of f. (2) If 2 K \ K 2, then G f = S3, and the structure of intermediate fields is as follows: with i the roots of f. K( p ) K( 1 ) K( 2 ) K( 3 ) Proof. Since f is irreducible, the simple extension it generates is of degree 3. By general theory, G f <S 3 and has order divisible by 3, so it can only be S 3 or A 3, depending on the discriminant. The rest of the statement follows immediately. Example. (1) Consider f(x) =x 3 2 over Q. f is irreducible by Eisenstein, and we have L = Q( 3p 2,!) 3/ \2 Q(!) 6 Q( 3p 2). 2\ /3 Q L K So G f =[L : Q] = 6 and G f = S3. In this case, we can in fact construct the elements of G f explicitely. We have roots 3p 2, 3p p 2!, 3 2! 2 and there is a Galois automorphism,fixing Q(!), and mapping 3p p 3 2 7! 2! 3p p 3 2! 7! 2! 2 3p 2! 2 7! 3p 2. There is also an automorphism fixing Q! 7!! 2. 3p 2, and mapping

22 The elements and generate a group isomorphic to S 3,with acting as a three-cycle on the roots and as a two-cycle. (2) f(x) =x 3 1 x 3 2 Q[x]. Then by Sheet 1, 2 1 = 4( 1) 3 27 =4 3=12 Q 2. 3 f is irreducible over Q, sincef has no root over Q. ThusG f = A3. Quartic Polyomials We have done one example in the introduction to Chapter 5, Q( p 2,i)=Q( p 2+i) overq. Here we obtained (Q( p 2,i):Q) = C 2 C 2,! S 4. For another example, let f(x) =x 4 2. Set = 4p 2, then the splitting field is L = Q(,i). We have [Q( ) :Q] = 4, and [Q(,i):Q( )] = 2 since the two fields cannot be the same (one real, the other not) but the degree is clearly at most two. On the other hand, much as before, there is a Galois automorphism, fixingq(i), and mapping to i, as well as an automorphism fixing Q( ), and mapping i to i. These elements and generate a group of order eight, isomorphic to the dihedral group D 8. For further details, read Chapter 12 of Stewart s book. 7. Some special classes of extensions 7.1. Cyclotomic Extensions. Let L be the splitting field of f(x) =x n 1 over a field K, assuming that char K - n. Proposition. L/K is Galois. Proof. L is a splitting field, so L/K is normal. The polynomial x n 1 is separable over K, sincedf = nx n 1 6= 0 since char L - n. SoL/K is Galois. Definition. Let Note that µ n (L) is a group. µ n (L) ={ 2 L : n =1}. Fact. The group µ n (L) cyclic of order n. You know this fact over Q from the Argand plane description of C; we will take this for granted over arbitrary fields of characteristic prime to n. Definition. An element! 2 µ n (L) isprimitive or a primitive root of 1, if it generates the cyclic group µ n (L). Note that if! is primitive, then L = K(!). Note also that if! is a primitive root, then the other primitive roots are! i for i 2 U(Z n ), the units in Z n. Theorem. Fix a primitive root! 2 L of 1. (1) Define n(x) = Y (x! i ). i2u(z n) (Note that the product is over all primitive roots of 1.) Then (2) There is an injective homomorphism : (L : K)! U(Z n ). (3) is an isomorphism if and only if n is irreducible. n (x) 2 K[x].

23 Proof. Let G = (L : K) be the Galois group, then 2 G must map a generator of µ n (L) to another generator, and a root of x m 1 to another root. So (!) =! ( ), where ( ) 2 U(Z n ). Then this defines : G! U(Z n ) which is easily seen to be a group homomorphism. It is injective, since the e ect of on L is determined by the e ect of on!, since as we saw, L = K(!). Now G permutes {! j : j 2 U(Z n )} so the coe cients of n(x) are fixed by G, and so n(x) 2 L G [x] =K[x]. n is irreducible if and only if! can be mapped to all other primitive roots, if and only if is an isomorphism. Corollary. G is abelian. Proof. Remark. In fact, the cyclotomic polynomial n is irreducible in Q[x] for all n. This is very easy to see for n = p prime. We will not need the general case. n is often reducible over finite fields; see Worksheets for examples. 7.2. Kummer Extensions. Continuing our study in the last section, let L be a field in which x n 1 splits. Let us study the polynomial x n 2 L[x], for 2 L. In other words, we are studying extensions under the assumption that charl - n. M = L( np ), Theorem. Suppose that L is a field with charl - n and assume that x n in L. 1 splits (1) Let M be the splitting field of x n over L. Then M/L is Galois, with Galois group cyclic of order dividing n. (2) Suppose that M/L is a Galois extension of L with Galois group cyclic of order n. Then there exists 2 L and a root 2 M of x n 2 L[x], an irreducible polynomial such that M = L( ). Proof. (i) Let L( ) be a primitive extension of L with a root of x n be a primitive n th root of unity. Then in L( ), x n =(x )(x! )(x! 2 )...(x! n 1 ) 2 L( )[x]. Let! 2 L so M = L( )isthesplittingfield. 2 M is separable over L and so M/L is separable (see Worksheet 3). So M/L is Galois. Now let G = (M : L), then for 2 G, ( )=! j( ), since it has to be another root of x n. We get an injective map It is a group homomorphism, since j : G! Z n. ( ( )) = (! j( ) )=! j( ) ( )=! j( )! j( ) =! j( )+j( ). Hence G<Z n, so is cyclic of order dividing n. (ii) Let G =< > be the cyclic Galois group of M/L. Then id,, 2,..., n 1 : M! M

24 are distinct field homomorphisms, so they are linearly independent, hence 9 2 M such that (4) = +! ( )+! 2 2 ( )+ +! n 1 n 1 ( ) 6= 0. So ( )= ( )+! 2 ( )+! 2 3 ( )+ +! n 1 =! 1. Hence /2 L (not fixed by ), ( n )= n,so n = 2 M G = L. SoL( )/L splits x n over L, and < > consists of distinct field automorphisms of L( )fixingl. That is, n =[M : L] [L( ):L] n and so M = L( ). 7.3. Solving cubics by radicals. Let f 2 K[x] be an irreducible cubic, and assume chark 6= 2, 3. Recall the discriminant f of f, and that if L is a splitting field of f over K, then A3, if 2 K (L : K) = 2 S 3, if /2 K 2. Let! be a primitive cube root of unity over K. Then L(!) is Galois over K(!, p ), with (L(!) :K(!, p )) having order 3. Since the only group of order 3isC 3, the Galois group is cyclic. So by the Theorem above, L(!) isakummer extension, the splitting field of some polynomial x 3 over K(!, p ). So all the roots of f are contained in the extension K(!, p, 3p ) of K. Explicitely, take f(x) =x 3 + px + q 2 K[x]. Suppose that the roots are 1, 2, 3. Imitating (4) above, set and Explicit calculations show that = 1 +! 2 +! 2 3 = 1 +! 2 2 +! 3. = 3p 3 + 3 = 27q. So 3, 3 are roots of X 3 +27qX 27p 3 = 0 and we can solve for the roots explicitly from this, recalling that 1 + 2 + 3 = 0. 8.1. Solvable Groups. 8. Solvable Groups and Solubility by Radicals Definition. A finite group G is soluble or solvable, if it has a series of subgroups {e} = G 0 <G 1 < <G n = G, such that G i 1 E G i is normal, and G i /G i 1 is abelian. Examples. (1) Any abelian group is solvable; take {e} E G.

25 (2) S 3 is not abelian, but it is solvable: take the chain {e} <A 3 <S 3. The quotients are A 3 /{e} = C 3 and S 3 /A 3 = C2. (3) S 4 is not abelian, but still solvable. This time take the chain {e} <V 4 <A 4 <S 4, where V 4 is the Klein Four group generated by all permutations of cycle type 2 2. The quotients are V 3 /{e} = C 2 C 2, A 4 /V 3 = C3 and of course S 4 /A 4 = C2. (4) The group A 5 is not soluble. See below. Proposition. (1) Suppose that G is solvable, H apple G. Then G is solvable. (2) Suppose G is solvable, N E G. Then G/N is solvable. (3) Suppose N E G and N, G/N are both solvable. Then G is solvable. Remark. Motto: The set of solvable finite groups is closed under taking subgroups, quotient groups and extensions. This would not be true for abelian groups! Proof. For (i), let {G i } iapplen be a series for G, and H apple G. ThenletH i := G i \ H. Clearly H i 1 E H i, and the inclusion H i = H \ G i,! G i defines, after taking quotients, an injective map H i /H i 1 = H \ G i /H \ G i 1,! G i /G i 1. The latter is abelian by assumption. So H i /H i 1 is a subgroup of an abelian group and thus abelian. For (ii), let {G i } iapplen be a series for G, and let N i := G i N/N < G/N. It s clear that N i 1 E N i and for the quotient, G i /G i 1! N i /N i 1 = (G i N)/N (G i 1 N)/N g 7! g.e +(G i 1 N)/N is a surjective map. By assumption, G i /G i 1 is abelian, hence N i /N i 1 is a quotient of an abelian group and thus abelian. For (iii), suppose we have a series {N i } iapplem for N. A result from elementary group theory says that any subgroup of G/N can he written as G i /N for some G i apple G. So we take the series {G i /N } iapplen. We then stick the two chains together: N 0 <N 1 < <N m = G 0 <G 1 < <G n. By assumption, each group here is normal in the next one, and successive quotients are N i /N i 1, which is abelian, or G i /G i 1 G i /N = G i 1 /N by the 3rd Isomorphism Theorem, which is also abelian, by assumption. Proposition. The groups A n and S n,forn 5, are not soluble. Proof. As proved in Part A, the group A 5 is simple: it has no normal subgroups at all. Since A 5 is certainly not abelian, it cannot be soluble. The groups A n and S n, for n 5, have A 5 as a subgroup, so they cannot be soluble either.

26 8.2. Solubility by Radicals. In order to avoid assumptions on the characteristic, assume in this section that all fields have characteristic 0. Definition. A field extension L/K is radical, if there is a sequence of elements 1,..., n 2 L and positive integers m 1,...,m n, so that L = K( 1,..., n ), and for all i, mi i 2 K( 1,..., i 1 ). Given a polynomial f 2 K[x], we say that f can be solved by radicals, ifthereis a radical extension M/K in which f splits. Note that M can be larger than the splitting field. Theorem. Suppose L/K is a finite Galois extension. Then there exists a finite extension M of L such that M/K is radical if and only if (L : K) is solvable. Proof. ) : Step 1. Suppose that there is a radical extension M/K containing L/K; letm = K( i )with mi i 2 K( 1,..., i 1 ). Let m i be the minimal polynomial of i over K. Let N be the splitting field over K of Q n i=1 m i.thennisasplittingfieldand each i is separable over K, son is separable over K. SoN/K is Galois. Step 2. We show that N/K is still radical. Let be any root of m i.thensincem i is irreducible over K, there is an element 2 (N/K), such that ( i )=. Hence n i = ( i ) ni 2 K( ( j ): 2 (N/K),j <i). Doing this inductively, we see that N/K is radical. Step 3. We have an iterated extension N/L/K. Here N/K is Galois by Step 1, L/K is Galois by assumption. By the Fundamental Theorem of Galois Theory, we have a surjective map (N : K)! (L : K). Hence it would be enough to prove that (N/K) is solvable. Step 4. Now N/K is Galois and radical. We prove that (N/K) is solvable by induction on the degree [N : K]. Let N = K( 1,..., s), with n i i 2 K( 1,..., i 1). Without loss of generality, we can assume that n i = p i prime. Then = 1 /2 K, but for p = p 1, = p 2 K for p prime. So the minimal poly of over K divides x p 2 K[x]. Let 0 2 N be another root of this minimal polynomial over K. So ( 0 / ) p = 1, so N contains a non-trivial, therefore primitive, p th root of unity. Step 5. Finally consider K,! K( ),! K(, 1),! N. K( )/K is the splitting extension of x p 1, a cyclotomic extension, so has abelian Galois group. K(, )/K( ) is the splitting extension of x p over K( ), a Kummer extension, and so has cyclic Galois group. N/K(, 1) is a radical Galois extension of degree strictly smaller than [N : K]. The corresponding chain of subgroups of (N : K) is (N : K). (N : K( )). (N : K(, 1)).