DOCSLIB.ORG

Cohomological Interpretation of Brauer Groups 20172252 Seewoo Lee

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Cohomological Interpretation of Brauer Groups 20172252 Seewoo Lee Cohomological interpretation of Brauer Groups 20172252 Seewoo Lee Abstract In this note, we introduce a centeral simple algebra and a Brauer group, which classifies central division algebra over a given field. We prove that there exists a canonical isomorphism between a relative Brauer group Br(L=k) and the second group cohomology H2(Gal(L=k);L×), which shows that the cohomology of group can be used to classify central division algebras over a given field. We also present some examples and computations. 1 Introduction Let k be a field. A central simple algebra A over k is a finite dimensional associative algebra which is simple and center is k. For example, the quoternions H is a 4-dimensional central simple algebra over R. Our basic question is the following: Classify the central simple algebras over a given field k. This seems very hard problem at first glance. However, we will show that the Artin-Wedderburn theorem claims that every central simple algebra over k is isomorphic to a matrix algebra over some central division algebra over k which is determined unique up to isomorphism. Hence the theorem reduces the problem as Classify the central division algebras over a given field k. However, this isn't an easy problem. To do this, we will define the Brauer group Br(k) of a given field, which is a group that classifies central division algebras over k. More precisely, each elements of Br(k) corresponds to the isomorphism class of the central division algebras over k. Computation of the Brauer group can be done by the computation of the second cohomology group, by the following main theorem we will prove: Br(L=k) ' H2(Gal(L=k);L×): Using this, we will compute Brauer groups over various fields such as R; Fp; Qp; Q. Also, we will show that there exists a noncommutative division algebra of any given positive characteristic p > 0. In Appendix, we will introduce another interpretation of the second cohomology group H2(G; A) as certain group extensions of G by A. Before we start, we will give some basic definitions. Definition 1. Let k be a field and A be a finite dimensional k-vector space. (1) A is k-algebra if A has a ring structure and k is contained in the center of A. (2) k-subalgebra of A is a subring of A containing k. (3) k-algebra homomorphism ' : A ! B is a ring homomorphism with '(a) = a for all a 2 k. (4) Oppsite Aopp is the k-algebra A with same addition but with reversed multiplication α·β := βα. l (5) For a basis e1; : : : ; en for A as a k-vector space, the constants faijg that satisfies n X l eiej = aijel l=1 are called the structure constants of A relative to the basis (ei)i. 2 Simple Algebras; Semisimple Modules In this section, we define CSA, central simple algebras over a field k, and study some basic properties. At last, we will show that classification of CSA's can be reduced to the classification of central division algebras over k (Artin-Wedderburn theorem), and the second one can be done by computing so called Brauer groups. 2.1 Semisimple Modules In this article, A-modules are finitely generated left A-modules. Let V be an A-module. If V is a such A-module and A is finite dimensional k-vector space, then V is also a finite dimensional k-vector space with a k-algebra homomorphism A ! Endk(V ) (representation of A on V ). Definition 2. (1) V is a faithful A-module if the map A ! Endk(V ) is injective. (2) V is a simple A-module if V 6= 0 and the only A-submodule of V are 0 and B itself. (3) V is a semisimple A-module if it is isomorphic to a direct sum of simple A-modules. (4) V is indecomposable if it can not be written as a direct sum of two nonzero A-modules. Theorem 1. Every A-module V admits a filtration V = V0 ⊃ · · · ⊃ Vr = 0 whose quotients Vi=Vi+1 are simple A-modules. If V = W0 ⊃ · · · ⊃ Ws = 0 is a second such filtration, then r = s and there is a permutation σ of f0; : : : ; r − 1g such that Vi=Vi+1 ' Wσ(i)=Wσ(i)+1 for all i. Proof. Existence follows from finite dimensionality of V . Uniqueness can be proved as in the Jordan- H¨oldertheorem. Corollary 1. If V ' V1 ⊕ · · · ⊕ Vr ' W1 ⊕ · · · ⊕ Ws with all A-modules Vi;Wj's are simple, then r = s and there exists σ 2 Sr such that Vi ' Wσ(i) for all i. P Proposition 1. Let V be an A-module. Assume that V = i2I Si for some simple submodules Si L of V . Then for every submodule W of V , there exists a subset J if I such that V = W ⊕ i2J Si. Proof. Use Zorn's lemma; choose maximal J among the subsets of I such that the sum SJ = P j2J Sj is direct and W [ SJ = 0. Then we can prove that W ⊕ SJ = V . Corollary 2. TFAE: (a) V is semisimple; (b) V is a sum of simple submodules; (c) every submodule of V has a complement. Corollary 3. Sums, submodules and quotient modules of semisimple modules are semisimple. 2 2.2 Simple k-algebras Definition 3. A k-algebra A is simple if it contains no proper two-sided ideals other than 0. Example 1. 1. Mn(k), the ring of n × n matrices over k, is a simple k-algebra. 2. A is a division algebra (skew field) if every nonzero element has an inverse. Every division algebra is simple. Also, matrix ring over a division algebra is also simple. 3. For a; b 2 k×, define a quaternion algebra H(a; b) be the k-algebra with basis 1; i; j; ij (as a k-vector space) and with the multiplication determined by i2 = a; j2 = b; ; ij = −ji: One can show that H(a; b) is either a division algebra or isomorphic to M2(k), hence simple. 2.3 Centralizers Definition 4. Let A be a k-subalgebra of B. Then the centralizer of A in B is CB(A) = fb 2 B : ba = ab 8a 2 Ag which is also a k-subalgebra of B. Example 2. 1. We have CMn(k)(k · In) = Mn(k) and CMn(k)(Mn(k)) = k · In. 2. If A ⊂ Mn(k) is a set of diagonal matrices in Mn(k), then CMn(k)(A) = A. For both cases, we have C(C(A)) = A. This can be generalized for any faithful semisimple A- modules. Theorem 2 (Double centralizer theorem). Let A be a k-algebra and V be a faithful semisimple A-module. Then C(C(A)) = A (centralizers taken in Endk(V )). Proof. Let D = B(A) and B = C(D). Clearly A ⊂ B and the reverse inclusion follows from the next lemma when we take v1; : : : ; vn to generate V as a k-vector space. Lemma 1. For any v1; : : : ; vn 2 B and b 2 B, there exists a 2 A s.t. avi = bvi holds for 1 ≤ i ≤ n. Proof. We will prove this for n = 1 first. Since Av1 is an A-submodule of V , by the Proposition 1, we can find W ≤ V s.t. V = Av1⊕W . Consider the projection π : V ! V defined as (av1; w) 7! (av1; 0). Since π is A-linear, π 2 D and π(v) = v if and only if v 2 Av1. Now π(bv1) = b(πv1) = bv1 so bv1 2 Av1. For general n, let W be the direct sum of n copies of V with A acting diagonally, i.e. a(v1; : : : ; vn) = (av1; : : : ; avn); a 2 A; vi 2 V: Then W is a semisimple A-module and we can check that CEndk(W )(A) = Mn(D) = Mn(CEndk(V )(A)) and CEndk(W )(Mn(D)) = B · In. Now apply the case n = 1 to A; W; b and (v1; : : : ; vn) 2 W . 3 2.4 Classification of simple k-algebras In this subsection, we prove the Artin-Wedderburn theorem, which claims that the classification of central simple k-algebras can be reduced to the classification of central division algebras. Lemma 2 (Schur's lemma). If the A-module S is simple, then EndA(S) is a division algebra. Proof. Let γ : S ! S be an A-linear map. Then ker(γ) is an A-submodule of a simple A-module S, so it is either S or 0. In the first case, γ = 0, and in the second case it is an isomorphism, i.e., it has an inverse that is also A-linear. Theorem 3 (Artin-Wedderburn). Every simple k-algebra A is isomorphic to Mn(D) for some n and some division k-algebra D. Proof. Choose any simple A-module S, for example, any minimal left ideal of A. Then A acts faithfully on S, and let D = CEndk(S)(A). By the double centralizer theorem, CEndk(S)(D) = A, so A ' EndD(S). By Schur's lemma, D ' EndA(S) is a division algebra, so S is a free D-module and n opp EndD(S) ' EndD(D ) ' Mn(D ). 2.5 Modules over simple k-algebras Proposition 2. For every simple k-algebra A, the simple submodules of AA are the minimal left ideals in A; any two such ideals are isomorphic as left A-modules, and A is a direct sum of its minimal left ideals.
Load more

