DOCSLIB.ORG

Maximal Orders of Quaternions

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Maximal Orders of Quaternions Maximal Orders of Quaternions Alyson Deines Quaternion Algebras Maximal Orders of Quaternions Maximal Orders Norms, Traces, and Alyson Deines Integrality Local Fields and Hilbert Symbols December 8th Math 581b Final Project Uses A non-commutative analogue of Rings of Integers of Number Field Abstract Maximal Orders of Quaternions Alyson Deines Abstract Quaternion I will define maximal orders of quaternion algebras, give Algebras Maximal examples, discuss how they are similar to and differ from rings Orders of integers, and then I will discuss one of their applications . Norms, Traces, and Integrality Local Fields and Hilbert Symbols Uses Quaternion Algebras over Number Fields Maximal Orders of Definition Quaternions Alyson Deines Let F be a field and a; b 2 F . A quaternion algebra over F is an F -algebra B = a;b Quaternion F Algebras with basis Maximal 2 2 Orders i = a; j = b; and ij = −ji: Norms, Traces, and Integrality Examples: Local Fields −1;−1 and Hilbert = Symbols H R p Uses −1;−1 F = Q( 5), B = F 1;b ∼ Let F be any number field, F = M2(F ) via 1 0 0 b i 7! and j 7! 0 −1 1 0 Maximal Orders Maximal Orders of Quaternions Lattices Alyson Deines Let F be a number field with ring of integers R and let V Quaternion be a finite dimensional F -vector space. Algebras An R-lattice of V is a finitely generated R-submodule Maximal Orders O ⊂ V such that OF = V . Norms, Traces, and Integrality Orders Local Fields and Hilbert Let F be a number field with ring of integers R and let B Symbols be a finite dimensional F -algebra. Uses An R-order O ⊂ B is an R-lattice of B that is also a subring. A maximal R-order O ⊂ B is an order which is not properly contained in any other orders. Examples Maximal Orders of Quaternions Alyson Deines Example Quaternion Let F be a number field with ring of integers R and take Algebras B = 1;1 =∼ M (F ). Maximal F 2 Orders Then M2(R) is a maximal order. Norms, Traces, and Integrality Local Fields Non-maximal Example and Hilbert p Symbols −1;−1 Let F = Q( 5) and B = F : Uses p 1+ 5 Then R = Z[γ] where γ = 2 . O = R ⊕ Ri ⊕ Rj ⊕ Rij is a non-maximal order. Examples Maximal Orders of Quaternions Alyson Deines Maximal Example Quaternion Let Algebras 1 e1 = (1 − γi + γj) Maximal 2 Orders Norms, 1 Traces, and e2 = (−γi + j + γk) Integrality 2 Local Fields 1 and Hilbert e3 = (γi − γj + k) Symbols 2 Uses 1 e = (i + γj − γk) 4 2 OB = Re1 ⊕ Re2 ⊕ Re3 ⊕ Re4 is a maximal order. Norm and Trace Maximal Orders of Quaternions Definition Alyson Deines Let x = u + vi + wj + zij 2 B. Quaternion x = u − vi − wj − zij Algebras 2 2 2 2 Maximal nrd(x) = xx = u − av − bw + abz Orders Norms, trd(x) = x + x = 2u Traces, and Integrality Local Fields Definition and Hilbert Symbols We say an element x 2 B is integral over R if it satisfies a Uses monic polynomial with coefficients in R. If x 2 B and x 62 F , then x has minimal polynomial t2 − nrd(x)t + trd(x). So x 2 B is R-integral if and only if nrd(x); trd(x) 2 R. Integrality Issues Maximal Orders of Quaternions Now that we have a concept of integrality, we can see ways in which maximal Alyson Deines orders fail as an analogue to rings of integers and Dedekind domains Quaternion Definition Algebras Maximal 0 0 Orders Take B = M ( ) with elements x = and 2 Q 1=2 0 Norms, Traces, and 0 1=2 Integrality x = : 0 0 Local Fields and Hilbert 2 2 Symbols Then x = y = 0, so x and y are integral over Z but not Uses in M2(Z). Additionally nrd(x + y) = 1=4 so x + y is not integral. Thus the set of all integral elements is not closed under addition and can't be a ring. Local Fields Maximal Orders of Quaternions Alyson Deines Local Quaternion Algebra Quaternion Algebras Let v be a valuation of F . Maximal Orders Then Bv = B ⊗ Fv is a quaternion algebra over Fv . Norms, Traces, and If O ⊂ B is an R-order, Ov = O ⊗ Rv is an Rv -order. Integrality O is maximal if and only if O is maximal for every prime Local Fields p and Hilbert p of R. Symbols Uses For v a noncomplex valuation there is up to Fv -algebra isomorphism, a unique division ring Bv over Fv . Ramification/Splitting Maximal Orders of Definition Quaternions We say that B is ramified at v if B is a division ring. Alyson Deines v ∼ Otherwise, we say that B is split at v (i.e. Bv = M2(Fv )). Quaternion Algebras The number of places of F where B is ramified is finite. Maximal Orders Norms, Discriminant Traces, and Integrality The discriminant of B (relative to R) is the R-ideal Q Local Fields discR (B) = p ⊂ R: and Hilbert p ramified Symbols Let O ⊂ B be an R-order. Then the discriminant of O is Uses the ideal disc(O) of R generated by fd(x1; x2; x3; x4): x1; :::; xn 2 Og and d(x1; x2; x3; x4) = det(trd(xi xj ))i;j=1;2;3;4: Let O be an R-order in B. Then O is maximal if and only if discred(O) = discR (B): The Hilbert Symbol Maximal Orders of Quaternions Alyson Deines Quaternion Hilbert Reciprocity Algebras The Hilbert symbol Maximal Orders a;b 1 when B = F is split. Norms, (a; b)F = Traces, and −1 otherwise. Integrality × Local Fields If F is a number field and a; b 2 F then and Hilbert Symbols Y Uses (a; b)Fv = 1: v Hilbert Modular Forms Maximal Orders of There are two ways to compute Hilbert Modular Forms, both Quaternions of which involve quaternion algebras and their maximal orders. Alyson Deines Quaternion Computing Maximal Orders Algebras Using the Hilbert symbol you can compute maximal orders Maximal Orders Can use maximal orders to work with Shimura curves and Norms, Traces, and compute Hilbert Modular Forms Integrality Local Fields and Hilbert Hecke Operators Symbols Let O be the intersection of two maximal orders Uses c We can use this order to create a space which we can compute Hecke operators one. These Hecke operators correspond to the Hecke operators of certain Hilbert modular forms..
Load more

