HIGHER CLASS GROUPS OF GENERALIZED EICHLER ORDERS
|
|
- Hugo O’Brien’
- 5 years ago
- Views:
Transcription
1 HIGHER CLASS GROUPS OF GENERALIZED EICHLER ORDERS XUEJUN GUO 1 ADEREMI KUKU 2 1 Department of Mathematics, Nanjing University Nanjing, Jiangsu , The People s Republic of China guoxj@nju.edu.cn The Abdus Salam International Center for Theoretical Physics, Trieste, Italy 2 Institute for Advanced Study, Princeton, NJ, USA kuku@ias.edu Abstract: In this paper we study the possible torsion in even dimensional higher class groups Cl 2n (Λ) (n 1) of an order Λ in a semi-simple algebra A over a number field F with ring of integers O F. We show that for certain orders called generalized Eichler orders p-torsion in Cl 2n (Λ) can only occurs for primes p dividing prime ideals of O F, at which Λ is not maximal. In particular, the results apply to Eichler orders in quaternion algebras to hereditary orders. Keywords: higher class group, quaternion algebra, Eichler order, semi-simple algebra, hereditary order 2000 Mathematics Subject Classification: 19D50, 19F Introduction Let F be a number field O F the ring of integers in F. Let A be a semi-simple algebra over F Λ an O F -order in A. The higher class groups of Λ are defined as Cl n (Λ) = ker(sk n (Λ) SK n (Λ )), where runs through all maximal ideals of O F SK n (Λ) := ker(k n (Λ) K n (A)), for all integers n 0. By the Theorem 1 2 in [2], Cl n (Λ) are trivial for maximal orders. Later Kuku proved in [6] that Cl n (Λ) are finite for arbitrary orders. In [4], it is proved that the only p-torsion possible in Cl 2n+1 (Λ) is for those rational primes p which lie under the prime ideals of O F at which Λ is not maximal. In this paper, we prove the analogous result for even dimensional higher class groups Cl 2n (Λ) (n 1) in 1
2 the case where Λ is an Eichler order in a quaternion algebra or a hereditary order in a semi-simple algebra. Note that in general, an Eichler order Λ is not hereditary. An order is hereditary if only if all the local orders Λ is hereditary. So an Eichler Λ is hereditary if only if every k 1 (See Section 2 for the definition of k ). To prove the above results simultaneously for Eichler hereditary orders, it suffices for us to prove the result for orders Λ in A M n (D), where D is a finite dimensional algebra locally at each prime, Λ has the form ( ) ( k ) ( k ) ( k ) ( ) ( ) ( k ) ( k ) Λ = ( ) ( ) ( ) ( k ), for some k 1, where is the unique maximal order in the division algebra D ( ) which satisfies D F F M m (D ( ) ). Such orders we shall call generalized Eichler orders (see section 2 for definitions notations). If all k are equal to 1, then Λ is hereditary (Theorem in [7]), whereas if A is a quaternion algebra, then Λ is an Eichler order as defined in [8]. In this paper, we use the same notations as in [4]. Acknowledgements: The authors are grateful to the referee for helpful comments. 2. Higher class groups of generalized Eichler orders Let F be a number field O F the ring of integers in F. Let A be a semisimple algebra over F Λ an order in A. For any maximal ideal of O F, let F, O F, A, Λ be the -completions of F, O F, A, Λ respectively. If D is a division algebra, let D ( ) be the division algebra such that D M k (D ( ) ). If R is any ring, we will denote the quotient of K m (R) by its divisible subgroup by Km(R). c Let S be the set of primes at which Λ is not maximal. As in [4], we define Cl m (Γ, S) to be the cokernel of the map K c m+1(a) S K c m+1(a ) / S K c m+1(a )/im(k c m+1(γ )), where Γ is a maximal order containing Λ. Let P S denote the set of rational primes lying under the prime ideals in S. 2
3 Lemma 2.1. The higher class group Cl 2n (Λ) is a homomorphic image of coker( S K c 2n+1(Λ ) K c 2n+1(A )). Proof. By Lemma 1.2 in [4], Cl 2n (Λ) coker( S K c 2n+1(Λ ) Cl 2n (Γ, S)). By Theorem 1 in [2], So K2n+1(A c )/im(k2n+1(γ c )) = 0. / S Cl 2n (Γ, S) = coker(k2n+1(a) c K2n+1(A c )). S Hence Cl 2n (Λ) is a homomorphic image of coker( K2n+1(Λ c ) K2n+1(A c )). S S Definition 2.2 ([7], 39.2). Let R be a ring. For each ideal I of R, let (I) m n denote the set of all m n matrices with entries in I. If {I ij : 1 i, j r} is a set of ideals in R, we write (I 11 ) (I 12 ) (I 1r ) (I 21 ) (I 22 ) (I 2r ) Λ = (I r1 ) (I r2 ) (I rr ) to indicate that Λ is the set of all matrices (T ij ) 1 i,j r, where for each pair (i, j), the matrix T ij ranges over all elements of (I ij ) n i n j. Definition 2.3. Let A M n (D), where D is a finite dimensional division algebra. We call an order Λ in A a generalized Eichler order if each Λ has the form ( ) ( k ) ( k ) ( k ) ( ) ( ) ( k ) ( k ) Λ = ( ) ( ) ( ) ( k ), 3
4 where k 1 is the unique maximal order in D ( ). If A M ni (D i ) is a semisimple algebra, then an order Λ in A is called a generalized Eichler order if Λ Λ i, i i where Λ i is a generalized Eichler order in M ni (D i ). Proposition 2.4 ([3], Theorem A 2.2). Let R S be rings U an R S bimodule. Then the natural homomorphisms ( ) ( ) R 0 R U K n ( ) K n ( ) 0 S 0 S are isomorphisms. Let U = Hom(U, S), where U is considered as a right S-module. If R is the endomorphism ring End(U) of the right S-module U, then the natural homomorphisms ( ) ( ) R U R U K n ( ) K n ( 0 S U ) S Lemma 2.5. Let R be a ring, (R) (0) (0) (0) (R) (R) (0) (0) R 1 = (R) (R) (R) (0) R 2 =. Then the natural homomorphisms K n (R 1 ) K n (R 2 ) Proof. We will prove this lemma by induction. If r = 1, then R 1 = R 2. This is the trivial case. 4
5 Suppose that the lemma holds for r 1. Let (R) (0) (0) R (R) (R) (0) 3 = (R) (R) (R) (R) (R) (R) R (R) (R) (R) 4 = (R) (R) (R) By induction hypothesis, the homomorphisms K n (R 3) K n (R 4) (n 1,..., n r 1 ) (n 1,..., n r 1 ). Let R 3 = R 4 = ( ) R (R) (nr) R 3 (R) (nr) ( ) R (R) (nr) R 4 (R) (nr). Since K n (R 3 ) K n (R 3 ) K n ((R) (nr) ) K n (R 4 ) K n (R 4 ) K n ((R) (nr) ), the homomorphisms K n (R 3 ) K n (R 4 ) By Proposition 2.4, the homomorphisms Let K n (R 3 ) K n (R 1 ) (R) (R) (R) (0) (R) (R) (R) (0) R 5 = (R) (R) (R) (0) (R) (R) (R) (R) By Proposition 2.4, the homomorphisms K n (R 4 ) K n (R 5 ) 5.
6 Hence the compositions K n (R 5 ) K n (R 2 ) f n : K n (R 3 ) K n (R 4 ) K n (R 5 ) K n (R 2 ) Let g n be the following composition K n (R 3 ) K n (R 1 ) K n (R 2 ). Although f n g n are obtained in different ways, they are both induced by the same natural ring inclusion R 3 R 2. By the funtoriality of K-theory, f n = g n. Hence the maps g n are surjective, which implies that the maps K n (R 1 ) K n (R 2 ) Let A M n (D) be a simple algebra Λ a generalized Eichler order in A. The local order Λ is either maximal or isomorphic to some ( ) ( k ) ( k ) ( k ) ( ) ( ) ( k ) ( k ) ( ) ( ) ( ) ( k ) where k 1 is the unique maximal order in D ( ). By the Skolem-Noether Theorem this isomorphism is given by an inner automorphism, hence there is an element a A such that ( ) ( k ) ( k ) ( k ) ( ) ( ) ( k ) ( k ) Λ = a ( ) ( ) ( ) ( k ) 6, a 1.
7 We now define Γ = Λ, if Λ is maximal, Γ = a otherwise. By Theorem 5.3 in [7], there is a global maximal order Γ, so that Γ = Γ for all. Let I = k throughout this section, where runs through all at which Λ is not maximal. Lemma 2.6. For all n 1, the natural homomorphisms K n (Λ /IΓ ) K n (Γ /IΓ ) Proof. If Λ is maximal, then the lemma obviously holds. So we suppose that Λ is not maximal. Without loss of generality, we assume ( ) ( k ) ( k ) ( k ) ( ) ( ) ( k ) ( k ) Λ = ( ) ( ) ( ) ( k ) Γ = where is the unique maximal order in D ( ). Then (R) (0) (0) (0) (R) (R) (0) (0) Λ /IΓ = (R) (R) (R) (0) 7 a 1,
8 Γ /IΓ = where R = / k. The lemma now follows from Lemma 2.5., For any abelian group G, let G( 1 s ) be the group G Z[ 1 s ]. For any ring homomorphism f : A B, we shall write f for the induced homomorphism K n (A)( 1 s ) K n(b)( 1 s ) Lemma 2.7. For all n 1, the natural homomorphism f 1 : K n (Λ )( 1 s ) K n(γ )( 1 s ) is surjective, where s is the generator of I Z. Proof. The square Λ f 1 Γ (I). f 2 g 1 Λ /IΓ has an associated K ( 1 s ) Mayer-Vietoris sequence g 2 Γ /IΓ K n (Λ )( 1 s ) (f 1, f 2 ) K n (Γ )( 1 s ) K n (Λ /IΓ )( 1 s ) (g 1, g 2 ) K n (Γ /IΓ )( 1 s ) by [1] or [9], where for x K n (Λ )( 1 s ) (f 1, f 2 )(x) = (f 1 (x), f 2 (x)) (g1, g2 )(a, b) = g1 (a) g2 (b) for a K n (Γ )( 1 s ) b K n(λ /IΓ )( 1 s ). 8
9 For any element x K n (Γ )( 1 s ), we can find y K n(λ /IΓ )( 1 s ) such that (g 1, g 2 )(x, y) = g 1 (x) g 2 (y) = 0 by Lemma 2.6. So (x, y) ker(g 1, g 2 ) = im(f 1, f 2 ). Hence x im(f 1 ) which implies f 1 is surjective. Corollary 2.8. For all n 1, the cokernel of K n (Λ ) K n (Γ ) has no nontrivial p-torsion elements, where p is an arbitrary rational prime which does not divide s. Proof. By Lemma 2.7, the cokernel of K n (Λ ) K n (Γ ) is s-torsion. Hence the result follows. Corollary 2.9. For all n 0, the map f : K 2n+1 (Λ )( 1 s ) K 2n+1(A )( 1 s ) is surjective, where f is induced by the inclusion map f : Λ A. Proof. The map is the composition f : K 2n+1 (Λ )( 1 s ) K 2n+1(A )( 1 s ) K 2n+1 (Λ )( 1 s ) f 1 K 2n+1 (Γ )( 1 s ) h K 2n+1 (A )( 1 s ), where h is induced by the inclusion h : Γ A. By Theorem 1 of [2], h is surjective. Since f 1 h are both surjective, f is also surjective. Theorem Let Λ be a generalized Eichler order in a semi-simple algebra A over F. For all n 1, the q-primary part of Cl 2n (Λ) is trivial for q / P S. Proof. Since Λ can be expressed as the direct sum of generalized Eichler orders in the simple components of A, we may assume A is simple.. Corollary 2.9 implies in this case that coker(k c 2n+1(Λ ) K c 2n+1(A ))(q) = 0 for q / P S. So the q-primary part of Cl 2n (Λ) is trivial for q / P S by Lemma
10 References [1] R. M. Charney, A note on excision in K-theory, Algebraic K-theory, number theory, geometry analysis (Bielefeld, 1982), 47 54, Lecture Notes in Math. 1046, Springer, Berlin, [2] M. E. Keating, A transfer map in K-theory, J. London Math. Soc. (2) 16 (1977), no. 1, [3] M. E. Keating, The K-theory of triangular rings orders, Algebraic K-theory, Number theory, geometry analysis (Proceedings of the international conference held at Bielefeld, July 26 30, 1982.), , Lecture Notes in Mathematics 1046 (Springer, Berlin, 1984). [4] M. Kolster R. Laubenbacher, On higher class groups of orders, Math. Z. 228 (1998), no. 2, [5] A. O. Kuku, K n, SK n of integral group-rings orders, Contemporary Math. 55 (1986), [6] A. O. Kuku, Some finiteness results in the higher K-theory of orders group-rings, Topology Appl. 25 (1987), no. 2, [7] I. Reiner, Maximal orders, London Mathematical Society Monographs No. 5, Academic Press, London-New York, [8] M. F. Vignéras, Arithmétique des algèbres de quaternions, Lecture Notes in Mathematics 800 (Springer, Berlin, 1980). [9] C. A. Weibel, Mayer-Vietoris sequences module structures on NK, Algebraic K-theory, Evanston 1980 (Proc. Conf., Northwestern Univ., Evanston, Ill., 1980), pp , Lecture Notes in Math., 854, Springer, Berlin,
arxiv: v1 [math.ra] 10 Nov 2018
arxiv:1811.04243v1 [math.ra] 10 Nov 2018 BURNSIDE S THEOREM IN THE SETTING OF GENERAL FIELDS HEYDAR RADJAVI AND BAMDAD R. YAHAGHI Abstract. We extend a well-known theorem of Burnside in the setting of
More informationHow many units can a commutative ring have?
How many units can a commutative ring have? Sunil K. Chebolu and Keir Locridge Abstract. László Fuchs posed the following problem in 960, which remains open: classify the abelian groups occurring as the
More informationMINIMAL NUMBER OF GENERATORS AND MINIMUM ORDER OF A NON-ABELIAN GROUP WHOSE ELEMENTS COMMUTE WITH THEIR ENDOMORPHIC IMAGES
Communications in Algebra, 36: 1976 1987, 2008 Copyright Taylor & Francis roup, LLC ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870801941903 MINIMAL NUMBER OF ENERATORS AND MINIMUM ORDER OF
More informationarxiv: v2 [math.ra] 24 Sep 2015
MONOMIAL, GORENSTEIN AND BASS ORDERS arxiv:13086017v2 [mathra] 24 Sep 2015 TSE-CHUNG YANG AND CHIA-FU YU Abstract In this article we study a class of orders called monomial orders in a central simple algebra
More informationOn Dense Embeddings of Discrete Groups into Locally Compact Groups
QUALITATIVE THEORY OF DYNAMICAL SYSTEMS 4, 31 37 (2003) ARTICLE NO. 50 On Dense Embeddings of Discrete Groups into Locally Compact Groups Maxim S. Boyko Institute for Low Temperature Physics and Engineering,
More informationMath 249B. Nilpotence of connected solvable groups
Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C
More informationINDUCTION AND COMPUTATION OF BASS NIL GROUPS FOR FINITE GROUPS
INDUCTION AND COMPUTATION OF BASS NIL GROUPS FOR FINITE GROUPS IAN HAMBLETON AND WOLFGANG LÜCK Abstract. Let G be a finite group. We show that the Bass Nil-groups NK n (RG), n Z, are generated from the
More informationRelative Left Derived Functors of Tensor Product Functors. Junfu Wang and Zhaoyong Huang
Relative Left Derived Functors of Tensor Product Functors Junfu Wang and Zhaoyong Huang Department of Mathematics, Nanjing University, Nanjing 210093, Jiangsu Province, China Abstract We introduce and
More informationNon-separable AF-algebras
Non-separable AF-algebras Takeshi Katsura Department of Mathematics, Hokkaido University, Kita 1, Nishi 8, Kita-Ku, Sapporo, 6-81, JAPAN katsura@math.sci.hokudai.ac.jp Summary. We give two pathological
More informationHILBERT BASIS OF THE LIPMAN SEMIGROUP
Available at: http://publications.ictp.it IC/2010/061 United Nations Educational, Scientific and Cultural Organization and International Atomic Energy Agency THE ABDUS SALAM INTERNATIONAL CENTRE FOR THEORETICAL
More informationSELF-DUAL HOPF QUIVERS
Communications in Algebra, 33: 4505 4514, 2005 Copyright Taylor & Francis, Inc. ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870500274846 SELF-DUAL HOPF QUIVERS Hua-Lin Huang Department of
More informationMath 530 Lecture Notes. Xi Chen
Math 530 Lecture Notes Xi Chen 632 Central Academic Building, University of Alberta, Edmonton, Alberta T6G 2G1, CANADA E-mail address: xichen@math.ualberta.ca 1991 Mathematics Subject Classification. Primary
More informationMath 121 Homework 5: Notes on Selected Problems
Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements
More informationON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS
ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS LISA CARBONE Abstract. We outline the classification of K rank 1 groups over non archimedean local fields K up to strict isogeny,
More informationarxiv: v1 [math.rt] 11 Sep 2009
FACTORING TILTING MODULES FOR ALGEBRAIC GROUPS arxiv:0909.2239v1 [math.rt] 11 Sep 2009 S.R. DOTY Abstract. Let G be a semisimple, simply-connected algebraic group over an algebraically closed field of
More informationLECTURES ON SHIMURA CURVES: ARITHMETIC FUCHSIAN GROUPS
LECTURES ON SHIMURA CURVES: ARITHMETIC FUCHSIAN GROUPS PETE L. CLARK 1. What is an arithmetic Fuchsian group? The class of Fuchsian groups that we are (by far) most interested in are the arithmetic groups.
More informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationActa Acad. Paed. Agriensis, Sectio Mathematicae 28 (2001) THE LIE AUGMENTATION TERMINALS OF GROUPS. Bertalan Király (Eger, Hungary)
Acta Acad. Paed. Agriensis, Sectio Mathematicae 28 (2001) 93 97 THE LIE AUGMENTATION TERMINALS OF GROUPS Bertalan Király (Eger, Hungary) Abstract. In this paper we give necessary and sufficient conditions
More informationA Primer on Homological Algebra
A Primer on Homological Algebra Henry Y Chan July 12, 213 1 Modules For people who have taken the algebra sequence, you can pretty much skip the first section Before telling you what a module is, you probably
More informationThree-manifolds and Baumslag Solitar groups
Topology and its Applications 110 (2001) 113 118 Three-manifolds and Baumslag Solitar groups Peter B. Shalen Department of Mathematics, Statistics and Computer Science, University of Illinois at Chicago,
More informationOn Conditions for an Endomorphism to be an Automorphism
Algebra Colloquium 12 : 4 (2005 709 714 Algebra Colloquium c 2005 AMSS CAS & SUZHOU UNIV On Conditions for an Endomorphism to be an Automorphism Alireza Abdollahi Department of Mathematics, University
More informationRing Theory Problems. A σ
Ring Theory Problems 1. Given the commutative diagram α A σ B β A σ B show that α: ker σ ker σ and that β : coker σ coker σ. Here coker σ = B/σ(A). 2. Let K be a field, let V be an infinite dimensional
More informationAn Axiomatic Description of a Duality for Modules
advances in mathematics 130, 280286 (1997) article no. AI971660 An Axiomatic Description of a Duality for Modules Henning Krause* Fakulta t fu r Mathematik, Universita t Bielefeld, 33501 Bielefeld, Germany
More informationPrimitive Ideals of Semigroup Graded Rings
Sacred Heart University DigitalCommons@SHU Mathematics Faculty Publications Mathematics Department 2004 Primitive Ideals of Semigroup Graded Rings Hema Gopalakrishnan Sacred Heart University, gopalakrishnanh@sacredheart.edu
More informationAzumaya Algebras. Dennis Presotto. November 4, Introduction: Central Simple Algebras
Azumaya Algebras Dennis Presotto November 4, 2015 1 Introduction: Central Simple Algebras Azumaya algebras are introduced as generalized or global versions of central simple algebras. So the first part
More informationRIGHT-LEFT SYMMETRY OF RIGHT NONSINGULAR RIGHT MAX-MIN CS PRIME RINGS
Communications in Algebra, 34: 3883 3889, 2006 Copyright Taylor & Francis Group, LLC ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870600862714 RIGHT-LEFT SYMMETRY OF RIGHT NONSINGULAR RIGHT
More informationA Leibniz Algebra Structure on the Second Tensor Power
Journal of Lie Theory Volume 12 (2002) 583 596 c 2002 Heldermann Verlag A Leibniz Algebra Structure on the Second Tensor Power R. Kurdiani and T. Pirashvili Communicated by K.-H. Neeb Abstract. For any
More informationx y B =. v u Note that the determinant of B is xu + yv = 1. Thus B is invertible, with inverse u y v x On the other hand, d BA = va + ub 2
5. Finitely Generated Modules over a PID We want to give a complete classification of finitely generated modules over a PID. ecall that a finitely generated module is a quotient of n, a free module. Let
More informationGENERALIZED MORPHIC RINGS AND THEIR APPLICATIONS. Haiyan Zhu and Nanqing Ding Department of Mathematics, Nanjing University, Nanjing, China
Communications in Algebra, 35: 2820 2837, 2007 Copyright Taylor & Francis Group, LLC ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870701354017 GENERALIZED MORPHIC RINGS AND THEIR APPLICATIONS
More informationSTATE OF THE ART OF THE OPEN PROBLEMS IN: MODULE THEORY. ENDOMORPHISM RINGS AND DIRECT SUM DECOMPOSITIONS IN SOME CLASSES OF MODULES
STATE OF THE ART OF THE OPEN PROBLEMS IN: MODULE THEORY. ENDOMORPHISM RINGS AND DIRECT SUM DECOMPOSITIONS IN SOME CLASSES OF MODULES ALBERTO FACCHINI In Chapter 11 of my book Module Theory. Endomorphism
More informationA GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander
A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic
More informationSUMS OF UNITS IN SELF-INJECTIVE RINGS
SUMS OF UNITS IN SELF-INJECTIVE RINGS ANJANA KHURANA, DINESH KHURANA, AND PACE P. NIELSEN Abstract. We prove that if no field of order less than n + 2 is a homomorphic image of a right self-injective ring
More informationNoetherian property of infinite EI categories
Noetherian property of infinite EI categories Wee Liang Gan and Liping Li Abstract. It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result
More informationINTRODUCTION TO COMMUTATIVE ALGEBRA MAT6608. References
INTRODUCTION TO COMMUTATIVE ALGEBRA MAT6608 ABRAHAM BROER References [1] Atiyah, M. F.; Macdonald, I. G. Introduction to commutative algebra. Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills,
More informationFundamental Theorem of Finite Abelian Groups
Monica Agana Boise State University September 1, 2015 Theorem (Fundamental Theorem of Finite Abelian Groups) Every finite Abelian group is a direct product of cyclic groups of prime-power order. The number
More informationPROFINITE GROUPS WITH RESTRICTED CENTRALIZERS
proceedings of the american mathematical society Volume 122, Number 4, December 1994 PROFINITE GROUPS WITH RESTRICTED CENTRALIZERS ANER SHALEV (Communicated by Ronald M. Solomon) Abstract. Let G be a profinite
More informationFinite groups determined by an inequality of the orders of their elements
Publ. Math. Debrecen 80/3-4 (2012), 457 463 DOI: 10.5486/PMD.2012.5168 Finite groups determined by an inequality of the orders of their elements By MARIUS TĂRNĂUCEANU (Iaşi) Abstract. In this note we introduce
More informationON ADIC GENUS AND LAMBDA-RINGS
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9947(XX)0000-0 ON ADIC GENUS AND LAMBDA-RINGS DONALD YAU Abstract. Sufficient conditions on a space are given
More informationStrongly Nil -Clean Rings
Strongly Nil -Clean Rings Abdullah HARMANCI Huanyin CHEN and A. Çiğdem ÖZCAN Abstract A -ring R is called strongly nil -clean if every element of R is the sum of a projection and a nilpotent element that
More informationCOURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA
COURSE SUMMARY FOR MATH 504, FALL QUARTER 2017-8: MODERN ALGEBRA JAROD ALPER Week 1, Sept 27, 29: Introduction to Groups Lecture 1: Introduction to groups. Defined a group and discussed basic properties
More informationFréchet algebras of finite type
Fréchet algebras of finite type MK Kopp Abstract The main objects of study in this paper are Fréchet algebras having an Arens Michael representation in which every Banach algebra is finite dimensional.
More informationCommutator rings. Zachary Mesyan. July 6, 2006
Commutator rings Zachary Mesyan July 6, 2006 Abstract A ring is called a commutator ring if every element is a sum of additive commutators. In this note we give examples of such rings. In particular, we
More informationKOREKTURY wim11203.tex
KOREKTURY wim11203.tex 23.12. 2005 REGULAR SUBMODULES OF TORSION MODULES OVER A DISCRETE VALUATION DOMAIN, Bandung,, Würzburg (Received July 10, 2003) Abstract. A submodule W of a p-primary module M of
More informationSOME APPLICATIONS OF ZORN S LEMMA IN ALGEBRA
SOME APPLICATIONS OF ZORN S LEMMA IN ALGEBRA D. D. ANDERSON 1, DAVID E. DOBBS 2, AND MUHAMMAD ZAFRULLAH 3 Abstract. We indicate some new applications of Zorn s Lemma to a number of algebraic areas. Specifically,
More informationProjective and Injective Modules
Projective and Injective Modules Push-outs and Pull-backs. Proposition. Let P be an R-module. The following conditions are equivalent: (1) P is projective. (2) Hom R (P, ) is an exact functor. (3) Every
More informationSince Brešar and Vukman initiated the study of left derivations in noncom-
JORDAN LEFT DERIVATIONS IN FULL AND UPPER TRIANGULAR MATRIX RINGS XIAO WEI XU AND HONG YING ZHANG Abstract. In this paper, left derivations and Jordan left derivations in full and upper triangular matrix
More informationTRIVIAL MAXIMAL 1-ORTHOGONAL SUBCATEGORIES FOR AUSLANDER 1-GORENSTEIN ALGEBRAS
J. Aust. Math. Soc. 94 (2013), 133 144 doi:10.1017/s1446788712000420 TRIVIAL MAXIMAL 1-ORTHOGONAL SUBCATEGORIES FOR AUSLANDER 1-GORENSTEIN ALGEBRAS ZHAOYONG HUANG and XIAOJIN ZHANG (Received 25 February
More informationLe Van An, Nguyen Thi Hai Anh and Ngo Sy Tung. Abstract. In this paper, we give some results on (1 C 2 ) modules and 1 continuous modules.
Math. J. Okayama Univ. 59 (2017), 141 147 ON THE (1 C 2 ) CONDITION Le Van An, Nguyen Thi Hai Anh and Ngo Sy Tung Abstract. In this paper, we give some results on (1 C 2 ) modules and 1 continuous modules.
More informationAlgebra Exam Syllabus
Algebra Exam Syllabus The Algebra comprehensive exam covers four broad areas of algebra: (1) Groups; (2) Rings; (3) Modules; and (4) Linear Algebra. These topics are all covered in the first semester graduate
More informationz-classes in finite groups of conjugate type (n, 1)
Proc. Indian Acad. Sci. (Math. Sci.) (2018) 128:31 https://doi.org/10.1007/s12044-018-0412-5 z-classes in finite groups of conjugate type (n, 1) SHIVAM ARORA 1 and KRISHNENDU GONGOPADHYAY 2, 1 Department
More informationLECTURE NOTES AMRITANSHU PRASAD
LECTURE NOTES AMRITANSHU PRASAD Let K be a field. 1. Basic definitions Definition 1.1. A K-algebra is a K-vector space together with an associative product A A A which is K-linear, with respect to which
More informationADDITIVE GROUPS OF SELF-INJECTIVE RINGS
SOOCHOW JOURNAL OF MATHEMATICS Volume 33, No. 4, pp. 641-645, October 2007 ADDITIVE GROUPS OF SELF-INJECTIVE RINGS BY SHALOM FEIGELSTOCK Abstract. The additive groups of left self-injective rings, and
More informationk 2r n k n n k) k 2r+1 k 2r (1.1)
J. Number Theory 130(010, no. 1, 701 706. ON -ADIC ORDERS OF SOME BINOMIAL SUMS Hao Pan and Zhi-Wei Sun Abstract. We prove that for any nonnegative integers n and r the binomial sum ( n k r is divisible
More informationPolynomial Equation in Radicals
KYUNGPOOK Math. J. 48(2008), 545-551 Polynomial Equation in Radicals Muhammad Ali Khan Preparatory Year Mathematics Program, King Fahd University of Petroleum and Minerals, Dahran 31261, Saudi Arabia e-mail
More informationOF AZUMAYA ALGEBRAS OVER HENSEL PAIRS
SK 1 OF AZUMAYA ALGEBRAS OVER HENSEL PAIRS ROOZBEH HAZRAT Abstract. Let A be an Azumaya algebra of constant rank n over a Hensel pair (R, I) where R is a semilocal ring with n invertible in R. Then the
More informationSylow 2-Subgroups of Solvable Q-Groups
E extracta mathematicae Vol. 22, Núm. 1, 83 91 (2007) Sylow 2-Subgroups of Solvable Q-roups M.R. Darafsheh, H. Sharifi Department of Mathematics, Statistics and Computer Science, Faculty of Science University
More informationHOMOLOGICAL PROPERTIES OF MODULES OVER DING-CHEN RINGS
J. Korean Math. Soc. 49 (2012), No. 1, pp. 31 47 http://dx.doi.org/10.4134/jkms.2012.49.1.031 HOMOLOGICAL POPETIES OF MODULES OVE DING-CHEN INGS Gang Yang Abstract. The so-called Ding-Chen ring is an n-fc
More informationInternational Journal of Pure and Applied Mathematics Volume 13 No , M-GROUP AND SEMI-DIRECT PRODUCT
International Journal of Pure and Applied Mathematics Volume 13 No. 3 2004, 381-389 M-GROUP AND SEMI-DIRECT PRODUCT Liguo He Department of Mathematics Shenyang University of Technology Shenyang, 110023,
More informationIrreducible subgroups of algebraic groups
Irreducible subgroups of algebraic groups Martin W. Liebeck Department of Mathematics Imperial College London SW7 2BZ England Donna M. Testerman Department of Mathematics University of Lausanne Switzerland
More informationINVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 INVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II J. M.
More informationClassifying Camina groups: A theorem of Dark and Scoppola
Classifying Camina groups: A theorem of Dark and Scoppola arxiv:0807.0167v5 [math.gr] 28 Sep 2011 Mark L. Lewis Department of Mathematical Sciences, Kent State University Kent, Ohio 44242 E-mail: lewis@math.kent.edu
More information120A LECTURE OUTLINES
120A LECTURE OUTLINES RUI WANG CONTENTS 1. Lecture 1. Introduction 1 2 1.1. An algebraic object to study 2 1.2. Group 2 1.3. Isomorphic binary operations 2 2. Lecture 2. Introduction 2 3 2.1. The multiplication
More information10. Noether Normalization and Hilbert s Nullstellensatz
10. Noether Normalization and Hilbert s Nullstellensatz 91 10. Noether Normalization and Hilbert s Nullstellensatz In the last chapter we have gained much understanding for integral and finite ring extensions.
More informationIdeals of Endomorphism rings 15 discrete valuation ring exists. We address this problem in x3 and obtain Baer's Theorem for vector spaces as a corolla
1. Introduction DESCRIBING IDEALS OF ENDOMORPHISM RINGS Brendan Goldsmith and Simone Pabst It is well known that the ring of linear transformations of a nite dimensional vector space is simple, i.e. it
More informationABELIAN HOPF GALOIS STRUCTURES ON PRIME-POWER GALOIS FIELD EXTENSIONS
ABELIAN HOPF GALOIS STRUCTURES ON PRIME-POWER GALOIS FIELD EXTENSIONS S. C. FEATHERSTONHAUGH, A. CARANTI, AND L. N. CHILDS Abstract. The main theorem of this paper is that if (N, +) is a finite abelian
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationFLAT AND FP-INJEOTVITY
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 41, Number 2, December 1973 FLAT AND FP-INJEOTVITY SAROJ JAIN1 Abstract. One of the main results of this paper is the characterization of left FP-injective
More informationarxiv: v1 [math.ag] 2 Oct 2009
THE GENERALIZED BURNSIDE THEOREM IN NONCOMMUTATIVE DEFORMATION THEORY arxiv:09100340v1 [mathag] 2 Oct 2009 EIVIND ERIKSEN Abstract Let A be an associative algebra over a field k, and let M be a finite
More informationON VARIETIES IN WHICH SOLUBLE GROUPS ARE TORSION-BY-NILPOTENT
ON VARIETIES IN WHICH SOLUBLE GROUPS ARE TORSION-BY-NILPOTENT GÉRARD ENDIMIONI C.M.I., Université de Provence, UMR-CNRS 6632 39, rue F. Joliot-Curie, 13453 Marseille Cedex 13, France E-mail: endimion@gyptis.univ-mrs.fr
More informationA note on Samelson products in the exceptional Lie groups
A note on Samelson products in the exceptional Lie groups Hiroaki Hamanaka and Akira Kono October 23, 2008 1 Introduction Samelson products have been studied extensively for the classical groups ([5],
More informationSELF-EQUIVALENCES OF DIHEDRAL SPHERES
SELF-EQUIVALENCES OF DIHEDRAL SPHERES DAVIDE L. FERRARIO Abstract. Let G be a finite group. The group of homotopy self-equivalences E G (X) of an orthogonal G-sphere X is related to the Burnside ring A(G)
More informationRepresentations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III
Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Lie algebras. Let K be again an algebraically closed field. For the moment let G be an arbitrary algebraic group
More informationSome algebraic properties of. compact topological groups
Some algebraic properties of compact topological groups 1 Compact topological groups: examples connected: S 1, circle group. SO(3, R), rotation group not connected: Every finite group, with the discrete
More informationRIGHT SELF-INJECTIVE RINGS IN WHICH EVERY ELEMENT IS A SUM OF TWO UNITS
Journal of Algebra and Its Applications Vol. 6, No. 2 (2007) 281 286 c World Scientific Publishing Company RIGHT SELF-INJECTIVE RINGS IN WHICH EVERY ELEMENT IS A SUM OF TWO UNITS DINESH KHURANA and ASHISH
More informationRohit Garg Roll no Dr. Deepak Gumber
FINITE -GROUPS IN WHICH EACH CENTRAL AUTOMORPHISM FIXES THE CENTER ELEMENTWISE Thesis submitted in partial fulfillment of the requirement for the award of the degree of Masters of Science In Mathematics
More informationRESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES RIMS A Note on an Anabelian Open Basis for a Smooth Variety. Yuichiro HOSHI.
RIMS-1898 A Note on an Anabelian Open Basis for a Smooth Variety By Yuichiro HOSHI January 2019 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan A Note on an Anabelian Open Basis
More informationHomotopy and homology groups of the n-dimensional Hawaiian earring
F U N D A M E N T A MATHEMATICAE 165 (2000) Homotopy and homology groups of the n-dimensional Hawaiian earring by Katsuya E d a (Tokyo) and Kazuhiro K a w a m u r a (Tsukuba) Abstract. For the n-dimensional
More informationArtinian local cohomology modules
Artinian local cohomology modules Keivan Borna Lorestani, Parviz Sahandi and Siamak Yassemi Department of Mathematics, University of Tehran, Tehran, Iran Institute for Studies in Theoretical Physics and
More informationARITHMETIC OF CURVES OVER TWO DIMENSIONAL LOCAL FIELD
1 ARITHMETIC OF CURVES OVER TWO DIMENSIONAL LOCAL FIELD BELGACEM DRAOUIL Abstract. We study the class field theory of curve defined over two dimensional local field. The approch used here is a combination
More informationDedicated to Helmut Lenzing for his 60th birthday
C O L L O Q U I U M M A T H E M A T I C U M VOL. 8 999 NO. FULL EMBEDDINGS OF ALMOST SPLIT SEQUENCES OVER SPLIT-BY-NILPOTENT EXTENSIONS BY IBRAHIM A S S E M (SHERBROOKE, QUE.) AND DAN Z A C H A R I A (SYRACUSE,
More informationMath 210C. A non-closed commutator subgroup
Math 210C. A non-closed commutator subgroup 1. Introduction In Exercise 3(i) of HW7 we saw that every element of SU(2) is a commutator (i.e., has the form xyx 1 y 1 for x, y SU(2)), so the same holds for
More informationREPRESENTATIONS OF PARABOLIC AND BOREL SUBGROUPS
REPRESENTATIONS OF PARABOLIC AND BOREL SUBGROUPS SCOTT H MURRAY Abstract We demonstrate a relationships between the representation theory of Borel subgroups and parabolic subgroups of general linear groups
More informationTopology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved.
Topology Proceedings Web: http://topology.auburn.edu/tp/ Mail: Topology Proceedings Department of Mathematics & Statistics Auburn University, Alabama 36849, USA E-mail: topolog@auburn.edu ISSN: 0146-4124
More informationSolutions of exercise sheet 8
D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 8 1. In this exercise, we will give a characterization for solvable groups using commutator subgroups. See last semester s (Algebra
More informationTripotents: a class of strongly clean elements in rings
DOI: 0.2478/auom-208-0003 An. Şt. Univ. Ovidius Constanţa Vol. 26(),208, 69 80 Tripotents: a class of strongly clean elements in rings Grigore Călugăreanu Abstract Periodic elements in a ring generate
More informationThe Number of Homomorphic Images of an Abelian Group
International Journal of Algebra, Vol. 5, 2011, no. 3, 107-115 The Number of Homomorphic Images of an Abelian Group Greg Oman Ohio University, 321 Morton Hall Athens, OH 45701, USA ggoman@gmail.com Abstract.
More informationIf F is a divisor class on the blowing up X of P 2 at n 8 general points p 1,..., p n P 2,
Proc. Amer. Math. Soc. 124, 727--733 (1996) Rational Surfaces with K 2 > 0 Brian Harbourne Department of Mathematics and Statistics University of Nebraska-Lincoln Lincoln, NE 68588-0323 email: bharbourne@unl.edu
More informationDiscriminating groups and c-dimension
Discriminating groups and c-dimension Alexei Myasnikov Pavel Shumyatsky April 8, 2002 Abstract We prove that every linear discriminating (square-like) group is abelian and every finitely generated solvable
More informationON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction
ON GALOIS GROUPS OF ABELIAN ETENSIONS OVER MAIMAL CYCLOTOMIC FIELDS Mamoru Asada Introduction Let k 0 be a finite algebraic number field in a fixed algebraic closure Ω and ζ n denote a primitive n-th root
More informationSkew Polynomial Rings
Skew Polynomial Rings NIU November 14, 2018 Bibliography Beachy, Introductory Lectures on Rings and Modules, Cambridge Univ. Press, 1999 Goodearl and Warfield, An Introduction to Noncommutative Noetherian
More informationMath 547, Exam 1 Information.
Math 547, Exam 1 Information. 2/10/10, LC 303B, 10:10-11:00. Exam 1 will be based on: Sections 5.1, 5.2, 5.3, 9.1; The corresponding assigned homework problems (see http://www.math.sc.edu/ boylan/sccourses/547sp10/547.html)
More informationON THE SUBGROUPS OF TORSION-FREE GROUPS WHICH ARE SUBRINGS IN EVERY RING
italian journal of pure and applied mathematics n. 31 2013 (63 76) 63 ON THE SUBGROUPS OF TORSION-FREE GROUPS WHICH ARE SUBRINGS IN EVERY RING A.M. Aghdam Department Of Mathematics University of Tabriz
More informationON REGULARITY OF RINGS 1
ON REGULARITY OF RINGS 1 Jianlong Chen Department of Mathematics, Harbin Institute of Technology Harbin 150001, P. R. China and Department of Applied Mathematics, Southeast University Nanjing 210096, P.
More informationImplications of the index of a fixed point subgroup
Rend. Sem. Mat. Univ. Padova, DRAFT, 1 7 Implications of the index of a fixed point subgroup Erkan Murat Türkan ( ) Abstract Let G be a finite group and A Aut(G). The index G : C G (A) is called the index
More informationOn the Rothenberg Steenrod spectral sequence for the mod 3 cohomology of the classifying space of the exceptional Lie group E 8
213 226 213 arxiv version: fonts, pagination and layout may vary from GTM published version On the Rothenberg Steenrod spectral sequence for the mod 3 cohomology of the classifying space of the exceptional
More informationarxiv: v1 [math.ra] 21 Jul 2009
PRESENTATIONS OF MATRIX RINGS MARTIN KASSABOV arxiv:0907.3701v1 [math.ra] 21 Jul 2009 Recently, there has been a significant interest in the combinatorial properties the ring of n n matrices. The aim of
More informationRINGS ISOMORPHIC TO THEIR NONTRIVIAL SUBRINGS
RINGS ISOMORPHIC TO THEIR NONTRIVIAL SUBRINGS JACOB LOJEWSKI AND GREG OMAN Abstract. Let G be a nontrivial group, and assume that G = H for every nontrivial subgroup H of G. It is a simple matter to prove
More informationHomology lens spaces and Dehn surgery on homology spheres
F U N D A M E N T A MATHEMATICAE 144 (1994) Homology lens spaces and Dehn surgery on homology spheres by Craig R. G u i l b a u l t (Milwaukee, Wis.) Abstract. A homology lens space is a closed 3-manifold
More informationUnderstanding hard cases in the general class group algorithm
Understanding hard cases in the general class group algorithm Makoto Suwama Supervisor: Dr. Steve Donnelly The University of Sydney February 2014 1 Introduction This report has studied the general class
More informationExplicit K 2 of some finite group rings
Journal of Pure and Applied Algebra 209 (2007) 80 8 www.elsevier.com/locate/jpaa Explicit K 2 of some finite group rings Bruce A. Magurn Miami University, Department of Mathematics and Statistics, Oxford,
More information