Recommended publications
  • Quaternions and Cli Ord Geometric Algebras
    Quaternions and Cliord Geometric Algebras Robert Benjamin Easter First Draft Edition (v1) (c) copyright 2015, Robert Benjamin Easter, all rights reserved. Preface As a rst rough draft that has been put together very quickly, this book is likely to contain errata and disorganization. The references list and inline citations are very incompete, so the reader should search around for more references. I do not claim to be the inventor of any of the mathematics found here. However, some parts of this book may be considered new in some sense and were in small parts my own original research. Much of the contents was originally written by me as contributions to a web encyclopedia project just for fun, but for various reasons was inappropriate in an encyclopedic volume. I did not originally intend to write this book. This is not a dissertation, nor did its development receive any funding or proper peer review. I oer this free book to the public, such as it is, in the hope it could be helpful to an interested reader. June 19, 2015 - Robert B. Easter. (v1) [email protected] 3 Table of contents Preface . 3 List of gures . 9 1 Quaternion Algebra . 11 1.1 The Quaternion Formula . 11 1.2 The Scalar and Vector Parts . 15 1.3 The Quaternion Product . 16 1.4 The Dot Product . 16 1.5 The Cross Product . 17 1.6 Conjugates . 18 1.7 Tensor or Magnitude . 20 1.8 Versors . 20 1.9 Biradials . 22 1.10 Quaternion Identities . 23 1.11 The Biradial b/a .
    [Show full text]
  • Arxiv:1001.0240V1 [Math.RA]
    Fundamental representations and algebraic properties of biquaternions or complexified quaternions Stephen J. Sangwine∗ School of Computer Science and Electronic Engineering, University of Essex, Wivenhoe Park, Colchester, CO4 3SQ, United Kingdom. Email: [email protected] Todd A. Ell† 5620 Oak View Court, Savage, MN 55378-4695, USA. Email: [email protected] Nicolas Le Bihan GIPSA-Lab D´epartement Images et Signal 961 Rue de la Houille Blanche, Domaine Universitaire BP 46, 38402 Saint Martin d’H`eres cedex, France. Email: [email protected] October 22, 2018 Abstract The fundamental properties of biquaternions (complexified quaternions) are presented including several different representations, some of them new, and definitions of fundamental operations such as the scalar and vector parts, conjugates, semi-norms, polar forms, and inner and outer products. The notation is consistent throughout, even between representations, providing a clear account of the many ways in which the component parts of a biquaternion may be manipulated algebraically. 1 Introduction It is typical of quaternion formulae that, though they be difficult to find, once found they are immediately verifiable. J. L. Synge (1972) [43, p34] arXiv:1001.0240v1 [math.RA] 1 Jan 2010 The quaternions are relatively well-known but the quaternions with complex components (complexified quaternions, or biquaternions1) are less so. This paper aims to set out the fundamental definitions of biquaternions and some elementary results, which, although elementary, are often not trivial. The emphasis in this paper is on the biquaternions as an applied algebra – that is, a tool for the manipulation ∗This paper was started in 2005 at the Laboratoire des Images et des Signaux (now part of the GIPSA-Lab), Grenoble, France with financial support from the Royal Academy of Engineering of the United Kingdom and the Centre National de la Recherche Scientifique (CNRS).
    [Show full text]
  • 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.
    [Show full text]
  • Arithmetic of Hyperbolic 3-Manifolds
    Arithmetic of Hyperbolic 3-Manifolds Alan Reid Rice University Hyperbolic 3-Manifolds and Discrete Groups Hyperbolic 3-space can be defined as 3 H = f(z; t) 2 C × R : t > 0g dsE and equipped with the metric ds = t . Geodesics are vertical lines perpendicular to C or semi-circles perpendicular to C. Codimension 1 geodesic submanifolds are Euclidean planes in 3 H orthogonal to C or hemispheres centered on C. 3 The full group of orientation-preserving isometries of H can be identified with PSL(2; C). Abuse of notation We will often view Kleinian groups as groups of matrices! A discrete subgroup of PSL(2; C) is called a Kleinian group. 3 Such a group acts properly discontinuously on H . If Γ is torsion-free (does not contain elements of finite order) then Γ acts freely. 3 In this latter case we get a quotient manifold H =Γ and a 3 3 covering map H ! H =Γ which is a local isometry. 3 We will be interested in the case when H =Γ has finite volume. Note: If Γ is a finitely generated subgroup of PSL(2; C) there is always a finite index subgroup that is torsion-free. Examples 1. Let d be a square-freep positive integer, and Od the ring of algebraic integers in Q( −d). Then PSL(2; Od) is a Kleinian group. 3 Indeed H =PSL(2; Od) has finite volume but is non-compact. These are known as the Bianchi groups. d = 1 (picture by Jos Leys) 2. Reflection groups. Tessellation by all right dodecahedra (from the Not Knot video) 3.Knot Complements The Figure-Eight Knot Thurston's hyperbolization theorem shows that many knots have complements that are hyperbolic 3-manifolds of finite volume.
    [Show full text]
  • A Review of Commutative Ring Theory Mathematics Undergraduate Seminar: Toric Varieties
    A REVIEW OF COMMUTATIVE RING THEORY MATHEMATICS UNDERGRADUATE SEMINAR: TORIC VARIETIES ADRIANO FERNANDES Contents 1. Basic Definitions and Examples 1 2. Ideals and Quotient Rings 3 3. Properties and Types of Ideals 5 4. C-algebras 7 References 7 1. Basic Definitions and Examples In this first section, I define a ring and give some relevant examples of rings we have encountered before (and might have not thought of as abstract algebraic structures.) I will not cover many of the intermediate structures arising between rings and fields (e.g. integral domains, unique factorization domains, etc.) The interested reader is referred to Dummit and Foote. Definition 1.1 (Rings). The algebraic structure “ring” R is a set with two binary opera- tions + and , respectively named addition and multiplication, satisfying · (R, +) is an abelian group (i.e. a group with commutative addition), • is associative (i.e. a, b, c R, (a b) c = a (b c)) , • and the distributive8 law holds2 (i.e.· a,· b, c ·R, (·a + b) c = a c + b c, a (b + c)= • a b + a c.) 8 2 · · · · · · Moreover, the ring is commutative if multiplication is commutative. The ring has an identity, conventionally denoted 1, if there exists an element 1 R s.t. a R, 1 a = a 1=a. 2 8 2 · ·From now on, all rings considered will be commutative rings (after all, this is a review of commutative ring theory...) Since we will be talking substantially about the complex field C, let us recall the definition of such structure. Definition 1.2 (Fields).
    [Show full text]
  • 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^).
    [Show full text]
  • CLIFFORD ALGEBRAS Property, Then There Is a Unique Isomorphism (V ) (V ) Intertwining the Two Inclusions of V
    CHAPTER 2 Clifford algebras 1. Exterior algebras 1.1. Definition. For any vector space V over a field K, let T (V ) = k k k Z T (V ) be the tensor algebra, with T (V ) = V V the k-fold tensor∈ product. The quotient of T (V ) by the two-sided⊗···⊗ ideal (V ) generated byL all v w + w v is the exterior algebra, denoted (V ).I The product in (V ) is usually⊗ denoted⊗ α α , although we will frequently∧ omit the wedge ∧ 1 ∧ 2 sign and just write α1α2. Since (V ) is a graded ideal, the exterior algebra inherits a grading I (V )= k(V ) ∧ ∧ k Z M∈ where k(V ) is the image of T k(V ) under the quotient map. Clearly, 0(V )∧ = K and 1(V ) = V so that we can think of V as a subspace of ∧(V ). We may thus∧ think of (V ) as the associative algebra linearly gener- ated∧ by V , subject to the relations∧ vw + wv = 0. We will write φ = k if φ k(V ). The exterior algebra is commutative | | ∈∧ (in the graded sense). That is, for φ k1 (V ) and φ k2 (V ), 1 ∈∧ 2 ∈∧ [φ , φ ] := φ φ + ( 1)k1k2 φ φ = 0. 1 2 1 2 − 2 1 k If V has finite dimension, with basis e1,...,en, the space (V ) has basis ∧ e = e e I i1 · · · ik for all ordered subsets I = i1,...,ik of 1,...,n . (If k = 0, we put { } k { n } e = 1.) In particular, we see that dim (V )= k , and ∅ ∧ n n dim (V )= = 2n.
    [Show full text]
  • The Geometry and Topology of Arithmetic Hyperbolic 3-Manifolds
    The geometry and topology of arithmetic hyperbolic 3-manifolds Alan W. Reid∗ May 12, 2007 1 Introduction This paper is based on three lectures given by the author at the RIMS Symposium, “Topology, Com- plex Analysis and Arithmetic of Hyperbolic Spaces” held at the Research Institute for Mathematical Sciences, Kyoto University, in December 2006. The goal of the lectures was to describe recent work on understanding topological and geometric properties of arithmetic hyperbolic 3-manifolds, and the connections with number theory. This is the theme of the paper. Our discussion of topological aspects of arithmetic hyperbolic 3-orbifolds is motivated by the following central conjectures from 3-manifold topology: Conjecture 1.1. Let M be a closed hyperbolic 3-manifold, then M is virtually Haken; ie M has a finite sheeted cover N which contains embedded incompressible surface (necessarily of genus at least 2). Conjecture 1.2. Let M be a closed hyperbolic 3-manifold, then M has a finite sheeted cover N for which b1(N) > 0 (where b1(N) is the first Betti number of N). We can also rephrase Conjecture 1.2 to say that vb1(M) > 0 where vb1(M) is defined by vb1(M) = sup{b1(N) : N is a finite cover of M}, and is called the virtual first Betti number of M. Conjecture 1.3. Let M be a closed hyperbolic 3-manifold, then vb1(M) = ∞. Conjecture 1.4. Let M be a closed hyperbolic 3-manifold, then π1(M) is large; that is to say, some finite index subgroup of π1(M) admits a surjective homomorphism onto a non-abelian free group.
    [Show full text]
  • A Natural Transformation of the Spec Functor
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOURNAL OF ALGEBRA 10, 69-91 (1968) A Natural Transformation of the Spec Functor IAN G. CONNELL McGill University, Montreal, Canada Communicated by P. Cohn Received November 28, 1967 The basic functor underlying the Grothendieck algebraic geometry is Spec which assigns a ringed space to each ring1 A; we denote the topological space by spec A and the sheaf of rings by Spec A. We shall define a functor which is both a generalization and a natural transformation of Spec, in a sense made precise below. Our setting is the category Proj, of commutative K-algebras, where k is a fixed ring, and specializations over K which are defined below. A k-algebra is, strictly speaking, a ring homomorphism pA : K -+ A (pa is called the representation or structural homomorphism) and a K-algebra homomorphism is a commutative triangle k of ring homomorphisms. As is customary we simplify this to “A is a K-algebra” and “4 : A -+ B is a K-algebra homomorphism”, when there can be no ambiguity about the p’s. When we refer to K as a K-algebra we mean of course the identity representation. 1. PRIMES AND PLACES Recall the definition of a place $ on the field A with values in the field B (cf. [6], p. 3). It is a ring homomorphism 4 : A, -+ B defined on a subring A, of A with the property that for all X, y E A, xy E A, , x 6 A, =Py E Ker 4.
    [Show full text]
  • Math 250A: Groups, Rings, and Fields. H. W. Lenstra Jr. 1. Prerequisites
    Math 250A: Groups, rings, and fields. H. W. Lenstra jr. 1. Prerequisites This section consists of an enumeration of terms from elementary set theory and algebra. You are supposed to be familiar with their definitions and basic properties. Set theory. Sets, subsets, the empty set , operations on sets (union, intersection, ; product), maps, composition of maps, injective maps, surjective maps, bijective maps, the identity map 1X of a set X, inverses of maps. Relations, equivalence relations, equivalence classes, partial and total orderings, the cardinality #X of a set X. The principle of math- ematical induction. Zorn's lemma will be assumed in a number of exercises. Later in the course the terminology and a few basic results from point set topology may come in useful. Group theory. Groups, multiplicative and additive notation, the unit element 1 (or the zero element 0), abelian groups, cyclic groups, the order of a group or of an element, Fermat's little theorem, products of groups, subgroups, generators for subgroups, left cosets aH, right cosets, the coset spaces G=H and H G, the index (G : H), the theorem of n Lagrange, group homomorphisms, isomorphisms, automorphisms, normal subgroups, the factor group G=N and the canonical map G G=N, homomorphism theorems, the Jordan- ! H¨older theorem (see Exercise 1.4), the commutator subgroup [G; G], the center Z(G) (see Exercise 1.12), the group Aut G of automorphisms of G, inner automorphisms. Examples of groups: the group Sym X of permutations of a set X, the symmetric group S = Sym 1; 2; : : : ; n , cycles of permutations, even and odd permutations, the alternating n f g group A , the dihedral group D = (1 2 : : : n); (1 n 1)(2 n 2) : : : , the Klein four group n n h − − i V , the quaternion group Q = 1; i; j; ij (with ii = jj = 1, ji = ij) of order 4 8 { g − − 8, additive groups of rings, the group Gl(n; R) of invertible n n-matrices over a ring R.
    [Show full text]
  • 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.
    [Show full text]
  • 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.
    [Show full text]