Galois Theory, summary

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

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.

FIELD THEORY. Contents

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

Field Theory Qual Review

CONSTRUCTIBLE NUMBERS AND GALOIS THEORY

RUDIMENTARY 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

Chapter 4. Fields and Galois Theory

Section V.8. Cyclotomic Extensions

GALOIS THEORY. Contents

AN INTRODUCTION TO GALOIS THEORY

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

Part II Galois Theory

Page Points Possible Points. Total 200

Section X.55. Cyclotomic Extensions

18. Cyclotomic polynomials II

Part II Galois Theory

CSIR - Algebra Problems

Name: Solutions Final Exam

List of topics for the preliminary exam in algebra

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

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

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

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

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

1 Finite abelian groups

Course 311: Abstract Algebra Academic year

UNDERSTANDING RULER AND COMPASS CONSTRUCTIONS WITH FIELD THEORY

Galois Theory TCU Graduate Student Seminar George Gilbert October 2015

Fields. Victoria Noquez. March 19, 2009

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

ABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK

MTH 401: Fields and Galois Theory

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.

TC10 / 3. Finite fields S. Xambó

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

Notes on Galois Theory

Algebra Exam, Spring 2017

Jean-Pierre Escofier. Galois Theory. Translated by Leila Schneps. With 48 Illustrations. Springer

Section V.6. Separability

Galois Theory of Cyclotomic Extensions

Galois theory (Part II)( ) Example Sheet 1

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

Department of Mathematics, University of California, Berkeley

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

Galois theory and the Abel-Ruffini theorem

1 Spring 2002 Galois Theory

Solutions of exercise sheet 6

Lecture 6.6: The fundamental theorem of Galois theory

Algebra Prelim Notes

Section IV.23. Factorizations of Polynomials over a Field

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

Algebra Qualifying Exam, Fall 2018

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

Galois theory of fields

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

RINGS: SUMMARY OF MATERIAL

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

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

NOTES ON GALOIS THEORY Alfonso Gracia-Saz, MAT 347


Solutions for Problem Set 6

Quasi-reducible Polynomials

Graduate Preliminary Examination

Finite Fields. Saravanan Vijayakumaran Department of Electrical Engineering Indian Institute of Technology Bombay

THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION ADVANCED ALGEBRA II.

Field Theory Problems

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

MAIN THEOREM OF GALOIS THEORY

Polynomial Rings and Galois Theory

Algebra Questions. May 13, Groups 1. 2 Classification of Finite Groups 4. 3 Fields and Galois Theory 5. 4 Normal Forms 9

Solutions of exercise sheet 8

INTRODUCTION TO GALOIS THEORY. 1. Introduction and History. one of the most interesting and dramatic tales in the history of mathematics.

Identify F inside K and K. Then, by the claim, we have an embedding σ : K K such that σ F = id F. Since σ(k)/f and K/F are isomorphic extensions, the

Galois Theory and the Insolvability of the Quintic Equation

ALGEBRA 11: Galois theory

1. Group Theory Permutations.

MATH 361: NUMBER THEORY TENTH LECTURE

Math 547, Exam 2 Information.

Fields and Galois Theory Fall 2004 Professor Yu-Ru Liu

Module MA3411: Abstract Algebra Galois Theory Michaelmas Term 2013

Homework 4 Algebra. Joshua Ruiter. February 21, 2018

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

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

MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION

Algebraic Cryptography Exam 2 Review

Notes on Field Extensions

MTH Abstract Algebra II S17. Review for the Final Exam. Part I

Galois Theory and Some Applications

2 (17) Find non-trivial left and right ideals of the ring of 22 matrices over R. Show that there are no nontrivial two sided ideals. (18) State and pr

Keywords and phrases: Fundamental theorem of algebra, constructible

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

Practice problems for first midterm, Spring 98

9. Finite fields. 1. Uniqueness

1 The Galois Group of a Quadratic

Modern Algebra 2: Midterm 2

GALOIS THEORY I (Supplement to Chapter 4)

Section VI.33. Finite Fields

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

Transcription:

