DOCSLIB.ORG

Fields and Galois Theory

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Fields and Galois Theory Fields and Galois Theory J.S. Milne Œ Q QŒ;˛ 3 2 h i h i N H QŒ QŒp 7 QŒ QŒ˛ C x = 3 = 2 G=N h i h i h i h i Q Q 5 7 Splitting field of X 2 over . Splitting field of X 1 over Q. Q Version 5.00 June 2021 These notes give a concise exposition of the theory of fields, including the Galois theory of finite and infinite extensions and the theory of transcendental extensions. The first six chapters form a standard course, and the final three chapters are more advanced. BibTeX information @misc{milneFT, author={Milne, James S.}, title={Fields and Galois Theory (v5.00)}, year={2021}, note={Available at www.jmilne.org/math/}, pages={142} } Please send comments and corrections to me at jmilne at umich.edu. v2.01 (August 21, 1996). First version on the web. v2.02 (May 27, 1998). Fixed many minor errors; 57 pages. v3.00 (April 3, 2002). Revised notes; minor additions to text; added 82 exercises with solutions, an examination, and an index; 100 pages. v4.00 (February 19, 2005). Revised notes; added proofs for Infinite Galois Extensions; expanded Transcendental Extensions; 107 pages. v4.10 (January 22, 2008). Minor corrections and improvements; added proofs for Kummer theory; 111 pages. v4.20 (February 11, 2008). Replaced Maple with PARI; 111 pages. v4.30 (April 15, 2012). Minor fixes; added sections on etale´ algebras; 124 pages. v4.50 (March 18, 2014). Added chapter on the Galois theory of etale´ algebras (Chapter 8); other improvements; numbering has changed; 138 pages. v4.61 (April 2020). Minor fixes and additions; numbering little changed; 138 pages. v5.00 (June 2021). First version available (with its source code) under a Creative Commons licence. Version 5.0 is published under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International licence (CC BY-NC-SA 4.0). Licence information: https://creativecommons.org/licenses/by-nc-sa/4.0 Copyright ©1996–2021 J.S. Milne. Contents Contents3 Notation. ...................................... 6 References. ..................................... 6 1 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 ............................. 24 Exercises ...................................... 25 2 Splitting Fields; Multiple Roots 27 Homomorphisms from simple extensions...................... 27 Splitting fields.................................... 28 Multiple roots.................................... 30 Exercises ...................................... 33 3 The Fundamental Theorem of Galois Theory 35 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 ...................................... 46 4 Computing Galois Groups 47 When is G An?................................. 47 f 3 When does Gf act transitively on the roots?.................... 48 Polynomials of degree at most three ........................ 49 Quartic polynomials................................. 49 Examples of polynomials with Sp as Galois group over Q . 51 Finite fields ..................................... 52 Computing Galois groups over Q .......................... 54 Exercises ...................................... 58 5 Applications of Galois Theory 59 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 degree n ........................ 78 Norms and traces .................................. 79 Exercises ...................................... 83 6 Algebraic Closures 85 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.................................. 88 7 Infinite Galois Extensions 91 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 ......................................100 8 The Galois theory of etale´ algebras 103 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...................110 9 Transcendental Extensions 111 Algebraic independence...............................111 Transcendence bases ................................112 Luroth’s¨ theorem ..................................115 Separating transcendence bases...........................118 4 Transcendental Galois theory............................119 Exercises ......................................119 A Review Exercises 121 B Two-hour Examination 127 C Solutions to the Exercises 129 Index 141 5 Notation. We use the standard (Bourbaki) notation: N 0;1;2;::: ; D f g Z ring of integers, D R field of real numbers, D C field of complex numbers, D Fp Z=pZ field with p elements, p a prime number. D D Given an equivalence relation, Œ denotes the equivalence class containing . The cardinality of a set S is denoted by S (so S is the number of elements in Swhen S is finite). Let I j j j j and A be sets. A family of elements of A indexed by I , denoted by .ai /i I , is a function 2 i ai I A. Throughout the notes, p is a prime number: p 2;3;5;7;11;:::. 7! XW !YX is a subset of Y (not necessarily proper). D def X YX is defined to be Y , or equals Y by definition. D X YX is isomorphic to Y . X YX and Y are canonically isomorphic (or there is a given or unique isomorphism). ' PREREQUISITES Group theory (for example, GT), basic linear algebra, and some elementary theory of rings. References. Jacobson, N., 1964, Lectures in Abstract Algebra, Volume III, van Nostrand. Also, the following of my notes (available at www.jmilne.org/math/). GT Group Theory, v4.00, 2021. ANT Algebraic Number Theory, v3.08, 2020. CA A Primer of Commutative Algebra, v4.03, 2020. monnnn Question nnnn on mathoverflow.net. PARI An open source computer algebra system that you can run in your browser. It is freely available here. ACKNOWLEDGEMENTS I 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, Maren Baumann, Leendert Bleijenga, Jin Ce, Tommaso Centeleghe, Sergio Chouhy, Demetres Christofides, Antoine Chambert-Loir, Dustin Clausen, Keith Conrad, Daniel Duparc, Hardy Falk, 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, Georges E. Melki, Courtney Mewton, C Nebula, Shuichi Otsuka, Dmitri Panov, Artem Pelenitsyn, Alain Pichereau, David G. Radcliffe, Roberto La Scala, Chad Schoen, Rene´ Schoof, Prem L Sharma, Dror Speiser, Sam Spiro, Bhupendra Nath Tiwari, Mathieu Vienney, Martin Ward (and class), Yervand Yeghiazarian, Xiande Yang, Wei Xu, and others. 6 CHAPTER 1 Basic Definitions and Results Rings A ring is a set R with two binary operations and such that C (a) .R; / is a commutative group; C 1 (b) is associative, and there exists an element 1R such that a 1R a 1R a for all D D a R 2 I (c) the distributive law holds: for all a;b;c R, 2 .a b/ c a c b c C D C a .b c/ a b a c. C D C We usually omit “ ” and write 1 for 1R when this causes no confusion. If 1R 0, then D R 0 . D f g A subring of a ring R is a subset S that contains 1R and is closed under addition, passage to the negative, and multiplication. It inherits the structure of a ring from that on R. A homomorphism of rings ˛ R R is a map such that W ! 0 ˛.a b/ ˛.a/ ˛.b/; ˛.ab/ ˛.a/˛.b/; ˛.1R/ 1R C D C D D 0 for all a;b R. A ring R is
Load more

