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 2021 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={2021},note={Available at },pages={142}}Please send comments and corrections to me at jmilne at (August 21, 1996). First version on the (May 27, 1998). Fixed many minor errors; 57 (April 3, 2002).

2 Revised notes; minor additions to text; added 82 exercises withsolutions, an examination, and an index; 100 (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 (April 15, 2012). Minor fixes; added sections on etale algebras; 124 (March 18, 2014). Added chapter on the Galois Theory of etale algebras (Chapter 8);other improvements; numbering has changed; 138 (April 2020). Minor fixes and additions; numbering little changed; 138 (June 2021).

3 First version available (with its source code) under a Creative is published under a Creative Commons International licence (CC BY-NC-SA ).Licence information: 1996 2021 ..6 References..61 Basic Definitions and Results7 Rings ..7 Fields ..8 The characteristic of a field ..8 Review of polynomial rings ..10 Factoring polynomials ..11 Extensions ..14 The subring generated by a subset ..15 The subfield generated by a subset ..15 Construction of some extensions ..16 Stem Fields ..17 Algebraic and transcendental elements ..18 Transcendental numbers ..19 Constructions with straight-edge and compass..21 Algebraically closed Fields .

4 24 Exercises ..252 Splitting Fields ; Multiple Roots27 Homomorphisms from simple extensions..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 ..464 Computing Galois Groups47 When isGf An? ..473 When doesGfact transitively on the roots? ..48 Polynomials of degree at most three ..49 Quartic polynomials.

5 49 Examples of polynomials withSpas Galois group overQ..51 Finite Fields ..52 Computing Galois groups overQ..54 Exercises ..585 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 ..75 The general polynomial of degreen..78 Norms and traces ..79 Exercises ..836 Algebraic Closures85 Zorn s lemma ..85 First proof of the existence of algebraic closures.

6 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 ..95 Galois groups as inverse limits ..98 Nonopen subgroups of finite index ..99 Exercises .. 1008 The Galois Theory of etale algebras103 Review of commutative algebra .. 103 Etale algebras over a field .. 104 Classification of etale algebras over a field .. 106 Comparison with the Theory of covering spaces.

7 1109 Transcendental Extensions111 Algebraic independence .. 111 Transcendence bases .. 112L uroth s theorem .. 115 Separating transcendence bases .. 1184 Transcendental Galois Theory .. 119 Exercises .. 119A Review Exercises121B Two-hour Examination127C Solutions to the use the standard (Bourbaki) notation: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!

8 AiWI!A. Throughout the notes,pis a prime number:pD2;3;5;7;11;:::.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, van , the following of my notes (available at ).GTGroup Theory , , Number Theory , , Primer of Commutative Algebra, , nnnn on open source computer algebra system that you can run in your browser. It is freelyavailable thank the following for providing corrections and comments for earlier versions of the notes:Mike Albert, Terezakis Alexios, Carlos Alberto Ajila Loayza, Lior Bary-Soroker, MarenBaumann, Leendert Bleijenga, Jin Ce, Tommaso Centeleghe, Sergio Chouhy, DemetresChristofides, Antoine Chambert-Loir, Dustin Clausen, Keith Conrad, Daniel Duparc, HardyFalk, Ralf Goertz, Le Minh Ha, Matin Hajian, Jens Hansen, Albrecht Hess, Tim Holzschuh,Philip Horowitz, Ivan Ip, Trevor Jarvis, Henry Kim, Martin Klazar, Jasper Loy Jiabao,Weiyi Liu, Dmitry Lyubshin, Geir Arne Magnussen, John McKay, Sarah Manski, GeorgesE.

9 Melki, Courtney Mewton, C Nebula, Shuichi Otsuka, Dmitri Panov, Artem Pelenitsyn,Alain Pichereau, David G. Radcliffe, Roberto La Scala, Chad Schoen, Ren e Schoof, Prem LSharma, Dror Speiser, Sam Spiro, Bhupendra Nath Tiwari, Mathieu Vienney, Martin Ward(and class), Yervand Yeghiazarian, Xiande Yang, Wei Xu, and Definitions and ResultsRingsAringis a setRwith two binary operationsCand such that(a).R;C/is a commutative group;(b) is associative, and there exists1an element1 Rsuch thata 1 RDaD1R afor alla2RI(c) the distributive law holds: for alla;b;c2R,.aCb/ cDa cCb ca .bCc/Da bCa usually omit and write1for1 Rwhen this causes no confusion.

10 If1RD0, a ringRis a subsetSthat contains1 Rand is closed under addition, passageto the negative, and multiplication. It inherits the structure of a ring from that of rings WR!R0is a map such that .aCb/D .a/C .b/; .ab/D .a/ .b/; .1R/D1R0for alla;b2R. A ringRis said to becommutativeif multiplication is commutative:abDbafor alla;b2R:A commutative ring is said to be anintegral domainif1R 0and the cancellation lawholds for multiplication,abDac,a 0, impliesbDc:AnidealIin a commutative ringRis a subgroup ;C/that is closed under multiplicationby elements ofR,r2R,a2I, impliesra2I:The ideal generated by elementsa1;:::;anis denoted ;:::;an/.