Galois Theory, summary Chapter 11 11.1. UFD, definition. Any two elements have gcd 11.2 PID. Every PID is a UFD. There are UFD s which are not PID s (example F [x, y]). 11.3 ED. Every ED is a PID (and hence a UFD). Chapter 15: Algebraic extensions of fields 15.1 Irreducible polynomials and Eisenstein s criterion. [Basic properties: F [x] is ED. The units are the non-zero elements of F. If p(x) is irreducible in F [x] then F [x]/(p(x)) is a field and conversely] 15.1.3 Let f(x) F [x] have degree 2 or 3. Then f(x) is irreducible in F [x] if and only if it does not have a root in F. 15.1.5, 6 Let f(x) Z[x]. Then f(x) is reducible over Z if and only if it is reducible over Q. 15.1.7 Let f(x) Z[x] be monic. If f(x) has a root a Q then a Z and a divides the constant coefficient. 15.1.8 Eisenstein. 15.2 Adjunction of roots. Let E F be a field extension, then E is a vector space over F. Denote (E : F ) = dim E. 15.2.1 Tower Theorem. 15.2.3 If p(x) F [x] is irreducible then there is a field E F in which p(x) has a root. 15.2.5 Let p(x) F [x] be irreducible, and u = a root of p(x) in E. Then (i) F (u) := the smallest subfield of E containing F and u. This is equal to {f(u) : f(x) F [x]} =: F [u] (ii) If p(x) has degree n then F (u) has basis {1, u, u 2,..., u n 1 } as vector space over F. Hence (F (u) : F ) = n. 15.3 Algebraic extensions. DEF 13 α E is algebraic over F, E F is an algebraic extension. 15.3.1 If u is algebraic over F then it has a (unique) minimal polynomial. Properties: 15.3.2 If (E : F ) < then E is algebraic over F.

15.3.6 Let E = F (u 1,..., u r ). If each u i is algebraic over F then (E : F ) < and E is algebraic over F. 15.3.7 Let E F be a field extension. The set K := {u E : u is algebraic over F } is a subfield of F and it is algebraic over F. 15.3.8 Let E F be an algebraic extension. If σ : E E is an embedding then σ is onto, hence an isomorphism of E. 15.4 [we have not used algebraic closure seriously] 15. Lemma 4.2* Let σ : F L an embedding (F, L fields). Let E = F (α) where α is algebraic over F, and let p(x) be the minimal polynomial of α over F. Let β L. Then there is a homomorphism η : E L extending σ with η(α) = β β is a root of p σ (x). 15.4.2 Corollary Let L F and α, β L algebraic over F. If α, β have the same minimal polynomial in F [x] then there is an isomorphism η : F (α) F (β) with η F = Id. useful to see whether two fields might be isomorphic Ch. 16 Normal and separable extensions 16.1 Splitting fields Definition. 16.1.1/2 A polynomial f(x) F [x] has a splitting field E and (E : F ) <. 16.1.2 Any two splitting fields are isomorphic. To prove this, we showed more generally the following: Let σ : F 1 F 2 be an embedding and f(x) F 1 [x]. Let K = a SF of f(x) and E = a SF of f σ (x). Then there is an isomorphism η : K E extending σ. 16.2 Normal extensions DEF 19 E F is normal. 2.1* Let E F be a finite (algebraic) extension. Then E F is normal E is the SF of some f(x) F [x]. 16.3 Separable extensions DEF 20 If f(x) is irreducible, then f(x) is separable... 16.3.3 Suppose α is a root of f(x). then (x α) 2 divides f(x) if and only if f (α) = 0. 16.3.4 Assume F [x] is irreducible. Then f(x) has a multiple root if and only if f (x) = 0. 16.3.5 Assume f(x) F [x] is irreducible. (a) If char(f ) = 0 then f(x) is separable.

(b) If char(f ) = p > 0 then f(x) is not separable if and only if f(x) = g(x p ) for some g(x) F [x]. DEF 21 E F algebraic. α E is separable over F. The extension E F is separable. [Remark 5.1 ] Let E F be an algebraic extension. Then E F is separable if char(f ) = 0. As well if F is a finite field. 5.2 Assume E F is a finite and separable extension. Then E = F (θ) for some θ E. [we did not prove this, except when E is finite.] 5.3 Let E F be finite. Then equivalent: (a) E = F (α) for some α E; (b) There are only finitely many intermediate fields K with F K E. Ch 17 Galois Theory Let E F be a finite separable extension. DEF 23 G(E F ) := {σ Aut(E) : σ F = Id}. When E F is in addition normal, call E F a Galois extension, and call G(E F ) the Galois group. If E =SF of a polynomial f(x) F [x] then call G(E F ) the Galois group of f(x). 17.2.1 FTGT Let E F be a Galois extension, with G = G(E F ). Then (1) There is a bijection, inclusion reversing intermediate fields subgroups of G where K G(E K) and for the converse H E H, the fixed field of H. Moreover (E : K) = G(E K) (2) The extension K F is Galois G(E K) G. If so then G(K F ) = G/G(E K). Part of the proof of (2) was 17.2. 3/4 Let E K F. Then K F is normal For every σ G(E F ) we have σ(k) K. [Example 2.2a] Let E F be a Galois extension, the SF of f(x) F [x]. Assume f(x) has distinct roots α 1,..., α n. Then G(E F ) is isomorphic to a subgroup of S n, permuting the α i. If f(x) is irreducible then the action is transitive.

