Fields and Galois Theory - James Milne

1 Fields and Galois MilneQ Q Cx Q p 7 Qh 3ih 2ih i=h 3ih i=h 2iSplitting field ofX7 ; Q Q QNHG=NSplitting field ofX5 2018 These notes give a concise exposition of the Theory of Fields , including the Galois theoryof finite and infinite extensions and the Theory of transcendental extensions. The first sixchapters form a standard course, and the final three chapters are more information@misc{milneFT,author={ Milne , James S.},title={ Fields and Galois Theory ( )},year={2018},note={Available at },pages={138}} (August 21, 1996).

2 First version on the (May 27, 1998). Fixed many minor errors; 57 (April 3, 2002). Revised notes; minor additions to text; added 82 exercises withsolutions, an examination, and an index; 100 (August 31, 2003). Fixed many minor errors; numbering unchanged; 99 (February 19, 2005). Revised notes; added proofs for Infinite Galois Extensions;expanded Transcendental Extensions; 107 (January 22, 2008). Minor corrections and improvements; added proofs for Kummertheory; 111 (February 11, 2008). Replaced Maple with PARI; 111 (September 28, 2008).

3 Minor corrections; fixed hyperlinks; 111 (March 30, 2011). Minor changes; changed TEX style; 126 (April 15, 2012). Minor fixes; added sections on etale algebras; 124 (March 20, 2013). Minor fixes and additions; 130 (March 18, 2014). Added chapter on the Galois Theory of etale algebras (Chapter 8);other improvements; numbering has changed; 138 (May 27, 2017). Minor fixes and additions; numbering unchanged; 138 (September 2018). Minor fixes and additions; numbering unchanged; 138 at send comments and corrections to me at the address on my web 1996 2018 paper copies for noncommercial personal use may be made without explicit permissionfrom the copyright.

4 6 References..61 Basic Definitions and Results7 Rings ..7 Fields ..8 The characteristic of a field ..8 Review of polynomial rings ..9 Factoring polynomials ..11 Extension Fields ..13 The subring generated by a subset ..14 The subfield generated by a subset ..15 Construction of some extension Fields ..16 Stem Fields ..17 Algebraic and transcendental elements ..17 Transcendental numbers ..19 Constructions with straight-edge and compass..21 Algebraically closed Fields ..24 Exercises ..252 Splitting Fields ; Multiple Roots27 Homomorphisms from simple extensions.

5 27 Splitting Fields ..28 Multiple roots ..30 Exercises ..333 The Fundamental Theorem of Galois Theory35 Groups of automorphisms of Fields ..35 Separable, normal, and Galois extensions ..37 The fundamental theorem of Galois Theory ..39 Examples ..42 Constructible numbers revisited ..43 The Galois group of a polynomial ..44 Solvability of equations ..45 Exercises ..454 Computing Galois Groups47 When isGf An? ..473 When doesGfact transitively on the roots? ..48 Polynomials of degree at most three.

6 49 Quartic polynomials ..49 Examples of polynomials withSpas Galois group overQ..51 Finite Fields ..52 Computing Galois groups overQ..54 Exercises ..575 Applications of Galois Theory59 Primitive element theorem..59 Fundamental Theorem of Algebra ..61 Cyclotomic extensions ..62 Dedekind s theorem on the independence of characters ..65 The normal basis theorem ..66 Hilbert s Theorem 90 ..69 Cyclic extensions ..71 Kummer Theory ..72 Proof of Galois s solvability theorem ..74 Symmetric polynomials.

7 75 The general polynomial of degreen..77 Norms and traces ..79 Exercises ..836 Algebraic Closures85 Zorn s lemma ..85 First proof of the existence of algebraic closures ..86 Second proof of the existence of algebraic closures ..86 Third proof of the existence of algebraic closures ..87(Non)uniqueness of algebraic closures ..88 Separable closures ..887 Infinite Galois Extensions91 Topological groups ..91 The Krull topology on the Galois group ..92 The fundamental theorem of infinite Galois Theory .

8 95 Galois groups as inverse limits ..98 Nonopen subgroups of finite index ..99 Exercises .. 1008 The Galois Theory of etale algebras101 Review of commutative algebra .. 101 Etale algebras over a field .. 102 Classification of etale algebras over a field .. 104 Comparison with the Theory of covering spaces.. 1079 Transcendental Extensions109 Algebraic independence .. 109 Transcendence bases .. 110L uroth s theorem .. 113 Separating transcendence bases .. 1164 Transcendental Galois Theory .

9 117 Exercises .. 117A Review Exercises119B Two-hour Examination125C Solutions to the use the standard (Bourbaki) notations:NDf0;1;2;:::g;ZDring of integers,RDfield of real numbers,CDfield of complex numbers,FpDZ=pZDfield withpelements,pa prime an equivalence relation, denotes the equivalence class containing . The cardinalityof a setSis denoted byjSj(sojSjis the number of elements inSwhenSis finite). LetIandAbe sets. A family of elements ofAindexed byI, denoted , is a functioni7!aiWI!A. Throughout the notes,pis a prime number:pD2;3;5;7;11.

10 X Y Xis a subset ofY(not necessarily proper).XdefDY Xis defined to beY, or equalsYby Y Xis isomorphic 'Y XandYare canonically isomorphic (or there is a given or unique isomorphism).PREREQUISITESG roup Theory (for example, GT), basic linear algebra, and some elementary Theory of , N., 1964, Lectures in Abstract Algebra, Volume III Theory of Fields and GaloisTheory, van , the following of my notes (available at ).GTGroup Theory , , Number Theory , , Primer of Commutative Algebra, , reference monnnn is an open source computer algebra system freely available thank the following for providing corrections and comments for earlier versions of the notes.