DOCSLIB.ORG

Separable Algebras

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

GRADUATE STUDIES IN MATHEMATICS 183 Separable Algebras Timothy J. Ford American Mathematical Society 10.1090/gsm/183 Separable Algebras GRADUATE STUDIES IN MATHEMATICS 183 Separable Algebras Timothy J. Ford American Mathematical Society Providence, Rhode Island EDITORIAL COMMITTEE Dan Abramovich Daniel S. Freed (Chair) Gigliola Staffilani Jeff A. Viaclovsky 2010 Mathematics Subject Classification. Primary 16H05, 15B05, 13A15, 13C20, 14F20, 14B25, 16-01, 13-01. For additional information and updates on this book, visit www.ams.org/bookpages/gsm-183 Library of Congress Cataloging-in-Publication Data Names: Ford, Timothy J., 1954- Title: Separable algebras / Timothy J. Ford. Description: Providence, Rhode Island : American Mathematical Society, [2017] | Series: Gradu- ate studies in mathematics ; volume 183 | Includes bibliographical references and index. Identifiers: LCCN 2017013677 | ISBN 9781470437701 (alk. paper) Subjects: LCSH: Separable algebras–Textbooks. | Associative rings–Textbooks. | AMS: Associa- tive rings and algebras – Algebras and orders – Separable algebras (e.g., quaternion algebras, Azumaya algebras, etc.). msc | Commutative algebra – Ring extensions and related topics – Etale´ and flat extensions; Henselization; Artin approximation. msc | Commutative algebra – Ring extensions and related topics – Galois theory. msc | Commutative algebra – General commutative ring theory – Ideals; multiplicative ideal theory. msc | Commutative algebra – Theory of modules and ideals – Class groups. msc | Algebraic geometry – (Co)homology theory – Etale´ and other Grothendieck topologies and (co)homologies. msc | Algebraic geometry – Local theory – Local structure of morphisms: Etale,´ flat, etc. msc | Associative rings and alge- bras – Instructional exposition (textbooks, tutorial papers, etc.). msc | Commutative algebra – Instructional exposition (textbooks, tutorial papers, etc.). msc Classification: LCC QA251.5 .F67 2017 | DDC 512/.46–dc23 LC record available at https://lccn. loc.gov/2017013677 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy select pages for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Permissions to reuse portions of AMS publication content are handled by Copyright Clearance Center’s RightsLink service. For more information, please visit: http://www.ams.org/rightslink. Send requests for translation rights and licensed reprints to [email protected]. Excluded from these provisions is material for which the author holds copyright. In such cases, requests for permission to reuse or reprint material should be addressed directly to the author(s). Copyright ownership is indicated on the copyright page, or on the lower right-hand corner of the first page of each article within proceedings volumes. c 2017 by the American Mathematical Society. All rights reserved. The American Mathematical Society retains all rights except those granted to the United States Government. Printed in the United States of America. ∞ The paper used in this book is acid-free and falls within the guidelines established to ensure permanence and durability. Visit the AMS home page at http://www.ams.org/ 10987654321 222120191817 Dedicated to Frank DeMeyer Contents Preface xv Chapter 1. Background Material on Rings and Modules 1 §1. Rings and Modules 1 1.1. Categories and Functors 2 1.2. Progenerator Modules 5 1.3. Exercises 8 1.4. Nakayama’s Lemma 9 1.5. Exercise 11 1.6. Module Direct Summands of Rings 11 1.7. Exercises 13 §2. Polynomial Functions 14 2.1. The Ring of Polynomial Functions on a Module 14 2.2. Resultant of Two Polynomials 15 2.3. Polynomial Functions on an Algebraic Curve 19 2.4. Exercises 21 §3. Hom and Tensor 23 3.1. Tensor Product 23 3.2. Exercises 27 3.3. Hom Groups 29 3.4. Hom Tensor Relations 33 3.5. Exercises 36 §4. Direct Limit and Inverse Limit 37 4.1. The Direct Limit 38 4.2. The Inverse Limit 40 4.3. Inverse Systems Indexed by Nonnegative Integers 42 vii viii Contents 4.4. Exercises 45 §5. The Morita Theorems 47 5.1. Exercises 52 Chapter 2. Modules over Commutative Rings 53 §1. Localization of Modules and Rings 53 1.1. Local to Global Lemmas 54 1.2. Exercises 57 §2. The Prime Spectrum of a Commutative Ring 58 2.1. Exercises 63 §3. Finitely Generated Projective Modules 65 3.1. Exercises 68 §4. Faithfully Flat Modules and Algebras 70 4.1. Exercises 74 §5. Chain Conditions 75 5.1. Exercises 78 §6. Faithfully Flat Base Change 80 6.1. Fundamental Theorem on Faithfully Flat Base Change 80 6.2. Locally Free Finite Rank is Finitely Generated Projective 83 6.3. Invertible Modules and the Picard Group 85 6.4. Exercises 88 Chapter 3. The Wedderburn-Artin Theorem 91 §1. The Jacobson Radical and Nakayama’s Lemma 91 1.1. Exercises 94 §2. Semisimple Modules and Semisimple Rings 94 2.1. Simple Rings and the Wedderburn-Artin Theorem 97 2.2. Commutative Artinian Rings 100 2.3. Exercises 102 §3. Integral Extensions 103 §4. Completion of a Linear Topological Module 106 4.1. Graded Rings and Graded Modules 110 4.2. Lifting of Idempotents 112 Chapter 4. Separable Algebras, Definition and First Properties 115 §1. Separable Algebra, the Definition 115 1.1. Exercises 119 §2. Examples of Separable Algebras 120 §3. Separable Algebras Under a Change of Base Ring 123 §4. Homomorphisms of Separable Algebras 127 Contents ix 4.1. Exercises 133 §5. Separable Algebras over a Field 137 5.1. Central Simple Equals Central Separable 137 5.2. Unique Decomposition Theorems 140 5.3. The Skolem-Noether Theorem 143 5.4. Exercises 144 §6. Commutative Separable Algebras 146 6.1. Separable Extensions of Commutative Rings 146 6.2. Separability and the Trace 148 6.3. Twisted Form of the Trivial Extension 152 6.4. Exercises 153 §7. Formally Unramified, Smooth and Etale´ Algebras 155 Chapter 5. Background Material on Homological Algebra 159 §1. Group Cohomology 159 1.1. Cocycle and Coboundary Groups in Low Degree 161 1.2. Applications and Computations 163 1.3. Exercises 170 §2. The Tensor Algebra of a Module 173 2.1. Exercises 176 §3. Theory of Faithfully Flat Descent 177 3.1. The Amitsur Complex 177 3.2. The Descent of Elements 178 3.3. Descent of Homomorphisms 180 3.4. Descent of Modules 181 3.5. Descent of Algebras 186 §4. Hochschild Cohomology 188 §5. Amitsur Cohomology 191 5.1. The Definition and First Properties 191 5.2. Twisted Forms 195 Chapter 6. The Divisor Class Group 199 §1. Background Results from Commutative Algebra 200 1.1. Krull Dimension 200 1.2. The Serre Criteria for Normality 201 1.3. The Hilbert-Serre Criterion for Regularity 202 1.4. Discrete Valuation Rings 204 §2. The Class Group of Weil Divisors 206 2.1. Exercises 210 §3. Lattices 213 3.1. Definition and First Properties 213 x Contents 3.2. Reflexive Lattices 216 3.3. A Local to Global Theorem for Reflexive Lattices 222 3.4. Exercises 224 §4. The Ideal Class Group 226 4.1. Exercises 232 §5. Functorial Properties of the Class Group 233 5.1. Flat Extensions 233 5.2. Finite Extensions 235 5.3. Galois Descent of Divisor Classes 236 5.4. The Class Group of a Regular Domain 238 5.5. Exercises 242 Chapter 7. Azumaya Algebras, I 243 §1. First Properties of Azumaya Algebras 243 §2. The Commutator Theorems 249 §3. The Brauer Group 252 §4. Splitting Rings 254 4.1. Exercises 258 §5. Azumaya Algebras over a Field 258 §6. Azumaya Algebras up to Brauer Equivalence 263 6.1. Exercises 266 §7. Noetherian Reduction of Azumaya Algebras 267 7.1. Exercises 273 §8. The Picard Group of Invertible Bimodules 274 8.1. Definition of the Picard Group 274 8.2. The Skolem-Noether Theorem 279 8.3. Exercise 280 §9. The Brauer Group Modulo an Ideal 281 9.1. Lifting Azumaya Algebras 284 9.2. The Brauer Group of a Commutative Artinian Ring 286 Chapter 8. Derivations, Differentials and Separability 287 §1. Derivations and Separability 287 1.1. The Definition and First Results 287 1.2. A Noncommutative Binomial Theorem in Characteristic p 291 1.3. Extensions of Derivations 292 1.4. Exercises 294 1.5. More Tests for Separability 296 1.6. Locally of Finite Type is Finitely Generated as an Algebra 301 1.7. Exercises 301 Contents xi §2. Differential Crossed Product Algebras 303 2.1. Elementary p-Algebras 305 §3. Differentials and Separability 308 3.1. The Definition and Fundamental Exact Sequences 308 3.2. More Tests for Separability 312 3.3. Exercises 316 §4. Separably Generated Extension Fields 317 4.1. Emmy Noether’s Normalization Lemma 320 4.2. Algebraic Curves 323 §5. Tests for Regularity 325 5.1. A Differential Criterion for Regularity 325 5.2. A Jacobian Criterion for Regularity 326 Chapter 9. Etale´ Algebras 329 §1. Complete Noetherian Rings 329 §2. Etale´ and Smooth Algebras 336 2.1. Etale´ Algebras 336 2.2. Formally Smooth Algebras 339 2.3. Formally Etale´ is Etale´ 346 2.4. An Example of Raynaud 346 §3. More Properties of Etale´ Algebras 348 3.1. Quasi-finite Algebras 348 3.2. Exercises 350 3.3. Standard Etale´ Algebras 350 3.4. Theorems of Permanence 353 3.5. Etale´ Algebras over a Normal Ring 355 3.6. Topological Invariance of Etale´ Coverings 357 3.7. Etale´ Neighborhood of a Local Ring 359 §4. Ramified Radical Extensions 361 4.1. Exercises 364 Chapter 10. Henselization and Splitting Rings 367 §1. Henselian Local Rings 368 1.1. The Definition 368 1.2. Henselian Noetherian Local Rings 376 1.3. Exercises 379 §2. Henselization of a Local Ring 380 2.1.
Recommended publications
  • Injective Modules: Preparatory Material for the Snowbird Summer School on Commutative Algebra

    Injective Modules: Preparatory Material for the Snowbird Summer School on Commutative Algebra

    INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA These notes are intended to give the reader an idea what injective modules are, where they show up, and, to a small extent, what one can do with them. Let R be a commutative Noetherian ring with an identity element. An R- module E is injective if HomR( ;E) is an exact functor. The main messages of these notes are − Every R-module M has an injective hull or injective envelope, de- • noted by ER(M), which is an injective module containing M, and has the property that any injective module containing M contains an isomorphic copy of ER(M). A nonzero injective module is indecomposable if it is not the direct • sum of nonzero injective modules. Every injective R-module is a direct sum of indecomposable injective R-modules. Indecomposable injective R-modules are in bijective correspondence • with the prime ideals of R; in fact every indecomposable injective R-module is isomorphic to an injective hull ER(R=p), for some prime ideal p of R. The number of isomorphic copies of ER(R=p) occurring in any direct • sum decomposition of a given injective module into indecomposable injectives is independent of the decomposition. Let (R; m) be a complete local ring and E = ER(R=m) be the injec- • tive hull of the residue field of R. The functor ( )_ = HomR( ;E) has the following properties, known as Matlis duality− : − (1) If M is an R-module which is Noetherian or Artinian, then M __ ∼= M.
  • AZUMAYA, SEMISIMPLE and IDEAL ALGEBRAS* Introduction. If a Is An

    AZUMAYA, SEMISIMPLE and IDEAL ALGEBRAS* Introduction. If a Is An

    BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 78, Number 4, July 1972 AZUMAYA, SEMISIMPLE AND IDEAL ALGEBRAS* BY M. L. RANGA RAO Communicated by Dock S. Rim, January 31, 1972 Introduction. If A is an algebra over a commutative ring, then for any ideal I of R the image of the canonical map / ® R A -» A is an ideal of A, denoted by IA and called a scalar ideal. The algebra A is called an ideal algebra provided that / -> IA defines a bijection from the ideals of R to the ideals of A. The contraction map denned by 21 -> 91 n JR, being the inverse mapping, each ideal of A is a scalar ideal and every ideal of R is a contraction of an ideal of A. It is known that any Azumaya algebra is an ideal algebra (cf. [2], [4]). In this paper we initiate the study of ideal algebras and obtain a new characterization of Azumaya algebras. We call an algebra finitely genera­ ted (or projective) if the R-module A is, and show that a finitely generated algebra A is Azumaya iff its enveloping algebra is ideal (1.7). Hattori introduced in [9] the notion of semisimple algebras over a commutative ring as those algebras whose relative global dimension [10] is zero. If R is a Noetherian ring, central, finitely generated semisimple algebras have the property that their maximal ideals are all scalar ideals [6, Theorem 1.6]. It is also known that for R, a Noetherian integrally closed domain, finitely generated, projective, central semisimple algebras are maximal orders in central simple algebras [9, Theorem 4.6].
  • Multiplicative Theory of Ideals This Is Volume 43 in PURE and APPLIED MATHEMATICS a Series of Monographs and Textbooks Editors: PAULA

    Multiplicative Theory of Ideals This Is Volume 43 in PURE and APPLIED MATHEMATICS a Series of Monographs and Textbooks Editors: PAULA

    Multiplicative Theory of Ideals This is Volume 43 in PURE AND APPLIED MATHEMATICS A Series of Monographs and Textbooks Editors: PAULA. SMITHAND SAMUELEILENBERG A complete list of titles in this series appears at the end of this volume MULTIPLICATIVE THEORY OF IDEALS MAX D. LARSEN / PAUL J. McCARTHY University of Nebraska University of Kansas Lincoln, Nebraska Lawrence, Kansas @ A CADEM I C P RE S S New York and London 1971 COPYRIGHT 0 1971, BY ACADEMICPRESS, INC. ALL RIGHTS RESERVED NO PART OF THIS BOOK MAY BE REPRODUCED IN ANY FORM, BY PHOTOSTAT, MICROFILM, RETRIEVAL SYSTEM, OR ANY OTHER MEANS, WITHOUT WRITTEN PERMISSION FROM THE PUBLISHERS. ACADEMIC PRESS, INC. 111 Fifth Avenue, New York, New York 10003 United Kingdom Edition published by ACADEMIC PRESS, INC. (LONDON) LTD. Berkeley Square House, London WlX 6BA LIBRARY OF CONGRESS CATALOG CARD NUMBER: 72-137621 AMS (MOS)1970 Subject Classification 13F05; 13A05,13B20, 13C15,13E05,13F20 PRINTED IN THE UNITED STATES OF AMERICA To Lillie and Jean This Page Intentionally Left Blank Contents Preface xi ... Prerequisites Xlll Chapter I. Modules 1 Rings and Modules 1 2 Chain Conditions 8 3 Direct Sums 12 4 Tensor Products 15 5 Flat Modules 21 Exercises 27 Chapter II. Primary Decompositions and Noetherian Rings 1 Operations on Ideals and Submodules 36 2 Primary Submodules 39 3 Noetherian Rings 44 4 Uniqueness Results for Primary Decompositions 48 Exercises 52 Chapter Ill. Rings and Modules of Quotients 1 Definition 61 2 Extension and Contraction of Ideals 66 3 Properties of Rings of Quotients 71 Exercises 74 Vii Vlll CONTENTS Chapter IV.
  • Commutative Algebra, Lecture Notes

    Commutative Algebra, Lecture Notes

    COMMUTATIVE ALGEBRA, LECTURE NOTES P. SOSNA Contents 1. Very brief introduction 2 2. Rings and Ideals 2 3. Modules 10 3.1. Tensor product of modules 15 3.2. Flatness 18 3.3. Algebras 21 4. Localisation 22 4.1. Local properties 25 5. Chain conditions, Noetherian and Artin rings 29 5.1. Noetherian rings and modules 31 5.2. Artin rings 36 6. Primary decomposition 38 6.1. Primary decompositions in Noetherian rings 42 6.2. Application to Artin rings 43 6.3. Some geometry 44 6.4. Associated primes 45 7. Ring extensions 49 7.1. More geometry 56 8. Dimension theory 57 8.1. Regular rings 66 9. Homological methods 68 9.1. Recollections 68 9.2. Global dimension 71 9.3. Regular sequences, global dimension and regular rings 76 10. Differentials 83 10.1. Construction and some properties 83 10.2. Connection to regularity 88 11. Appendix: Exercises 91 References 100 1 2 P. SOSNA 1. Very brief introduction These are notes for a lecture (14 weeks, 2×90 minutes per week) held at the University of Hamburg in the winter semester 2014/2015. The goal is to introduce and study some basic concepts from commutative algebra which are indispensable in, for instance, algebraic geometry. There are many references for the subject, some of them are in the bibliography. In Sections 2-8 I mostly closely follow [2], sometimes rearranging the order in which the results are presented, sometimes omitting results and sometimes giving statements which are missing in [2]. In Section 9 I mostly rely on [9], while most of the material in Section 10 closely follows [4].
  • No Transcendental Brauer-Manin Obstructions on Abelian Varieties

    No Transcendental Brauer-Manin Obstructions on Abelian Varieties

    THERE ARE NO TRANSCENDENTAL BRAUER-MANIN OBSTRUCTIONS ON ABELIAN VARIETIES BRENDAN CREUTZ Abstract. Suppose X is a torsor under an abelian variety A over a number field. We show that any adelic point of X that is orthogonal to the algebraic Brauer group of X is orthogonal to the whole Brauer group of X. We also show that if there is a Brauer-Manin obstruction to the existence of rational points on X, then there is already an obstruction coming from the locally constant Brauer classes. These results had previously been established under the assumption that A has finite Tate-Shafarevich group. Our results are unconditional. 1. Introduction Let X be a smooth projective and geometrically integral variety over a number field k. In order that X possesses a k-rational point it is necessary that X has points everywhere locally, i.e., that the set X(Ak) of adelic points on X is nonempty. The converse to this statement is called the Hasse principle, and it is known that this can fail. When X(k) is nonempty one can ask if weak approximation holds, i.e., if X(k) is dense in X(Ak) in the adelic topology. Manin [Man71] showed that the failure of the Hasse principle or weak approximation can, in many cases, be explained by a reciprocity law on X(Ak) imposed by the Brauer group, 2 Br X := Hét(X, Gm). Specifically, each element α ∈ Br X determines a continuous map, α∗ : X(Ak) → Q/Z, between the adelic and discrete topologies with the property that the subset X(k) ⊂ X(Ak) of rational points is mapped to 0.
  • A Non-Slick Proof of the Jordan Hölder Theorem E.L. Lady This Proof Is An

    A Non-Slick Proof of the Jordan Hölder Theorem E.L. Lady This Proof Is An

    A Non-slick Proof of the Jordan H¨older Theorem E.L. Lady This proof is an attempt to approximate the actual thinking process that one goes through in finding a proof before one realizes how simple the theorem really is. To start with, though, we motivate the Jordan-H¨older Theorem by starting with the idea of dimension for vector spaces. The concept of dimension for vector spaces has the following properties: (1) If V = {0} then dim V =0. (2) If W is a proper subspace of V ,thendimW<dim V . (3) If V =6 {0}, then there exists a one-dimensional subspace of V . (4) dim(S U ⊕ W )=dimU+dimW. W chain (5) If SI i is a of subspaces of a vector space, then dim Wi =sup{dim Wi}. Now we want to use properties (1) through (4) as a model for defining an analogue of dimension, which we will call length,forcertain modules over a ring. These modules will be the analogue of finite-dimensional vector spaces, and will have very similar properties. The axioms for length will be as follows. Axioms for Length. Let R beafixedringandletM and N denote R-modules. Whenever length M is defined, it is a cardinal number. (1) If M = {0},thenlengthM is defined and length M =0. (2) If length M is defined and N is a proper submodule of M ,thenlengthN is defined. Furthermore, if length M is finite then length N<length M . (3) For M =0,length6 M=1ifandonlyifM has no proper non-trivial submodules.
  • Brauer Groups of Abelian Schemes

    Brauer Groups of Abelian Schemes

    ANNALES SCIENTIFIQUES DE L’É.N.S. RAYMOND T. HOOBLER Brauer groups of abelian schemes Annales scientifiques de l’É.N.S. 4e série, tome 5, no 1 (1972), p. 45-70 <http://www.numdam.org/item?id=ASENS_1972_4_5_1_45_0> © Gauthier-Villars (Éditions scientifiques et médicales Elsevier), 1972, tous droits réservés. L’accès aux archives de la revue « Annales scientifiques de l’É.N.S. » (http://www. elsevier.com/locate/ansens) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systé- matique est constitutive d’une infraction pénale. Toute copie ou impression de ce fi- chier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Ann. scienL EC. Norm. Sup., 4® serie, t. 5, 1972, p. 45 ^ 70. BRAUER GROUPS OF ABELIAN SCHEMES BY RAYMOND T. HOOBLER 0 Let A be an abelian variety over a field /c. Mumford has given a very beautiful construction of the dual abelian variety in the spirit of Grothen- dieck style algebraic geometry by using the theorem of the square, its corollaries, and cohomology theory. Since the /c-points of Pic^n is H1 (A, G^), it is natural to ask how much of this work carries over to higher cohomology groups where the computations must be made in the etale topology to render them non-trivial. Since H2 (A, Gm) is essentially a torsion group, the representability of the corresponding functor does not have as much geometric interest as for H1 (A, G^).
  • Section X.51. Separable Extensions

    Section X.51. Separable Extensions

    X.51 Separable Extensions 1 Section X.51. Separable Extensions Note. Let E be a finite field extension of F . Recall that [E : F ] is the degree of E as a vector space over F . For example, [Q(√2, √3) : Q] = 4 since a basis for Q(√2, √3) over Q is 1, √2, √3, √6 . Recall that the number of isomorphisms of { } E onto a subfield of F leaving F fixed is the index of E over F , denoted E : F . { } We are interested in when [E : F ]= E : F . When this equality holds (again, for { } finite extensions) E is called a separable extension of F . Definition 51.1. Let f(x) F [x]. An element α of F such that f(α) = 0 is a zero ∈ of f(x) of multiplicity ν if ν is the greatest integer such that (x α)ν is a factor of − f(x) in F [x]. Note. I find the following result unintuitive and surprising! The backbone of the (brief) proof is the Conjugation Isomorphism Theorem and the Isomorphism Extension Theorem. Theorem 51.2. Let f(x) be irreducible in F [x]. Then all zeros of f(x) in F have the same multiplicity. Note. The following follows from the Factor Theorem (Corollary 23.3) and Theo- rem 51.2. X.51 Separable Extensions 2 Corollary 51.3. If f(x) is irreducible in F [x], then f(x) has a factorization in F [x] of the form ν a Y(x αi) , i − where the αi are the distinct zeros of f(x) in F and a F .
  • Math 210B. Inseparable Extensions Since the Theory of Non-Separable Algebraic Extensions Is Only Non-Trivial in Positive Charact

    Math 210B. Inseparable Extensions Since the Theory of Non-Separable Algebraic Extensions Is Only Non-Trivial in Positive Charact

    Math 210B. Inseparable extensions Since the theory of non-separable algebraic extensions is only non-trivial in positive characteristic, for this handout we shall assume all fields have positive characteristic p. 1. Separable and inseparable degree Let K=k be a finite extension, and k0=k the separable closure of k in K, so K=k0 is purely inseparable. 0 This yields two refinements of the field degree: the separable degree [K : k]s := [k : k] and the inseparable 0 degree [K : k]i := [K : k ] (so their product is [K : k], and [K : k]i is always a p-power). pn Example 1.1. Suppose K = k(a), and f 2 k[x] is the minimal polynomial of a. Then we have f = fsep(x ) pn where fsep 2 k[x] is separable irreducible over k, and a is a root of fsep (so the monic irreducible fsep is n n the minimal polynomial of ap over k). Thus, we get a tower K=k(ap )=k whose lower layer is separable and n upper layer is purely inseparable (as K = k(a)!). Hence, K=k(ap ) has no subextension that is a nontrivial n separable extension of k0 (why not?), so k0 = k(ap ), which is to say 0 pn [k(a): k]s = [k : k] = [k(a ): k] = deg fsep; 0 0 n [k(a): k]i = [K : k ] = [K : k]=[k : k] = (deg f)=(deg fsep) = p : If one tries to prove directly that the separable and inseparable degrees are multiplicative in towers just from the definitions, one runs into the problem that in general one cannot move all inseparability to the \bottom" of a finite extension (in contrast with the separability).
  • Uniform Distribution in Subgroups of the Brauer Group of an Algebraic Number Field

    Uniform Distribution in Subgroups of the Brauer Group of an Algebraic Number Field

    Pacific Journal of Mathematics UNIFORM DISTRIBUTION IN SUBGROUPS OF THE BRAUER GROUP OF AN ALGEBRAIC NUMBER FIELD GARY R. GREENFIELD Vol. 107, No. 2 February 1983 PACIFIC JOURNAL OF MATHEMATICS Vol. 107, No. 2, 1983 UNIFORM DISTRIBUTION IN SUBGROUPS OF THE BRAUER GROUP OF AN ALGEBRAIC NUMBER FIELD GARY R. GREENFIELD We construct subgroups of the Brauer group of an algebraic number field whose member classes have Hasse invariants satisfying a rigid arithmetic structure — that of (relative) uniform distribution. After ob- taining existence and structure theorems for these subgroups, we focus on the problem of describing algebraic properties satisfied by the central simple algebras in these subgroups. Key results are that splitting fields are determined up to isomorphism, and there exists a distinguished subgroup of central automorphisms which can be extended. 1. Introduction. Let K be an algebraic number field, and let denote the class of the finite dimensional central simple X-algebra A in the Brauer group B(K) of K. The class [A] is determined arithmetically by its Hasse invariants at the primes of K. Algebraic properties of A often impose severe but interesting arithmetic properties on its invariants. As evidence we cite the important work of M. Benard and M. Schacher [2] concerning the invariants when [A] is in S(K) the Schur subgroup of K, and the surprising result of G. Janusz [4] obtained in considering the problem of when an automorphism of K extends to A. In this paper we offer a construction which gives rise to subgroups of B(K) whose member classes have invariants which possess a rigid arith- metic structure — that of uniform distribution — then search for corre- sponding algebraic properties.
  • Non-Additive Ring and Module Theory IV the Brauer Group of a Symmetric

    Non-Additive Ring and Module Theory IV the Brauer Group of a Symmetric

    Lecture Notes in Mathematics Edited by A. Dold and B. Eckmann 549 Brauer Groups Proceedings of the Conference Held at Evanston, October 11-15,1975 * 416 109 546 200 16 Edited by D. Zelinsky Springer-Verlag Berlin · Heidelberg · NewYork1976 Editor Daniel Zelinsky Northwestern University Department of Mathematics Evanston, II. 60091/USA Library of Congress Cataloging in Publication Data Main entry under title: Brauer groups. (Lecture notes in mathematics ; 5^9) "Sponsored by Northwestern University." Bi bli ography: ρ. Includes index. 1. Brauer group--Congresses. 2. Separable algebras—Congresses. I. Zelinsky, Daniel. II. Northwestern University, Evanston, 111. III. Series: Lecture notes in mathematics (Berlin) ; 5^9. QA3.L28 no. 5^9 [QA251.3] 510'.8s [512».2*0 76-kekie AMS Subject Classifications (1970): 13A20, 16A16, 18H20, 14C20, 14H99, 14L15, 18D10 ISBN 3-540-07989-0 Springer-Verlag Berlin · Heidelberg · New York ISBN 0-387-07989-0 Springer-Verlag New York · Heidelberg · Berlin This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically those of translation, re­ printing, re-use of illustrations, broadcasting, reproduction by photocopying machine or similar means, and storage in data banks. Under § 54 of the German Copyright Law where copies are made for other than private use, a fee is payable to the publisher, the amount of the fee to be determined by agreement with the publisher. © by Springer-Verlag Berlin · Heidelberg 1976 Printed in Germany Printing and binding: Beltz Offsetdruck, Hemsbach/Bergstr. CONTENTS Lindsay N, Childs On Brauer groups of some normal local rings..... 1 P.
  • 494 Lecture: Splitting Fields and the Primitive Element Theorem

    494 Lecture: Splitting Fields and the Primitive Element Theorem

    494 Lecture: Splitting fields and the primitive element theorem Ben Gould March 30, 2018 1 Splitting Fields We saw previously that for any field F and (let's say irreducible) polynomial f 2 F [x], that there is some extension K=F such that f splits over K, i.e. all of the roots of f lie in K. We consider such extensions in depth now. Definition 1.1. For F a field and f 2 F [x], we say that an extension K=F is a splitting field for f provided that • f splits completely over K, i.e. f(x) = (x − a1) ··· (x − ar) for ai 2 K, and • K is generated by the roots of f: K = F (a1; :::; ar). The second statement implies that for each β 2 K there is a polynomial p 2 F [x] such that p(a1; :::; ar) = β; in general such a polynomial is not unique (since the ai are algebraic over F ). When F contains Q, it is clear that the splitting field for f is unique (up to isomorphism of fields). In higher characteristic, one needs to construct the splitting field abstractly. A similar uniqueness result can be obtained. Proposition 1.2. Three things about splitting fields. 1. If K=L=F is a tower of fields such that K is the splitting field for some f 2 F [x], K is also the splitting field of f when considered in K[x]. 2. Every polynomial over any field (!) admits a splitting field. 3. A splitting field is a finite extension of the base field, and every finite extension is contained in a splitting field.