[That is, for each i, j there is some g G with g(α i ) = α j. ] Conversely if (E : F ) = n and the action is transitive then f(x) is irreducible. Ch 16.4 Finite fields 16.4.0 Assume F has characteristic p. The map σ : F F given as σ(x) = x p is a homomorphisms, and embedding. If F is finite, it is an isomorphism. 16.4.6 The multiplicative group of a finite field is cyclic. 16.4.7 If E F and E is finite then E = F (α). Any field has a prime field, which is either isomorphic to Q (characteristic zero), or to a field Z p (characteristic p). If F is finite then it has characteristic p and it contains Z p. So it has size p n where n = (F : Z p ). 16.4.3 Let F be a field with p n elements. Then F is the SF of the polynomial x pn x Z p [x]. Hence any two finite fields of the same size are isomorphic. 16.4.4 The set of roots of x pn x over characteristic p is a field. FTGT for finite fields: Let (E : Z p ) = n. E is a Galois extension and G(E Z p ) = σ, is cyclic of order n (with σ as in 4.0). The intermediate fields are in 1-1 correspondence with divisors of n. 16.4.8 Suppose F is a finite field. For each n there is an irreducible polynomial in F [x] of degree n. Method to count irreducible polynomials over finite fields. Ch. 18 Applications 18.1 Cyclotomic extensions Φ n (x) = ω (x ω), where ω runs through the primitive n-th roots of 1. That is ω = e 2πik/n with (k, n) = 1 and 1 k < n. This has degree = φ(n) the Euler function. 18.1.4 Let ω be some primitive n-th root of 1. Then E := Q(ω) is the SF of Φ n (x) and also of x n 1. (E : Q) = φ(n) = G(E Q) and G(E Q) = Z n, it is abelian. 18.2 Cyclic extensions

A Galois extension is cyclic if the Galois group is cyclic. 18.2.5 Assume E F is finite separable, and F contains a primitive n-th root of 1. Then equivalent: (1) E F is a cyclic Galois extension of degree n. (2) E = F (α) and α is a root of an irreducible polynomial x n b F [x]. 18.3 Polynomials solvable by radicals DEF E F is a radical extension DEF char(f ) = 0, let f(x) F [x] solvable by radicals 18.3.2 f(x) is solvable by radicals if and only if the Galois group G(E F ) is solvable. A group G is solvable if there is a sequence G = G 0 > G 1 >... > G r = {e} such that G i+1 G i and the factor group is abelian. S 3 and S 4 are solvable. For n 5, the groups A n and S n are not solvable. Properties: (1) If G is solvable and H is a subgroup then H is solvable. (2) if G is solvable and N G then G/N is solvable. (3) If N G and if N and G/N are solvable then G is solvable. 18.3.3 Let E be the splitting field of x n a F [x]. Then G = G(E F ) is solvable. 18.3.6 Let f(x) Q[x] be irreducible of degree p where p is prime, and E its SF. If f has precisely two non-real roots in C then G(E Q) = S p. With this one can see that for example x 5 6x + 3 is not solvable by radicals. 18.5 Ruler and Compass constructions DEF 32 [cf book ] Construct subsets P 0 P 1... R 2 inductively. P i+1 is the union of P i together with the points constructed as follows. (i) The intersection of lines p 1 q 1 and p 2 q 2 is in P i+1 for p 1, p 2, q 1, q 2 P i ; (ii) The intersections of circles with centres p 1, p 2 through q 1, q 2 is in P i+1 if p 1, p 2 and q 1, q 2 P i. (iii) The intersections of a line with a circle is in P i+1 where the line goes through two points in P i and the circle has centre in P i and goes through a point in P i. DEF 33 (a) A point X is constructible from P 0 if X P i for some i. (b) A line l is constructible from P 0 if it passes through two distinct points in some P i. c) A circle C is constructible from P 0 if its centre and one point on it lie in P i for

some i. Say that a point X, or a line L or a circle C is constructible if it is constructible from P 0 := Q Q. Say that a number u R is constructible if (u, 0) is constructible from P 0 = Q Q. 18.5.1 Let u R be constructible from Q. Then there is a subfield F of R containing u such that (F : Q) = 2 m for some m 1. 18.5.2 Let K be the subset of R consisting of numbers constructible. Then K is a subfield of R such that for all u 0 in K, also u K. Impossibility proofs (1) The angle π/3 cannot be trisected by ruler and compass. (2) One cannot square a circle by ruler and compass. (3) One cannot double a cube by ruler and compass. (4) A regular n-gon is constructible by ruler and compass if and only if φ(n) is a power of 2.