DOCSLIB.ORG

Subject Index

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Subject Index Cambridge University Press 978-0-521-85337-8 — Free Ideal Rings and Localization in General Rings P. M. Cohn Index More Information Subject index Any terms not found here may be in the list of notations and conventions p. xvi. Left and right or upper and lower properties are usually not listed separately, thus ‘left depth’ and ‘upper depth’ are listed under ‘depth’. abelian category 527 Bezout domain 73, 109, 115f., 121, 183, 351f. absolute property 238 Bezout relation 54, 183 absolute rational identity 475f. biassociated matrices 456 abstract atomic factor 249 bicentral subfield 477 ACC = ascending chain condition xvii bipointed module 456 ACCdense 321f. bipolar structure 399 additive category 526, 530 Birkhoff’s representation theorem 210, 524 additive functor 530 block, -factorization 220 a-adic filtration 163 -blocked matrix 463 adjoint associativity 534 Boolean algebra 245, 522 adjoint functor, pair 530 bordered matrix 456 admissible subcategory 225 bound component, module 264 admissible system, matrix 414, 455 bound of an element 80, 341 affine automorphism 397 bounded element, module 253, 341 affine scheme 517 bridge category 185 -algebra xviii algebraic algebra, matrix 251f. cancellable ring 23 algebraic power series 167, 184, 323 canonical non-IBN ring 7, 510 algebra of invariants 379 capacity 17 Amitsur’s theorem 477f. cardinality of I ,(|I |) xvi antichain 370 category 525 anti-ideal 358f. centred automorphism 397 associated elements, matrices, maps xviii, 28, chain ring 200 74 characteristic of a module 26, 120, 144 atom, (n-)atomic xvii, 55, 74 cleavage, cleft 220f. augmentation ideal 136 closed submodule, closure 282 augmentation-preserving automorphism 397 code 361ff., 407 codomain 525 Baer’s criterion 531 cofactor 133, 169 balanced relation 188, 304f. cofinal sequence, subset 110, 322 BDT bounded decomposition type 6 cogenerated 264 Bergman’s centralizer theorem 378, 407 coherent ring 298, 536 566 © in this web service Cambridge University Press www.cambridge.org Cambridge University Press 978-0-521-85337-8 — Free Ideal Rings and Localization in General Rings P. M. Cohn Index More Information Subject index 567 coimage, cokernel 526f. determinantal sum 429 coinduced extension 534 DFL = distributive factor lattice 232 column rank 80, 283 diagonal matrix sum 428 comaximal pair, relation xviii, 31, 149, 188 diagram chasing 527 comaximal transposition 197, 309 Dieudonn´edeterminant 494 comma category 529f. differential operator ring 64, 105, 339, 378 comma-free code 407 dimension of a display 416 commensurable elements xviii dimension, (co-)homological 532 commutative diagram 525 direct limit 123 companion matrix 253 direct power, sum 1, 525 comparison theorem 463 direct product 524 complement (in a lattice) 522 display 416 completable matrix 20 distributive lattice 225ff., 521f. complete direct decomposition 216 distributive module 116, 226f. complete factorization xvii, 196 divisibility preordering 52 complete (inversely filtered) ring 158, 375 division algorithm (DA) 66ff. complete prefix code 374 divisor group D(–) 497 completely primary ring 217, 251, 346 domain 420, 525 completion 158 dual module xvi, 2 complex-skew polynomial ring 64, 209f., 213 duality 529 conductor 332 duality for modules 193f., 269ff. conical monoid xvii, 14, 52, 172f., 358 dyad 58 conjugate idempotents 13 connected inversely filtered K -ring 161 E-related 150 connecting homomorphism 531 E-ring 117 continuant polynomial 148 eigenring E(–) 33, 58, 105, 251ff. contravariant functor 529 elementary divisor ring 85, 106 convex 93 elementary divisors 84 coprime pair, relation xviii, 138 elementary embedding 481 coproduct 135, 526 elementary matrix xvii, 196f. core of admissble system 414, 460 elementary operation 80, 437 core of bipolar structure 399 elementary sentence 538 covariant functor 529 epimorphism, epie 419, 526 cover (in a lattice) 520 equidivisible 43 Cramer’s rule 416 equivalence of categories 529 Czerniakiewicz-Makar-Limanov theorem 402, essential extension 270, 531 409 essential left factor 280 essentially distinct factorizations 207 decomposable element 214ff. Euclidean algorithm 68, 105 Dedekind’s lemma 388 Euclidean ring 67 defect theorem 366 Euler’s theorem 140 degenerate matrix 435 exact functor 531 degree (-function) 60f., 123, 380 exact sequence 527 denominator 38, 414 exchange principle 157, 184 ∗ dense subcategory 342, 525 extended elementary group E2 (R) xvii, 147 dense submodule 282 Ext, extension of modules 532f. dependence number 127, 157, 184 depth 413, 467ff. factor-complete matrix set 501 derivation 41, 61 factor-inverting matrix set 447, 500 derived functor 513f. factor-stable matrix set 437 derived set 67, 105 factorial duality 195 © in this web service Cambridge University Press www.cambridge.org Cambridge University Press 978-0-521-85337-8 — Free Ideal Rings and Localization in General Rings P. M. Cohn Index More Information 568 Subject index fastest algorithm 68 Gr¨obnerbasis 184 Fibonacci numbers 148 Grothendieck category 276 field of fractions 39, 419 Grothendieck group 14, 98 field spectrum X(–) 442 filter 538 Hasse’s criterion 77, 131 filtered ring, filtration 125ff., 134 HCF, HCLF, HCRF highest common (left, final object 525 right) factor 54, 154 (L, K )-finite 477 height (of lattice element) 521 finite free resolution 26, 79 hereditary ring 108, 183 finitely presented, related 26, 533f. Hermite ring 19, 58, 87, 115 fir = free ideal ring 110, 136, 183, 371 higher derivation 91 firoid 185 Higman’s trick 311 Fitting’s lemma 217, 230, 276 Hilbert basis theorem 63 five-lemma 528 Hilbert series 142, 184, 382 flat module 50, 122, 369, 535f. HNN-construction 141, 185, 399, 407, 454 forgetful functor 530 hollow matrix 187, 430 formal degree 131f. homogeneous subalgebra 368f. formal Laurent series 88 homological dimension 532 formal power series 88 honest ring homomorphism 287, 446 formula xix Fox derivative 86 IBN = invariant basis number 2, 58 fraction 413 idealizer I (–) 33, 58, 488 Frame–Robinson–Thrall formula 382 idempotent matrix 12ff. free associative algebra 135 image 527 free D-field on a set 474f. indecomposable 523 free ideal ring, see fir independence property of tensor product 534 free K -ring 135 index of a matrix xviii free monoid 357ff. inert subring 165 free product 183, 398 inertia lemma 255f., 292 free subset 360, 376 inertia theorem 165, 184, 453 Frobenius’ inequality 299 inessential modification 113, 222, 305 Frobenius–K¨onigtheorem 191 initial object 525 full matrix 3, 186, 428 injective hull 531 full relation 188 injective resolution 533 full subcategory 525 inner derivation 42, 64 fully atomic semifir 196 inner rank 3, 58 fully invariant submodule 229 integral closure 332 fully inverting homomorphism 447 integral element, extension 332, 338 fully reducible matrix 220 integral section 517 fully reversible ring 512 intersection theorem 328 functor 529 interval 210, 520 Inv-atom 334 G-value 491 Inv-(in)decomposable element 345 Galois theory 388, 408 invariant 379 Gauss’s lemma 140 invariant element, monoid, ring 53, 231, 236 generalized polynomial identity (GPI) 477 invariant factors 84, 254 GE-related 150 invariant matrix 335 GL-related 31, 150, 189 invariant principal ideal 333 global dimension 107, 532 inverse filtration 157 graded ring 141 inverse weak algorithm 157, 161, 184 graph of a mapping 226 invertible ring 515 © in this web service Cambridge University Press www.cambridge.org Cambridge University Press 978-0-521-85337-8 — Free Ideal Rings and Localization in General Rings P. M. Cohn Index More Information Subject index 569 -inverting 37, 411 lower segment 370 involution 326 L¨uroth’s theorem 367 irredundant decomposition 215, 523 isomorphic idempotents 13 magic lemma 448, 492 isomorphism of factorizations 75, 208 Magnus’ theorem 328 isotone (= order-preserving) map 243 Malcev conditions 37 iterated skew polynomial ring 98 Malcev–Neumann power series 94 Malcolmson’s criterion 438f., 474 J-(skew polynomial) ring 98, 106 matrix algebraic k-algebra 251 Jacobian matrix 405 matrix atom 195 Jacobson radical 15, 102, 201, 230 matrix ideal 430 join 519 matrix local ring 17 join-irreducible 244, 523 matrix nilradical 444f. de Jonqui`eresautomorphism 397 matrix pre-ideal 429 Jordan–H¨oldertheorem 75, 192, 246, 521 matrix prime 496 matrix reduction functor 11, 58, 180 Kaplansky’s theorem 109f. matrix units xvii, 8 kernel (map) 526 matrix valuation 500 Koszul resolution 297 maximal code 362 Kraft–McMillan inequality 362, 408 meet 519 Kronecker delta 8 meta-Artinian, -Noetherian module 228 Kronecker function ring 353 meta(semi)fir 112, 183 Krull domain 337, 351 minimal admissible matrix 463 Krull–Schmidt theorem 83, 217, 276, 523 minimal bound module 278, 308 K -theory 58 minimal domain 420 Kurosh–Ore theorem 216, 523 modular lattice, law 520 monic matrix 312 large element (in a ring) 40 monic normal form 313 lattice 519ff. monic polynomial xviii lattice isomorphism 10 monomial right K-basis 132 Laurent polynomial ring 86 monomorphism, monic 526 law of nullity 189, 290f. monoid xvi LCM, LCRM, LCLM least common (right, Morita equivalence 9, 119, 219, 529 left) multiple 54, 117 multiplicative (matrix-)set 38, 411f. leading term 94, 173 leapfrog construction 148 Nagata’s theorem 57 least matrix (pre-) ideal 444f. Nakayama’s lemma 16f. left (right) full matrix, relation 186ff. natural filtration 134 left prime matrix 187f. natural transformation 529 Leibniz’s formula 47 negative module 273 length of a chain or lattice 520 neutral 525 length of a monoid element 56, 75, 141, 358 nilradical 511 level of a matrix 203 normalizer, normalizing element 488 linearization by enlargement 311 null matrix 9 linear dependence xviii, 118 nullity, law of 189, 290f. link in a lattice 210, 520 numerator 38, 414 local homomorphism 16 local rank 293 obstruction 533 local ring 15 one-sided fir 175, 185, 204f. localization 39, 110f., 500ff. opposite category 525 Los’s theorem 539 opposite ring xvi, 10 © in this web service Cambridge University Press www.cambridge.org Cambridge University Press 978-0-521-85337-8 — Free Ideal Rings and Localization in General Rings P. M. Cohn Index More Information 570 Subject index order of an admissible system 414 quotient 67 order-function 88, 137, 157 quotient of matrix ideals 435f.
Load more

Recommended publications
  • 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.
    [Show full text]
  • Open Problems
    Open Problems 1. Does the lower radical construction for `-rings stop at the first infinite ordinal (Theorems 3.2.5 and 3.2.8)? This is the case for rings; see [ADS]. 2. If P is a radical class of `-rings and A is an `-ideal of R, is P(A) an `-ideal of R (Theorem 3.2.16 and Exercises 3.2.24 and 3.2.25)? 3. (Diem [DI]) Is an sp-`-prime `-ring an `-domain (Theorem 3.7.3)? 4. If R is a torsion-free `-prime `-algebra over the totally ordered domain C and p(x) 2C[x]nC with p0(1) > 0 in C and p(a) ¸ 0 for every a 2 R, is R an `-domain (Theorems 3.8.3 and 3.8.4)? 5. Does each f -algebra over a commutative directed po-unital po-ring C whose left and right annihilator ideals vanish have a unique tight C-unital cover (Theorems 3.4.5, 3.4.11, and 3.4.12 and Exercises 3.4.16 and 3.4.18)? 6. Can an f -ring contain a principal `-idempotent `-ideal that is not generated by an upperpotent element (Theorem 3.4.4 and Exercise 3.4.15)? 7. Is each C-unital cover of a C-unitable (totally ordered) f -algebra (totally or- dered) tight (Theorem 3.4.10)? 8. Is an archimedean `-group a nonsingular module over its f -ring of f -endomorphisms (Exercise 4.3.56)? 9. If an archimedean `-group is a finitely generated module over its ring of f -endomorphisms, is it a cyclic module (Exercise 3.6.20)? 10.
    [Show full text]
  • Quantizations of Regular Functions on Nilpotent Orbits 3
    QUANTIZATIONS OF REGULAR FUNCTIONS ON NILPOTENT ORBITS IVAN LOSEV Abstract. We study the quantizations of the algebras of regular functions on nilpo- tent orbits. We show that such a quantization always exists and is unique if the orbit is birationally rigid. Further we show that, for special birationally rigid orbits, the quan- tization has integral central character in all cases but four (one orbit in E7 and three orbits in E8). We use this to complete the computation of Goldie ranks for primitive ideals with integral central character for all special nilpotent orbits but one (in E8). Our main ingredient are results on the geometry of normalizations of the closures of nilpotent orbits by Fu and Namikawa. 1. Introduction 1.1. Nilpotent orbits and their quantizations. Let G be a connected semisimple algebraic group over C and let g be its Lie algebra. Pick a nilpotent orbit O ⊂ g. This orbit is a symplectic algebraic variety with respect to the Kirillov-Kostant form. So the algebra C[O] of regular functions on O acquires a Poisson bracket. This algebra is also naturally graded and the Poisson bracket has degree −1. So one can ask about quantizations of O, i.e., filtered algebras A equipped with an isomorphism gr A −→∼ C[O] of graded Poisson algebras. We are actually interested in quantizations that have some additional structures mir- roring those of O. Namely, the group G acts on O and the inclusion O ֒→ g is a moment map for this action. We want the G-action on C[O] to lift to a filtration preserving action on A.
    [Show full text]
  • Algebraic Numbers
    FORMALIZED MATHEMATICS Vol. 24, No. 4, Pages 291–299, 2016 DOI: 10.1515/forma-2016-0025 degruyter.com/view/j/forma Algebraic Numbers Yasushige Watase Suginami-ku Matsunoki 6 3-21 Tokyo, Japan Summary. This article provides definitions and examples upon an integral element of unital commutative rings. An algebraic number is also treated as consequence of a concept of “integral”. Definitions for an integral closure, an algebraic integer and a transcendental numbers [14], [1], [10] and [7] are included as well. As an application of an algebraic number, this article includes a formal proof of a ring extension of rational number field Q induced by substitution of an algebraic number to the polynomial ring of Q[x] turns to be a field. MSC: 11R04 13B21 03B35 Keywords: algebraic number; integral dependency MML identifier: ALGNUM 1, version: 8.1.05 5.39.1282 1. Preliminaries From now on i, j denote natural numbers and A, B denote rings. Now we state the propositions: (1) Let us consider rings L1, L2, L3. Suppose L1 is a subring of L2 and L2 is a subring of L3. Then L1 is a subring of L3. (2) FQ is a subfield of CF. (3) FQ is a subring of CF. R (4) Z is a subring of CF. Let us consider elements x, y of B and elements x1, y1 of A. Now we state the propositions: (5) If A is a subring of B and x = x1 and y = y1, then x + y = x1 + y1. (6) If A is a subring of B and x = x1 and y = y1, then x · y = x1 · y1.
    [Show full text]
  • 7902127 Fordt DAVID JAKES Oni the COMPUTATION of THE
    7902127 FORDt DAVID JAKES ON i THE COMPUTATION OF THE MAXIMAL ORDER IK A DEDEKIND DOMAIN. THE OHIO STATE UNIVERSITY, PH.D*, 1978 University. Microfilms International 3q o n . z e e b r o a o . a n n a r b o r , mi 48ios ON THE COMPUTATION OF THE MAXIMAL ORDER IN A DEDEKIND DOMAIN DISSERTATION Presented in Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in the Graduate School of The Ohio State University By David James Ford, B.S., M.S. # * * K * The Ohio State University 1978 Reading Committee: Approved By Paul Ponomarev Jerome Rothstein Hans Zassenhaus Hans Zassenhaus Department of Mathematics ACKNOWLDEGMENTS I must first acknowledge the help of my Adviser, Professor Hans Zassenhaus, who was a fountain of inspiration whenever I was dry. I must also acknowlegde the help, financial and otherwise, that my parents gave me. Without it I could not have finished this work. All of the computing in this project, amounting to between one and two thousand hours of computer time, was done on a PDP-11 belonging to Drake and Ford Engineers, through the generosity of my father. VITA October 28, 1946.......... Born - Columbus, Ohio 1967...................... B.S. in Mathematics Massachusetts Institute of Technology Cambridge, Massachusetts 1967-196 8 ................. Teaching Assistant Department of Mathematics The Ohio State University Columbus, Ohio 1968-197 1................. Programmer Children's Hospital Medical Center Boston, Massachusetts 1971-1975................. Teaching Associate Department of Mathematics The Ohio State University Columbus, Ohio 1975-1978................. Programmer Prindle and Patrick, Architects Columbus, Ohio PUBLICATIONS "Relations in Q (Zh X ZQ) and Q (ZD X ZD)" (with Michael Singer) n 4 o n o o Communications in Algebra, Vol.
    [Show full text]
  • Norms and Traces MAT4250 — Høst 2013 Norms and Traces
    Norms and traces MAT4250 — Høst 2013 Norms and traces Version 0.2 — 10. september 2013 klokken 09:55 We start by recalling a few facts from linear algebra that will be very useful for us, and we shall do it over a general base field K (of any characteristic). Assume that V is afinitedimensionalvectorspaceoverK.Toanylinearoperatorφ: V V there are ! associated two polynomials, both in a canonical way. Firstly, there is the characteristic polynomial Pφ(t), which is, as we know, defined by Pφ(t)=det(t id φ). It is a monic polynomial whose degree n equals the dimension · − dimK V .TwoofthecoefficientsofPφ(t) play a special prominent role, the trace and the determinant. They are up to sign, respectively the coefficient of the subdominant term and the constant term of the characteristic polynomial Pφ(t): n n 1 n P (t)=t tr φt − + +( 1) det φ φ − ··· − Secondly, there is the minimal polynomial of φ.Itisdefinedasthemonicgenerator of the annihilator of φ,thatisthemonicgeneratoroftheidealIφ = f(t) K[t] { 2 | f(φ)=0 . The two polynomials arise in very different ways, but they are intimately } related. The Cayley-Hamilton theorem states that Pφ(φ)=0,sothecharacteristic polynomial of φ belongs to the ideal Iφ,andtheminimalpolynomialdividesthecha- racteristic polynomial. In general they are different. For example, the degree of the characteristic poly is always equal to dimK V ,butthedegreeoftheminimalpolycan be anything between one and dimK V (degree one occurring for scalar multiples of the identity map). We often will work over extensions ⌦ of the base field K.AvectorspaceV and alinearoperatorφ may accordingly be extended as the tensor products V K ⌦ and ⌦ φ idK .Ifv1,...,vn is a basis for V ,thenv1 1,...,vn 1 will be a basis for V K ⌦— ⌦ ⌦ ⌦ ⌦ the only thing that changes, is that we are allowed to use elements from ⌦ as coefficients.
    [Show full text]
  • Notes on Ring Theory
    Notes on Ring Theory by Avinash Sathaye, Professor of Mathematics February 1, 2007 Contents 1 1 Ring axioms and definitions. Definition: Ring We define a ring to be a non empty set R together with two binary operations f,g : R × R ⇒ R such that: 1. R is an abelian group under the operation f. 2. The operation g is associative, i.e. g(g(x, y),z)=g(x, g(y,z)) for all x, y, z ∈ R. 3. The operation g is distributive over f. This means: g(f(x, y),z)=f(g(x, z),g(y,z)) and g(x, f(y,z)) = f(g(x, y),g(x, z)) for all x, y, z ∈ R. Further we define the following natural concepts. 1. Definition: Commutative ring. If the operation g is also commu- tative, then we say that R is a commutative ring. 2. Definition: Ring with identity. If the operation g has a two sided identity then we call it the identity of the ring. If it exists, the ring is said to have an identity. 3. The zero ring. A trivial example of a ring consists of a single element x with both operations trivial. Such a ring leads to pathologies in many of the concepts discussed below and it is prudent to assume that our ring is not such a singleton ring. It is called the “zero ring”, since the unique element is denoted by 0 as per convention below. Warning: We shall always assume that our ring under discussion is not a zero ring.
    [Show full text]
  • P-INTEGRAL BASES of a CUBIC FIELD 1. Introduction Let K = Q(Θ
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 126, Number 7, July 1998, Pages 1949{1953 S 0002-9939(98)04422-0 p-INTEGRAL BASES OF A CUBIC FIELD S¸ABAN ALACA (Communicated by William W. Adams) Abstract. A p-integral basis of a cubic field K is determined for each rational prime p, and then an integral basis of K and its discriminant d(K)areobtained from its p-integral bases. 1. Introduction Let K = Q(θ) be an algebraic number field of degree n, and let OK denote the ring of integral elements of K.IfOK=α1Z+α2Z+ +αnZ,then α1,α2,...,αn is said to be an integral basis of K. For each prime··· ideal P and each{ nonzero ideal} A of K, νP (A) denotes the exponent of P in the prime ideal decomposition of A. Let P be a prime ideal of K,letpbe a rational prime, and let α K.If ∈ νP(α) 0, then α is called a P -integral element of K.Ifαis P -integral for each prime≥ ideal P of K such that P pO ,thenαis called a p-integral element | K of K.Let!1;!2;:::;!n be a basis of K over Q,whereeach!i (1 i n)isap-integral{ element} of K.Ifeveryp-integral element α of K is given≤ as≤ α = a ! + a ! + +a ! ,wherethea are p-integral elements of Q,then 1 1 2 2 ··· n n i !1;!2;:::;!n is called a p-integral basis of K. { In Theorem} 2.1 a p-integral basis of a cubic field K is determined for every rational prime p, and in Theorem 2.2 an integral basis of K is obtained from its p-integral bases.
    [Show full text]
  • On Finiteness Conjectures for Endomorphism Algebras of Abelian Surfaces
    ON FINITENESS CONJECTURES FOR ENDOMORPHISM ALGEBRAS OF ABELIAN SURFACES NILS BRUIN, E. VICTOR FLYNN, JOSEP GONZALEZ,´ AND VICTOR ROTGER Abstract. It is conjectured that there exist only finitely many isomorphism classes of endomorphism algebras of abelian varieties of bounded dimension over a number field of bounded degree. We explore this conjecture when restricted to quaternion endomorphism algebras of abelian surfaces of GL2- type over Q by giving a moduli interpretation which translates the question into the diophantine arithmetic of Shimura curves embedded in Hilbert surfaces. We address the resulting problems on these curves by local and global methods, including Chabauty techniques on explicit equations of Shimura curves. 1. Introduction Let A/K be an abelian variety defined over a number field K. For any field extension L/K, let EndL(A) denote the ring of endomorphisms of A defined over 0 L and EndL(A) = EndL(A) ⊗ Q. A conjecture, which may be attributed to Robert Coleman1, asserts the following. Conjecture C(e, g): Let e, g ≥ 1 be positive integers. Then, up to isomorphism, there exist only finitely many rings O over Z such that EndL(A) 'O for some abelian variety A/K of dimension g and a field extension L/K of a number field K of degree [K : Q] ≤ e. The conjecture holds in dimension 1: by the theory of complex multiplication, if E/K is an elliptic curve and L/K is an extension of number√ fields, then EndL(E) is either Z or an order O in an imaginary quadratic√ field Q( −d) such that the ring class field HO attached to O is contained in K( −d).
    [Show full text]
  • Introduction to Algebraic Number Theory Lecture 3
    Introduction to Algebraic Number Theory Lecture 3 Andrei Jorza 2014-01-20 Today: more number rings; traces and norms. Textbook here is http://wstein.org/books/ant/ant.pdf 2 Number Rings (continued) (2.1) We have shown that for a number field K the algebraic integers OK form a ring. Definition 1. An order is a subring O ⊂ OK such that OK =O is finite. The ring of integers is said to be the maximal order. Some examples later. (2.2) Having shown that for a number field K the algebraic integers OK form a ring we should answer some natural questions: 1. Is OK torsion-free? Of course, since K is. 2. Is OK a finite Z-module? We know that every Z[α] ⊂ OK is finite over Z and the question is whether OK is generated by finitely many algebraic integers. 3. A finite Z-module is just a finitely generated abelian group and once we show that OK is finite over Z ∼ d and torsion-free we deduce that OK = Z for d = rank(OK ). What is this rank? 4. Can we find generators for OK as a Z-module? (2.3) p p Example 2. If m is a square-free integer not equal to 1 then the ring of integers of ( m) is [ m] when p Q Z 1+ m m ≡ 2; 3 (mod 4) and Z[ 2 ] when m ≡ 1 (mod 4). p 2 2 2 Proof. If a + b m 2 OK then the minimal polynomial X − 2aX + a − b m 2 Z[X] and so 2a = p 2 Z.
    [Show full text]
  • Free Ideal Rings and Localization in General Rings
    This page intentionally left blank Free Ideal Rings and Localization in General Rings Proving that a polynomial ring in one variable over a field is a principal ideal domain can be done by means of the Euclidean algorithm, but this does not extend to more variables. However, if the variables are not allowed to commute, giving a free associative algebra, then there is a generalization, the weak algorithm, which can be used to prove that all one-sided ideals are free. This book presents the theory of free ideal rings (firs) in detail. Particular emphasis is placed on rings with a weak algorithm, exemplified by free associative algebras. There is also a full account of localization, which is treated for general rings, but the features arising in firs are given special attention. Each section has a number of exercises, including some open problems, and each chapter ends in a historical note. paul cohn is Emeritus Professor of Mathematics at the University of London and Honorary Research Fellow at University College London. NEW MATHEMATICAL MONOGRAPHS Editorial Board B´ela Bollob´as William Fulton Frances Kirwan Peter Sarnak Barry Simon For information about Cambridge University Press mathematics publications visit http://publishing.cambridge.org/stm/mathematics Already published in New Mathematical Monographs: Representation Theory of Finite Reductive Groups Marc Cabanes, Michel Enguehard Harmonic Measure John B. Garnett, Donald E. Marshall Heights in Diophantine Geometry Enrico Bombieri, Walter Gubler Free Ideal Rings and Localization in General Rings P. M. COHN Department of Mathematics University College London Cambridge, New York, Melbourne, Madrid, Cape Town, Singapore, São Paulo Cambridge University Press The Edinburgh Building, Cambridge ,UK Published in the United States of America by Cambridge University Press, New York www.cambridge.org Information on this title: www.cambridge.org/9780521853378 © Cambridge University Press 2006 This publication is in copyright.
    [Show full text]
  • UC Berkeley UC Berkeley Electronic Theses and Dissertations
    UC Berkeley UC Berkeley Electronic Theses and Dissertations Title One-sided prime ideals in noncommutative algebra Permalink https://escholarship.org/uc/item/7ts6k0b7 Author Reyes, Manuel Lionel Publication Date 2010 Peer reviewed|Thesis/dissertation eScholarship.org Powered by the California Digital Library University of California One-sided prime ideals in noncommutative algebra by Manuel Lionel Reyes A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in Mathematics in the Graduate Division of the University of California, Berkeley Committee in charge: Professor Tsit Yuen Lam, Chair Professor George Bergman Professor Koushik Sen Spring 2010 One-sided prime ideals in noncommutative algebra Copyright 2010 by Manuel Lionel Reyes 1 Abstract One-sided prime ideals in noncommutative algebra by Manuel Lionel Reyes Doctor of Philosophy in Mathematics University of California, Berkeley Professor Tsit Yuen Lam, Chair The goal of this dissertation is to provide noncommutative generalizations of the following theorems from commutative algebra: (Cohen's Theorem) every ideal of a commutative ring R is finitely generated if and only if every prime ideal of R is finitely generated, and (Kaplan- sky's Theorems) every ideal of R is principal if and only if every prime ideal of R is principal, if and only if R is noetherian and every maximal ideal of R is principal. We approach this problem by introducing certain families of right ideals in noncommutative rings, called right Oka families, generalizing previous work on commutative rings by T. Y. Lam and the author. As in the commutative case, we prove that the right Oka families in a ring R correspond bi- jectively to the classes of cyclic right R-modules that are closed under extensions.
    [Show full text]