Recommended publications
  • The Class Number One Problem for Imaginary Quadratic Fields
    MODULAR CURVES AND THE CLASS NUMBER ONE PROBLEM JEREMY BOOHER Gauss found 9 imaginary quadratic fields with class number one, and in the early 19th century conjectured he had found all of them. It turns out he was correct, but it took until the mid 20th century to prove this. Theorem 1. Let K be an imaginary quadratic field whose ring of integers has class number one. Then K is one of p p p p p p p p Q(i); Q( −2); Q( −3); Q( −7); Q( −11); Q( −19); Q( −43); Q( −67); Q( −163): There are several approaches. Heegner [9] gave a proof in 1952 using the theory of modular functions and complex multiplication. It was dismissed since there were gaps in Heegner's paper and the work of Weber [18] on which it was based. In 1967 Stark gave a correct proof [16], and then noticed that Heegner's proof was essentially correct and in fact equiv- alent to his own. Also in 1967, Baker gave a proof using lower bounds for linear forms in logarithms [1]. Later, Serre [14] gave a new approach based on modular curve, reducing the class number + one problem to finding special points on the modular curve Xns(n). For certain values of n, it is feasible to find all of these points. He remarks that when \N = 24 An elliptic curve is obtained. This is the level considered in effect by Heegner." Serre says nothing more, and later writers only repeat this comment. This essay will present Heegner's argument, as modernized in Cox [7], then explain Serre's strategy.
    [Show full text]
  • MAXIMAL and NON-MAXIMAL ORDERS 1. Introduction Let K Be A
    MAXIMAL AND NON-MAXIMAL ORDERS LUKE WOLCOTT Abstract. In this paper we compare and contrast various prop- erties of maximal and non-maximal orders in the ring of integers of a number field. 1. Introduction Let K be a number field, and let OK be its ring of integers. An order in K is a subring R ⊆ OK such that OK /R is finite as a quotient of abelian groups. From this definition, it’s clear that there is a unique maximal order, namely OK . There are many properties that all orders in K share, but there are also differences. The main difference between a non-maximal order and the maximal order is that OK is integrally closed, but every non-maximal order is not. The result is that many of the nice properties of Dedekind domains do not hold in arbitrary orders. First we describe properties common to both maximal and non-maximal orders. In doing so, some useful results and constructions given in class for OK are generalized to arbitrary orders. Then we de- scribe a few important differences between maximal and non-maximal orders, and give proofs or counterexamples. Several proofs covered in lecture or the text will not be reproduced here. Throughout, all rings are commutative with unity. 2. Common Properties Proposition 2.1. The ring of integers OK of a number field K is a Noetherian ring, a finitely generated Z-algebra, and a free abelian group of rank n = [K : Q]. Proof: In class we showed that OK is a free abelian group of rank n = [K : Q], and is a ring.
    [Show full text]
  • Artinian Subrings of a Commutative Ring
    transactions of the american mathematical society Volume 336, Number 1, March 1993 ARTINIANSUBRINGS OF A COMMUTATIVERING ROBERT GILMER AND WILLIAM HEINZER Abstract. Given a commutative ring R, we investigate the structure of the set of Artinian subrings of R . We also consider the family of zero-dimensional subrings of R. Necessary and sufficient conditions are given in order that every zero-dimensional subring of a ring be Artinian. We also consider closure properties of the set of Artinian subrings of a ring with respect to intersection or finite intersection, and the condition that the set of Artinian subrings of a ring forms a directed family. 1. Introduction Suppose R is a commutative ring with unity element. We consider here various properties of the family sf of Artinian subrings of R and the family Z of zero-dimensional subrings of R . We remark that the inclusion s? ç Z may be proper, even if R is Noetherian; for example, Corollary 3.4 implies that if K is an infinite field of positive characteristic, then the local principal ideal ring K[X]/(X2) contains a zero-dimensional subring that is not Artinian. Of course, if every subring of R were Noetherian, the families sf and Z would be identical. Thus one source of motivation for this work comes from papers such as [Gi, Wi, W2, GHi, GH3] that deal with Noetherian and zero- dimensional pairs of rings, hereditarily Noetherian rings, and hereditarily zero- dimensional rings. Another source of motivation is related to our work in [GH3], where we considered several problems concerning a direct product of zero-dimensional rings.
    [Show full text]
  • Ring (Mathematics) 1 Ring (Mathematics)
    Ring (mathematics) 1 Ring (mathematics) In mathematics, a ring is an algebraic structure consisting of a set together with two binary operations usually called addition and multiplication, where the set is an abelian group under addition (called the additive group of the ring) and a monoid under multiplication such that multiplication distributes over addition.a[›] In other words the ring axioms require that addition is commutative, addition and multiplication are associative, multiplication distributes over addition, each element in the set has an additive inverse, and there exists an additive identity. One of the most common examples of a ring is the set of integers endowed with its natural operations of addition and multiplication. Certain variations of the definition of a ring are sometimes employed, and these are outlined later in the article. Polynomials, represented here by curves, form a ring under addition The branch of mathematics that studies rings is known and multiplication. as ring theory. Ring theorists study properties common to both familiar mathematical structures such as integers and polynomials, and to the many less well-known mathematical structures that also satisfy the axioms of ring theory. The ubiquity of rings makes them a central organizing principle of contemporary mathematics.[1] Ring theory may be used to understand fundamental physical laws, such as those underlying special relativity and symmetry phenomena in molecular chemistry. The concept of a ring first arose from attempts to prove Fermat's last theorem, starting with Richard Dedekind in the 1880s. After contributions from other fields, mainly number theory, the ring notion was generalized and firmly established during the 1920s by Emmy Noether and Wolfgang Krull.[2] Modern ring theory—a very active mathematical discipline—studies rings in their own right.
    [Show full text]
  • A Brief History of Ring Theory
    A Brief History of Ring Theory by Kristen Pollock Abstract Algebra II, Math 442 Loyola College, Spring 2005 A Brief History of Ring Theory Kristen Pollock 2 1. Introduction In order to fully define and examine an abstract ring, this essay will follow a procedure that is unlike a typical algebra textbook. That is, rather than initially offering just definitions, relevant examples will first be supplied so that the origins of a ring and its components can be better understood. Of course, this is the path that history has taken so what better way to proceed? First, it is important to understand that the abstract ring concept emerged from not one, but two theories: commutative ring theory and noncommutative ring the- ory. These two theories originated in different problems, were developed by different people and flourished in different directions. Still, these theories have much in com- mon and together form the foundation of today's ring theory. Specifically, modern commutative ring theory has its roots in problems of algebraic number theory and algebraic geometry. On the other hand, noncommutative ring theory originated from an attempt to expand the complex numbers to a variety of hypercomplex number systems. 2. Noncommutative Rings We will begin with noncommutative ring theory and its main originating ex- ample: the quaternions. According to Israel Kleiner's article \The Genesis of the Abstract Ring Concept," [2]. these numbers, created by Hamilton in 1843, are of the form a + bi + cj + dk (a; b; c; d 2 R) where addition is through its components 2 2 2 and multiplication is subject to the relations i =pj = k = ijk = −1.
    [Show full text]
  • Maximal Orders
    MAXIMAL ORDERS BY MAURICE AUSLANDER AND OSCAR GOLDMAN(') Introduction. This paper is about the structure theory of maximal orders in two situations: over Dedekind rings in arbitrary simple algebras and over regular domains in full matrix algebras. By an order over an integrally closed noetherian domain R we mean a subring A of a central simple algebra 2 over the quotient field K of R such that A is a finitely generated i?-module which spans 2 over K. An order A in the simple algebra 2 is said to be maximal if A if not properly contained in any order of 2. The classical argument which shows that over a Dedekind ring every order is contained in a maximal one [6, p. 70 ] is equally valid for arbitrary integrally closed noetherian domains. After a preliminary study of maximal orders in general, we concentrate on maximal orders over discrete rank one valuation rings. The main results in this situation are as follows: all the maximal orders in a fixed simple algebra are conjugate, each is a principal ideal ring and is a full matrix alge- bra over a maximal order in a division algebra. Thus the theory of maximal orders over an arbitrary discrete rank one valuation ring is almost identical with the classical theory in which the valuation ring is assumed complete [6, Chapter VI]. A standard localization argument enables one to conclude that a maximal order over a Dedekind ring is the ring of endomorphisms of a finitely generated projective module over a maximal order in a division alge- bra.
    [Show full text]
  • Introduction to Groups, Rings and Fields
    Introduction to Groups, Rings and Fields HT and TT 2011 H. A. Priestley 0. Familiar algebraic systems: review and a look ahead. GRF is an ALGEBRA course, and specifically a course about algebraic structures. This introduc- tory section revisits ideas met in the early part of Analysis I and in Linear Algebra I, to set the scene and provide motivation. 0.1 Familiar number systems Consider the traditional number systems N = 0, 1, 2,... the natural numbers { } Z = m n m, n N the integers { − | ∈ } Q = m/n m, n Z, n = 0 the rational numbers { | ∈ } R the real numbers C the complex numbers for which we have N Z Q R C. ⊂ ⊂ ⊂ ⊂ These come equipped with the familiar arithmetic operations of sum and product. The real numbers: Analysis I built on the real numbers. Right at the start of that course you were given a set of assumptions about R, falling under three headings: (1) Algebraic properties (laws of arithmetic), (2) order properties, (3) Completeness Axiom; summarised as saying the real numbers form a complete ordered field. (1) The algebraic properties of R You were told in Analysis I: Addition: for each pair of real numbers a and b there exists a unique real number a + b such that + is a commutative and associative operation; • there exists in R a zero, 0, for addition: a +0=0+ a = a for all a R; • ∈ for each a R there exists an additive inverse a R such that a+( a)=( a)+a = 0. • ∈ − ∈ − − Multiplication: for each pair of real numbers a and b there exists a unique real number a b such that · is a commutative and associative operation; • · there exists in R an identity, 1, for multiplication: a 1 = 1 a = a for all a R; • · · ∈ for each a R with a = 0 there exists an additive inverse a−1 R such that a a−1 = • a−1 a = 1.∈ ∈ · · Addition and multiplication together: forall a,b,c R, we have the distributive law a (b + c)= a b + a c.
    [Show full text]
  • Chapter 3 Algebraic Numbers and Algebraic Number Fields
    Chapter 3 Algebraic numbers and algebraic number fields Literature: S. Lang, Algebra, 2nd ed. Addison-Wesley, 1984. Chaps. III,V,VII,VIII,IX. P. Stevenhagen, Dictaat Algebra 2, Algebra 3 (Dutch). We have collected some facts about algebraic numbers and algebraic number fields that are needed in this course. Many of the results are stated without proof. For proofs and further background, we refer to Lang's book mentioned above, Peter Stevenhagen's Dutch lecture notes on algebra, and any basic text book on algebraic number theory. We do not require any pre-knowledge beyond basic ring theory. In the Appendix (Section 3.4) we have included some general theory on ring extensions for the interested reader. 3.1 Algebraic numbers and algebraic integers A number α 2 C is called algebraic if there is a non-zero polynomial f 2 Q[X] with f(α) = 0. Otherwise, α is called transcendental. We define the algebraic closure of Q by Q := fα 2 C : α algebraicg: Lemma 3.1. (i) Q is a subfield of C, i.e., sums, differences, products and quotients of algebraic numbers are again algebraic; 35 n n−1 (ii) Q is algebraically closed, i.e., if g = X + β1X ··· + βn 2 Q[X] and α 2 C is a zero of g, then α 2 Q. (iii) If g 2 Q[X] is a monic polynomial, then g = (X − α1) ··· (X − αn) with α1; : : : ; αn 2 Q. Proof. This follows from some results in the Appendix (Section 3.4). Proposition 3.24 in Section 3.4 with A = Q, B = C implies that Q is a ring.
    [Show full text]
  • A Brief Guide to Algebraic Number Theory
    London Mathematical Society Student Texts 50 A Brief Guide to Algebraic Number Theory H. P. F. Swinnerton-Dyer University of Cambridge I CAMBRIDGE 1 UNIVER.SITY PRESS !"#$%&'() *+&,)%-&./ 0%)-- Cambridge, New York, Melbourne, Madrid, Cape Town, Singapore, São Paulo, Delhi, Dubai, Tokyo, Mexico City Cambridge University Press 1e Edinburgh Building, Cambridge !$2 3%*, UK Published in the United States of America by Cambridge University Press, New York www.cambridge.org Information on this title: www.cambridge.org/4536728362427 © H.P.F. Swinnerton-Dyer 2668 1is publication is in copyright. Subject to statutory exception and to the provisions of relevant collective licensing agreements, no reproduction of any part may take place without the written permission of Cambridge University Press. First published 2668 Reprinted 2662 A catalogue record for this publication is available from the British Library &-$+ 453-6-728-36242-7 Hardback &-$+ 453-6-728-6692:-5 Paperback Cambridge University Press has no responsibility for the persistence or accuracy of URLs for external or third-party internet websites referred to in this publication, and does not guarantee that any content on such websites is, or will remain, accurate or appropriate. Information regarding prices, travel timetables, and other factual information given in this work is correct at the time of ;rst printing but Cambridge University Press does not guarantee the accuracy of such information thereafter. Contents Preface page vii 1 Numbers and Ideals 1 1 The ring of integers 1 2 Ideals
    [Show full text]
  • Ring Theory (Math 113), Summer 2014
    Ring Theory (Math 113), Summer 2014 James McIvor University of California, Berkeley August 3, 2014 Abstract These are some informal notes on rings and fields, used to teach Math 113 at UC Berkeley, Summer 2014. We go through the basic stuff: rings, homomorphisms, isomorphisms, ideals and quotient rings, division and (ir)reducibility, all heavy on the examples, mostly polynomial rings and their quotients. Some allusions to basic ideas from algebraic geometry are made along the way. Then we get into fields, culminating in a brief exposure to the basic ideas of galois theory. Contents 1 Basic Examples and Definitions 3 1.1 Preliminary Examples . .3 1.2 Definition of a Ring . .4 1.3 Special elements in a ring . .5 2 Subrings; Homomorphisms 7 2.1 Subrings; Adjoining Elements . .7 2.2 Products of Rings . .7 2.3 Homomorphisms . .8 2.4 Isomorphisms . 10 3 Kernels and Ideals 12 3.1 The kernel of a homomorphism . 12 3.2 Ideals . 12 3.3 Operations on Ideals . 14 4 Quotient Rings 15 4.1 Review: Cosets . 15 4.2 Quotient Rings . 15 4.3 The easy way to think about quotients of a polynomial ring . 16 4.4 The Isomorphism Theorem . 17 5 Factorization; Reducibility; Roots 19 5.1 Division and Factorization in Z ............................... 19 5.2 Division and Factorization of Polynomials . 19 6 Special Classes of Rings 23 6.1 Fields . 23 6.2 Integral Domains (\Domains") . 23 6.3 Principal Ideal Domains . 23 6.4 Euclidean Domains . 23 6.5 Unique Factorization Domains . 24 6.6 Relationships Between the Types of Rings .
    [Show full text]
  • EMBEDDINGS INTO the INTEGRAL OCTONIONS Noam Elkies & Benedict H
    pacific journal of mathematics Vol. 181, No. 3, 1997 EMBEDDINGS INTO THE INTEGRAL OCTONIONS Noam Elkies & Benedict H. Gross To Olga Taussky-Todd in memoriam Let O be the Q-algebra of Cayley’s octonions, with basis {1,e1,e2,... ,e7} and multiplication rules: 2 ei = −1 all i (eiei+1)ei+3 = ei(ei+1ei+3)=−1 all i (mod 7). Coxeter discovered a maximal order R in O, which is unique up to the action of Aut(O), with the property that R/pR is an octonion algebra over Z/pZ for all primes p. We review the construction of the order R, and some of its properties, in §1. In §2, we let K be an imaginary quadratic field, with ring of integers A and discriminant D. We count the number of ring embeddings of A into R, using the L-function L(ε, s) of the quadratic Dirichlet character ε :(Z/DZ)∗−→{1} associated to K. Theorem 1. The number of embeddings of A into R is −252 · L(ε, −2). We give two different proofs of this result. The first uses theta series and Eisenstein series of half-integral weight. The second uses the theory of Tamagawa measures, as developed by Siegel and Weil. From the formula in Theorem 1, it follows that the number of embeddings of A into R lies between 3 ·|D|5/2 and 5 ·|D|5/2. In §3 we let K be a definite quaternion algebra over Q, and let A be a maximal order in K. Let S be the finite set of primes which ramify in K; thus p ∈ S if and only if K ⊗ Qp is a division algebra over Qp.
    [Show full text]
  • Orders of Quaternion Algebras Over Number Fields
    Orders of Quaternion Algebras Over Number Fields December 15, 2010 1 Quaternion Algebras over Number Fields In class we studied Dedekind domains, or noetherian, integrally closed, com- mutative integral domains where every prime ideal is maximal. Specifically, we were interested in the ring of integers of a number field. One generalization of a number field is a quaternion algebra. Throughout this paper, F is a number field with ring of integers R = OF . An algebra over the field F is a ring B equipped with an embedding F,! B such that the image of F lies in the center of B. We then identify F with its image in B. Further, we say the dimension of B is the dimension dimF B of B as an F -vector space. a;b A quaternion algebra over a field F is an F -algebra B = F with basis 1; i; j; ij where i2 = a; j2 = b; and ji = −ij and a; b 2 F ×. Or equivalently, a quaternion algebra B is a central simple F -algebra with dimF B = 4. Another useful way to view quaternion algebra is as an algebra containing two quadratic extension of F which anti-commute. Say K is a quadratic extension a;b 2 of F contained in B. Then B = F where i = a and i ⊂ K and ij = −ji, i.e., we can viewp K = F [i] = F ⊕ F i as an F -algebra generated by i. Then either K = F ( a) or K has a zero divisor. If K is a field, then the notation for K;b this quaternion algebra is B = F ⊂ M2(K).
    [Show full text]