Recommended publications
  • AN INTRODUCTION to P-ADIC HODGE THEORY Contents
    AN INTRODUCTION TO p-ADIC HODGE THEORY DENIS BENOIS Abstract. These notes provide an introduction to p-adic Hodge theory. They are based on the series of lectures given by the author at the International Center of Theoretical Sciences of Tata Institute in 2019. Contents Introduction 3 1. Local fields. Preliminaries 4 1.1. Non-archimedean fields 4 1.2. Local fields 6 1.3. Ramification filtration 10 1.4. Norms and traces 13 1.5. Witt vectors 14 1.6. Non-abelian cohomology 19 2. Galois groups of local fields 21 2.1. Unramified and tamely ramified extensions 21 2.2. Local class field theory 22 2.3. The absolute Galois group of a local field 22 3. Zp-extensions 24 3.1. The different in Zp-extensions 24 3.2. The normalized trace 27 3.3. Application to continuous cohomology 29 4. Deeply ramified extensions 30 4.1. Deeply ramified extensions 30 4.2. Almost etale´ extensions 34 4.3. Continuous cohomology of GK 36 5. From characteristic 0 to characteristic p and vice versa I: perfectoid fields 38 5.1. Perfectoid fields 38 5.2. Tilting 38 5.3. The ring Ainf(E) 40 5.4. The tilting equivalence 42 6. From characteristic 0 to characteristic p and vice versa II: the field of norms 46 2010 Mathematics Subject Classification. 11F85, 11S15, 11S31, 11G20. Key words and phrases. local field, ramification groups, p-adic representation. 1 2 DENIS BENOIS 6.1. Arithmetically profinite extensions 46 6.2. The field of norms 48 6.3. Functorial properties 52 6.4.
    [Show full text]
  • Field Theory Pete L. Clark
    Field Theory Pete L. Clark Thanks to Asvin Gothandaraman and David Krumm for pointing out errors in these notes. Contents About These Notes 7 Some Conventions 9 Chapter 1. Introduction to Fields 11 Chapter 2. Some Examples of Fields 13 1. Examples From Undergraduate Mathematics 13 2. Fields of Fractions 14 3. Fields of Functions 17 4. Completion 18 Chapter 3. Field Extensions 23 1. Introduction 23 2. Some Impossible Constructions 26 3. Subfields of Algebraic Numbers 27 4. Distinguished Classes 29 Chapter 4. Normal Extensions 31 1. Algebraically closed fields 31 2. Existence of algebraic closures 32 3. The Magic Mapping Theorem 35 4. Conjugates 36 5. Splitting Fields 37 6. Normal Extensions 37 7. The Extension Theorem 40 8. Isaacs' Theorem 40 Chapter 5. Separable Algebraic Extensions 41 1. Separable Polynomials 41 2. Separable Algebraic Field Extensions 44 3. Purely Inseparable Extensions 46 4. Structural Results on Algebraic Extensions 47 Chapter 6. Norms, Traces and Discriminants 51 1. Dedekind's Lemma on Linear Independence of Characters 51 2. The Characteristic Polynomial, the Trace and the Norm 51 3. The Trace Form and the Discriminant 54 Chapter 7. The Primitive Element Theorem 57 1. The Alon-Tarsi Lemma 57 2. The Primitive Element Theorem and its Corollary 57 3 4 CONTENTS Chapter 8. Galois Extensions 61 1. Introduction 61 2. Finite Galois Extensions 63 3. An Abstract Galois Correspondence 65 4. The Finite Galois Correspondence 68 5. The Normal Basis Theorem 70 6. Hilbert's Theorem 90 72 7. Infinite Algebraic Galois Theory 74 8. A Characterization of Normal Extensions 75 Chapter 9.
    [Show full text]
  • APPLICATIONS of GALOIS THEORY 1. Finite Fields Let F Be a Finite Field
    CHAPTER IX APPLICATIONS OF GALOIS THEORY 1. Finite Fields Let F be a finite field. It is necessarily of nonzero characteristic p and its prime field is the field with p r elements Fp.SinceFis a vector space over Fp,itmusthaveq=p elements where r =[F :Fp]. More generally, if E ⊇ F are both finite, then E has qd elements where d =[E:F]. As we mentioned earlier, the multiplicative group F ∗ of F is cyclic (because it is a finite subgroup of the multiplicative group of a field), and clearly its order is q − 1. Hence each non-zero element of F is a root of the polynomial Xq−1 − 1. Since 0 is the only root of the polynomial X, it follows that the q elements of F are roots of the polynomial Xq − X = X(Xq−1 − 1). Hence, that polynomial is separable and F consists of the set of its roots. (You can also see that it must be separable by finding its derivative which is −1.) We q may now conclude that the finite field F is the splitting field over Fp of the separable polynomial X − X where q = |F |. In particular, it is unique up to isomorphism. We have proved the first part of the following result. Proposition. Let p be a prime. For each q = pr, there is a unique (up to isomorphism) finite field F with |F | = q. Proof. We have already proved the uniqueness. Suppose q = pr, and consider the polynomial Xq − X ∈ Fp[X]. As mentioned above Df(X)=−1sof(X) cannot have any repeated roots in any extension, i.e.
    [Show full text]
  • On Free Quasigroups and Quasigroup Representations Stefanie Grace Wang Iowa State University
    Iowa State University Capstones, Theses and Graduate Theses and Dissertations Dissertations 2017 On free quasigroups and quasigroup representations Stefanie Grace Wang Iowa State University Follow this and additional works at: https://lib.dr.iastate.edu/etd Part of the Mathematics Commons Recommended Citation Wang, Stefanie Grace, "On free quasigroups and quasigroup representations" (2017). Graduate Theses and Dissertations. 16298. https://lib.dr.iastate.edu/etd/16298 This Dissertation is brought to you for free and open access by the Iowa State University Capstones, Theses and Dissertations at Iowa State University Digital Repository. It has been accepted for inclusion in Graduate Theses and Dissertations by an authorized administrator of Iowa State University Digital Repository. For more information, please contact [email protected]. On free quasigroups and quasigroup representations by Stefanie Grace Wang A dissertation submitted to the graduate faculty in partial fulfillment of the requirements for the degree of DOCTOR OF PHILOSOPHY Major: Mathematics Program of Study Committee: Jonathan D.H. Smith, Major Professor Jonas Hartwig Justin Peters Yiu Tung Poon Paul Sacks The student author and the program of study committee are solely responsible for the content of this dissertation. The Graduate College will ensure this dissertation is globally accessible and will not permit alterations after a degree is conferred. Iowa State University Ames, Iowa 2017 Copyright c Stefanie Grace Wang, 2017. All rights reserved. ii DEDICATION I would like to dedicate this dissertation to the Integral Liberal Arts Program. The Program changed my life, and I am forever grateful. It is as Aristotle said, \All men by nature desire to know." And Montaigne was certainly correct as well when he said, \There is a plague on Man: his opinion that he knows something." iii TABLE OF CONTENTS LIST OF TABLES .
    [Show full text]
  • Determining the Galois Group of a Rational Polynomial
    Determining the Galois group of a rational polynomial Alexander Hulpke Department of Mathematics Colorado State University Fort Collins, CO, 80523 [email protected] http://www.math.colostate.edu/˜hulpke JAH 1 The Task Let f Q[x] be an irreducible polynomial of degree n. 2 Then G = Gal(f) = Gal(L; Q) with L the splitting field of f over Q. Problem: Given f, determine G. WLOG: f monic, integer coefficients. JAH 2 Field Automorphisms If we want to represent automorphims explicitly, we have to represent the splitting field L For example as splitting field of a polynomial g Q[x]. 2 The factors of g over L correspond to the elements of G. Note: If deg(f) = n then deg(g) n!. ≤ In practice this degree is too big. JAH 3 Permutation type of the Galois Group Gal(f) permutes the roots α1; : : : ; αn of f: faithfully (L = Spl(f) = Q(α ; α ; : : : ; α ). • 1 2 n transitively ( (x α ) is a factor of f). • Y − i i I 2 This action gives an embedding G S . The field Q(α ) corresponds ≤ n 1 to the subgroup StabG(1). Arrangement of roots corresponds to conjugacy in Sn. We want to determine the Sn-class of G. JAH 4 Assumption We can calculate “everything” about Sn. n is small (n 20) • ≤ Can use table of transitive groups (classified up to degree 30) • We can approximate the roots of f (numerically and p-adically) JAH 5 Reduction at a prime Let p be a prime that does not divide the discriminant of f (i.e.
    [Show full text]
  • On Field Γ-Semiring and Complemented Γ-Semiring with Identity
    BULLETIN OF THE INTERNATIONAL MATHEMATICAL VIRTUAL INSTITUTE ISSN (p) 2303-4874, ISSN (o) 2303-4955 www.imvibl.org /JOURNALS / BULLETIN Vol. 8(2018), 189-202 DOI: 10.7251/BIMVI1801189RA Former BULLETIN OF THE SOCIETY OF MATHEMATICIANS BANJA LUKA ISSN 0354-5792 (o), ISSN 1986-521X (p) ON FIELD Γ-SEMIRING AND COMPLEMENTED Γ-SEMIRING WITH IDENTITY Marapureddy Murali Krishna Rao Abstract. In this paper we study the properties of structures of the semi- group (M; +) and the Γ−semigroup M of field Γ−semiring M, totally ordered Γ−semiring M and totally ordered field Γ−semiring M satisfying the identity a + aαb = a for all a; b 2 M; α 2 Γand we also introduce the notion of com- plemented Γ−semiring and totally ordered complemented Γ−semiring. We prove that, if semigroup (M; +) is positively ordered of totally ordered field Γ−semiring satisfying the identity a + aαb = a for all a; b 2 M; α 2 Γ, then Γ-semigroup M is positively ordered and study their properties. 1. Introduction In 1995, Murali Krishna Rao [5, 6, 7] introduced the notion of a Γ-semiring as a generalization of Γ-ring, ring, ternary semiring and semiring. The set of all negative integers Z− is not a semiring with respect to usual addition and multiplication but Z− forms a Γ-semiring where Γ = Z: Historically semirings first appear implicitly in Dedekind and later in Macaulay, Neither and Lorenzen in connection with the study of a ring. However semirings first appear explicitly in Vandiver, also in connection with the axiomatization of Arithmetic of natural numbers.
    [Show full text]
  • Formal Power Series - Wikipedia, the Free Encyclopedia
    Formal power series - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Formal_power_series Formal power series From Wikipedia, the free encyclopedia In mathematics, formal power series are a generalization of polynomials as formal objects, where the number of terms is allowed to be infinite; this implies giving up the possibility to substitute arbitrary values for indeterminates. This perspective contrasts with that of power series, whose variables designate numerical values, and which series therefore only have a definite value if convergence can be established. Formal power series are often used merely to represent the whole collection of their coefficients. In combinatorics, they provide representations of numerical sequences and of multisets, and for instance allow giving concise expressions for recursively defined sequences regardless of whether the recursion can be explicitly solved; this is known as the method of generating functions. Contents 1 Introduction 2 The ring of formal power series 2.1 Definition of the formal power series ring 2.1.1 Ring structure 2.1.2 Topological structure 2.1.3 Alternative topologies 2.2 Universal property 3 Operations on formal power series 3.1 Multiplying series 3.2 Power series raised to powers 3.3 Inverting series 3.4 Dividing series 3.5 Extracting coefficients 3.6 Composition of series 3.6.1 Example 3.7 Composition inverse 3.8 Formal differentiation of series 4 Properties 4.1 Algebraic properties of the formal power series ring 4.2 Topological properties of the formal power series
    [Show full text]
  • Infinite Galois Theory
    Infinite Galois Theory Haoran Liu May 1, 2016 1 Introduction For an finite Galois extension E/F, the fundamental theorem of Galois Theory establishes an one-to-one correspondence between the intermediate fields of E/F and the subgroups of Gal(E/F), the Galois group of the extension. With this correspondence, we can examine the the finite field extension by using the well-established group theory. Naturally, we wonder if this correspondence still holds if the Galois extension E/F is infinite. It is very tempting to assume the one-to-one correspondence still exists. Unfortu- nately, there is not necessary a correspondence between the intermediate fields of E/F and the subgroups of Gal(E/F)whenE/F is a infinite Galois extension. It will be illustrated in the following example. Example 1.1. Let F be Q,andE be the splitting field of a set of polynomials in the form of x2 p, where p is a prime number in Z+. Since each automorphism of E that fixes F − is determined by the square root of a prime, thusAut(E/F)isainfinitedimensionalvector space over F2. Since the number of homomorphisms from Aut(E/F)toF2 is uncountable, which means that there are uncountably many subgroups of Aut(E/F)withindex2.while the number of subfields of E that have degree 2 over F is countable, thus there is no bijection between the set of all subfields of E containing F and the set of all subgroups of Gal(E/F). Since a infinite Galois group Gal(E/F)normally have ”too much” subgroups, there is no subfield of E containing F can correspond to most of its subgroups.
    [Show full text]
  • A Second Course in Algebraic Number Theory
    A second course in Algebraic Number Theory Vlad Dockchitser Prerequisites: • Galois Theory • Representation Theory Overview: ∗ 1. Number Fields (Review, K; OK ; O ; ClK ; etc) 2. Decomposition of primes (how primes behave in eld extensions and what does Galois's do) 3. L-series (Dirichlet's Theorem on primes in arithmetic progression, Artin L-functions, Cheboterev's density theorem) 1 Number Fields 1.1 Rings of integers Denition 1.1. A number eld is a nite extension of Q Denition 1.2. An algebraic integer α is an algebraic number that satises a monic polynomial with integer coecients Denition 1.3. Let K be a number eld. It's ring of integer OK consists of the elements of K which are algebraic integers Proposition 1.4. 1. OK is a (Noetherian) Ring 2. , i.e., ∼ [K:Q] as an abelian group rkZ OK = [K : Q] OK = Z 3. Each can be written as with and α 2 K α = β=n β 2 OK n 2 Z Example. K OK Q Z ( p p [ a] a ≡ 2; 3 mod 4 ( , square free) Z p Q( a) a 2 Z n f0; 1g a 1+ a Z[ 2 ] a ≡ 1 mod 4 where is a primitive th root of unity Q(ζn) ζn n Z[ζn] Proposition 1.5. 1. OK is the maximal subring of K which is nitely generated as an abelian group 2. O`K is integrally closed - if f 2 OK [x] is monic and f(α) = 0 for some α 2 K, then α 2 OK . Example (Of Factorisation).
    [Show full text]
  • Växjö University
    School of Mathematics and System Engineering Reports from MSI - Rapporter från MSI Växjö University Geometrical Constructions Tanveer Sabir Aamir Muneer June MSI Report 09021 2009 Växjö University ISSN 1650-2647 SE-351 95 VÄXJÖ ISRN VXU/MSI/MA/E/--09021/--SE Tanveer Sabir Aamir Muneer Trisecting the Angle, Doubling the Cube, Squaring the Circle and Construction of n-gons Master thesis Mathematics 2009 Växjö University Abstract In this thesis, we are dealing with following four problems (i) Trisecting the angle; (ii) Doubling the cube; (iii) Squaring the circle; (iv) Construction of all regular polygons; With the help of field extensions, a part of the theory of abstract algebra, these problems seems to be impossible by using unmarked ruler and compass. First two problems, trisecting the angle and doubling the cube are solved by using marked ruler and compass, because when we use marked ruler more points are possible to con- struct and with the help of these points more figures are possible to construct. The problems, squaring the circle and Construction of all regular polygons are still im- possible to solve. iii Key-words: iv Acknowledgments We are obliged to our supervisor Per-Anders Svensson for accepting and giving us chance to do our thesis under his kind supervision. We are also thankful to our Programme Man- ager Marcus Nilsson for his work that set up a road map for us. We wish to thank Astrid Hilbert for being in Växjö and teaching us, She is really a cool, calm and knowledgeable, as an educator should. We also want to thank of our head of department and teachers who time to time supported in different subjects.
    [Show full text]
  • Algebraic Number Theory
    Algebraic Number Theory William B. Hart Warwick Mathematics Institute Abstract. We give a short introduction to algebraic number theory. Algebraic number theory is the study of extension fields Q(α1; α2; : : : ; αn) of the rational numbers, known as algebraic number fields (sometimes number fields for short), in which each of the adjoined complex numbers αi is algebraic, i.e. the root of a polynomial with rational coefficients. Throughout this set of notes we use the notation Z[α1; α2; : : : ; αn] to denote the ring generated by the values αi. It is the smallest ring containing the integers Z and each of the αi. It can be described as the ring of all polynomial expressions in the αi with integer coefficients, i.e. the ring of all expressions built up from elements of Z and the complex numbers αi by finitely many applications of the arithmetic operations of addition and multiplication. The notation Q(α1; α2; : : : ; αn) denotes the field of all quotients of elements of Z[α1; α2; : : : ; αn] with nonzero denominator, i.e. the field of rational functions in the αi, with rational coefficients. It is the smallest field containing the rational numbers Q and all of the αi. It can be thought of as the field of all expressions built up from elements of Z and the numbers αi by finitely many applications of the arithmetic operations of addition, multiplication and division (excepting of course, divide by zero). 1 Algebraic numbers and integers A number α 2 C is called algebraic if it is the root of a monic polynomial n n−1 n−2 f(x) = x + an−1x + an−2x + ::: + a1x + a0 = 0 with rational coefficients ai.
    [Show full text]
  • Separable Commutative Rings in the Stable Module Category of Cyclic Groups
    SEPARABLE COMMUTATIVE RINGS IN THE STABLE MODULE CATEGORY OF CYCLIC GROUPS PAUL BALMER AND JON F. CARLSON Abstract. We prove that the only separable commutative ring-objects in the stable module category of a finite cyclic p-group G are the ones corresponding to subgroups of G. We also describe the tensor-closure of the Kelly radical of the module category and of the stable module category of any finite group. Contents Introduction1 1. Separable ring-objects4 2. The Kelly radical and the tensor6 3. The case of the group of prime order 14 4. The case of the general cyclic group 16 References 18 Introduction Since 1960 and the work of Auslander and Goldman [AG60], an algebra A over op a commutative ring R is called separable if A is projective as an A ⊗R A -module. This notion turns out to be remarkably important in many other contexts, where the module category C = R- Mod and its tensor ⊗ = ⊗R are replaced by an arbitrary tensor category (C; ⊗). A ring-object A in such a category C is separable if multiplication µ : A⊗A ! A admits a section σ : A ! A⊗A as an A-A-bimodule in C. See details in Section1. Our main result (Theorem 4.1) concerns itself with modular representation theory of finite groups: Main Theorem. Let | be a separably closed field of characteristic p > 0 and let G be a cyclic p-group. Let A be a commutative and separable ring-object in the stable category |G- stmod of finitely generated |G-modules modulo projectives.
    [Show full text]