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). 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).

2 Minor corrections and improvements; added proofs for Kummertheory; 111 (February 11, 2008). Replaced Maple with PARI; 111 (September 28, 2008). 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 ..6 References..61 Basic Definitions and Results7 Rings.

3 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..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.

4 45 Exercises ..454 Computing Galois Groups47 When isGf An? ..473 When doesGfact transitively on the roots? ..48 Polynomials of degree at most three ..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 ..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.

5 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 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 .. 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.

6 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;:::.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:Mike Albert, Lior Bary-Soroker, Maren Baumann, Leendert Bleijenga, Jin Ce, TommasoCenteleghe, Sergio Chouhy, Demetres Christofides, Antoine Chambert-Loir, Dustin Clausen,Keith Conrad, Daniel Duparc, Hardy Falk, Le Minh Ha, Jens Hansen, Albrecht Hess, TimHolzschuh, Philip Horowitz, Trevor Jarvis, Henry Kim, Martin Klazar, Jasper Loy Jiabao,Weiyi Liu, Dmitry Lyubshin, Geir Arne Magnussen, John McKay, Sarah Manski, GeorgesE.

7 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), 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. 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.

8 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/. For example,.a/isthe principal follow Bourbaki in requiring that rings have a1, which entails that we require homomorphisms topreserve BASICDEFINITIONS ANDRESULTSWe assume that the reader has some familiarity with the elementary Theory of example, inZ(more generally, any Euclidean domain) an idealIis generated by any smallest nonzero element ofI, and unique factorization into powers of prime Afieldis a setFwith two composition lawsCand such that(a).F;C/is a commutative group;(b).

9 F ; /, whereF DFXf0g, is a commutative group;(c) the distributive law , a field is a nonzero commutative ring such that every nonzero element has an particular, it is an integral domain. A field contains at least two distinct elements, smallest, and one of the most important, Fields isF2DZ=2 ZDf0; a fieldFis a subring that is closed under passage to the inverse. Itinherits the structure of a field from that nonzero commutative ringRis a field if and only if it has no ideals thatRis a field, and letIbe a nonzero ideal inR. Ifais a nonzero elementofI, then1Da 1a2I, and soIDR. Conversely, suppose thatRis a commutative ringwith no proper nonzero ideals. Ifa 0, , and so there exists abinRsuch The following are Fields :Q,R,C,FpDZ=pZ(pprime):Ahomomorphi sm of fieldsis simply a homomorphism of rings. Such a homomorphismis always injective, because its kernel is a proper ideal (it doesn t contain1), which musttherefore be a field.

10 AnF-algebra(oralgebra overF) is a ringRcontainingFas a subring(so the inclusion map is a homomorphism). Ahomomorphism ofF-algebras WR!R0isa homomorphism of rings such that .c/Dcfor characteristic of a fieldOne checks easily that the mapZ!F; n7!n 1 FdefD1FC1FC of1F/;is a homomorphism of rings. For example,.1FC C1F .. C1F ..n/D1FC C1F ..mCnbecause of the associativity of addition. Therefore its kernel is an ideal : The kernel of the map , so thatn 1FD0(inR)H)nD0(inZ).Review of polynomial rings9 Nonzero integers map to invertible elements ofFundern7!n 1 FWZ!F, and so this mapextends to a homomorphismmn7!.m 1F/.n 1F/ 1WQ,!F:Thus, in this case,Fcontains a copy ofQ, and we say that it hascharacteristic :The kernel of the map is .0/, so thatn 1FD0for somen 0. The smallestpositive suchnwill be a primep(otherwise there will be two nonzero elements inFwhoseproduct is zero), andpgenerates the kernel.