DOCSLIB.ORG

Primitive Ideals in Crossed Products and Rings with Finite Group Actions

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Primitive Ideals in Crossed Products and Rings with Finite Group Actions Math. Z. 158, 285-294 (1978) Nlathematisehe Zeitschrift by Springer-Verlag 1978 Primitive Ideals in Crossed Products and Rings with Finite Group Actions Martin Lorenz Fachbereich Mathematik der Universit~t Essen, Universit~itsstr.3, D-4300 Essen, Federal Republic of Germany Introduction The set Priv(R) of all primitive ideals of the ring R(~I) can be topologized by declaring the subsets of the form {Pc Priv(R)l P = I}, I an ideal of R, to be closed ([9], Chap. 9). The topological space Priv(R) is a T:space iff all primitive ideals of R are maximal. This holds trivially in the case of commutative rings. It is also true (but not trivial) if R is a group algebra of a finitely generated nilpotent group or an enveloping algebra of a finite dimensional nilpotent Lie algebra (Zalesskij [14], Dixmier [61). For the moment, let ~ denote the class of rings whose primitive ideals are maximal. ~ is obviously stable under homomorphisms and is stable under Morita equivalence (cf. f.i. [11, p. 258/259). In general the property ~ is not inherited by subrings and overrings as easy examples show. In Section 1 of this note we consider the situation R cR~ [G], where R~ [G] denotes a crossed product of the finite group G over the ring R (1.1). Crossed products can be considered as a generalization of group rings. They are a useful tool for the description of certain factors of group algebras (cf. f.i. [14]) and have been studied in a number of papers, notably by Bovdi (f.i. [51). In Theorem (1.7) we prove that the property ~11 is inherited from R~ [G] to R and that the converse is true if [GI-I~R or ifG is finite solvable. As a by-product of the proof we obtain some results on the primitivity of R and R~ [G1. Section 2 deals with the following situation: R is a ring (associative with 1), G a finite group of automorphisms of R, and R e the fixed subring of R. We always assume that [G I- 1e R. Examining the behaviour of R-modules under restriction to R e we obtain the analogue of (1.7): Reg-~l if and only if R~Yaa (Theorem 2.7). A similar result for prime ideals has been shown by Fisher and Osterburg ([81, Theorems 4.2 and 4.5). The techniques developed to prove Theorem (2.7) can be used to deduce results on the primitivity of R and R e (2.8). In addition, they easily 0025-5874/78/0158/0285/$02.00 286 M. Lorenz yield Montgomery's theorem [-10] on the Jacobson radical of the fixed ring: J(R~)=J(R) ~ R G (2.5). The corresponding result also holds for the socle of R G if R is semiprime: soc (R ~) = soc (R) c~ R a (2.6). Finally, we show that R is a Jacobson ring (this means each prime ideal is an intersection of primitives), if R Gis a Jacobson ring. This result has also been announced by Armendariz [2]. All rings considered in this note contain a unit element. The unspecified word "module" means "unitary right module" and "ideal" stands for "two-sided ideal". Mod-R denotes the category of right R-modules. U(R) is the group of invertible elements of R, and Int (R) the group of all inner automorphisms of R. 1. Crossed Products (1.1) For the reader's convenience and in order to fix our notations, we recall the definition of a crossed product of a group G over a ring R: Given maps c~: G ~ Aut(R) and 7: Gx G-+ U(R) such that (i) ~(x, y) ~(x y, z)= ~(y, z)~-1 ~(x, y z) and (ii) 7(x, y) r~(XY)-~=r~(Y)-i~(x)-~ o/(x, y). for all x,y, z~G, r6R, we define the crossed product R~ [G] to be the set of all formal sums of the form ~ rx2 with r~R, and t~=0 for almost all x~G. The x~G addition in R~ [G] is defined componentwise and the multiplication is given by the rule (rx ~)(r, y)=r~ r; (~-~ 7(x, y) ~yy. This makes R~EGj an associative ring with unit element ?(1, 1) -~ 1. (1.2) For later reference we gather some simple properties of the crossed product R~ [G], which follow easily from the definitions. (a) The map r~-*rT(1, 1)-11 is a ring monomorphism of R into R~ [G]. We therefore consider R as a subring of R~ [G]. (b) It follows from (ii) that the composite map G ~ Aut(R) -*Aut(R)/Int(R) is a homomorphism. Hence the set {x~G[ a(x) Mnt(R)} is a normal subgroup of G. (c) If N is a subgroup of G, then the restrictions ,' und ~2' of, and 7 to N (resp. N x N) define a crossed product R~; [N]. R~', IN] is a subring of R~ [G] in a canonical way. Furthermore R~ [G] is free as a left R~', [N]-module: a basis is given by {YiliEl} where {y~[ieI} is a full set of coset representatives for N in G. If N is normal in G, then R~ I-G] carries the structure of a crossed product of GIN over R~: IN]. (d) Let I be an ideal of R such that I ~(~ = I for all x E G and let/~: -- R/I. Then and 7 give rise to maps ~: G-~ Aut(/~)_ and y: G x G--+ U(/~) which obviously satisfy (i) and (ii). The crossed product R~ [-G] is isomorphic to R~ [G]/IR~ [G]. Crossed Products and Rings with Finite Group Actions 287 (1.3) The following lemma is an appropriate version of Clifford's classical restriction theorem. The usual proof (see f.i. [11], 7.2.16) works with the obvious notational changes. Lemma. Let G be a finite group, R a ring and U:=R~[G] a crossed product. If Vs Mod- U is irreducible, then the restricted module VR contains an irreducible submodule W and we have VR= ~ Wff. x~G Let T:= {x~GI W,Y~ W} and let V1 be the sum of all submodules X of VR such that X ~ W. Then T is a subgroup of G and V1 is an irreducible U'-module (U':=R~I[T], (1.2) (c)) such that V~VI@U. U' (1.4) A ring S is called projective relative to the subring R (or R-projective) if the following holds: Each exact sequence O-->A-+B-*C~O of S-modules which splits when considered as a sequence in Mod- R splits in Mod-S.- The following lemma is based on the well-known Maschke averaging process. Lemma. Let G be a finite group, R a ring such that IGl-~R and U:=R~[G] a crossed product. Then U is R-projective. Proof. Let A be a submodule of BeMod-U such that A R is a direct summand of B R. This means there is an R-homomorphism h':B-~A such that h'(a)=a for all a~A. Let h(b)=lG1-1 ~ h'(bX-1)N. x~G Then h is a U-homomorphism from B to A such that h(a)=a for all a~A. (1.5) Lemlna. Let R be a ring, G a finite group and T a subgroup of G such that [T[-I~R. Let U:=R~ [G] be a crossed product and U'.'=R~; [T], where ~' and 7' denote the restrictions of c~ and 7 (1.2)(c). If V is an irreducible U-module, then the restricted module Vv, is completely reducible of finite length. Pro@ (1) If X~Mod-R is irreducible, then X@ U' is completely reducible of R finite length: Let (,) O~A--+X@U'-*B-*O be exact in Mod-U'. The R sequence (,) splits as an R-sequence since X@ U'I~ is a finite direct sum of con- R jugates of X and hence completely reducible. Therefore, by Lemma (1.4), the sequence (,) splits in Mod - U'. X @ U' is clearly of finite length. R (2) VR @ U' is completely reducible of finite length: By (1.3), VR is completely R reducible of finite length. Therefore, by step (1), VR @ U' is completely reducible of finite length. R 288 M. Lorenz (3) The assertion of the lemma now follows from the fact that Vv, is a homo- morphic image of VR @ U'. R (1.6) The next lemma is well-known (see [-3]). Lemma. Let R be a simple ring, G a finite group and let U: = R~ [G] be a crossed product such that the automorphisms e(x), 1 ~:x6G, are outer. Then U is simple. (1.7) Theorem. Let R be a ring, G a finite group and U: = R~ [-G] a crossed product. If all primitive ideals of U are maximal, then the primitive ideals of R are maximal. If IGI-I~R or G is finite solvable, then the converse holds. Proof. The proof of the first assertion is analogous to that of Snider [-13], Lemma 2: Suppose we are given ideals P, M of R such that P~M and P is primitive. Then since G is finite, we have P.'= ~ P~(X)~M:= 0 M~(X). xEG xaG Fix V~Mod-R irreducible such that P=annn(V ) and let W.'= V@ U. The R module W is obviously of finite length and hence we may fix a finite composition series W= Wo~ WI ~..
Load more

Recommended publications
  • The Algebraic Method in Representation Theory
    THE ALGEBRAIC METHOD IN REPRESENTATION THEORY (ENVELOPING ALGEBRAS) Anthony JOSEPH ~) Institut des Hautes Etudes Scientifiques 91440 - BURES-sur-YVETTE (France) ~) Permanent address : Department of Physics and Astronomy, Tel-Aviv University, Ramit Avic, Israel 98 THE ALGEBRAIC METHOD IN REPRESENTATION THEORY ( ENVELOPING ALGEBRAS) I Introduction In Lie algebra theory a basic open problem is to classify all irreducible representations (up to equivalence). For the category of finite dimensional representations the answer is known and is classical. By contrast a full classification for infinite dimensional representations appears to be impossible. For example, this is evidenced by the work of Arnal and Pinczon [2] on s~(2) and by the work of MeConnell and Robson [34] on A 1 which can be used to show [5] that the Heisenberg Lie algebra [18], 4.6.1, admits infinitely many inequivalent irreducible representations all very different from the standard one. One way out of this difficulty is to consider only representations which integrate to unitary (or just bounded) representations of the corresponding Lie group(s). This has physical justification through Wigner's theorem. We call it the analytic approach. In it the Lie algebra plays only a subservient role. About ten years ago, Di~nier proposed a purely algebraic way out which has since then generated a new area of mathematics called enveloping algebras. The philosophy is to find a less refined classification than equivalence classes rather than to exclude representations. We call it the algebraic approach. Except for finite dimensional representations, or for nilpotent Lie algebras, the exact relationship between these two approaches is not yet known, though one can find many analogies.
    [Show full text]
  • The Pseudo-Radical of a Commutative Ring
    Pacific Journal of Mathematics THE PSEUDO-RADICAL OF A COMMUTATIVE RING ROBERT WILLIAM GILMER,JR. Vol. 19, No. 2 June 1966 PACIFIC JOURNAL OF MATHEMATICS Vol. 19, No. 2, 1966 THE PSEUDO-RADICAL OF A COMMUTATIVE RING ROBERT W. GILMER, JR. If D is an integral domain with identity having quotient field K, the pseudo-radical of D is defined to be the inter- section of all nonzero prime ideals of D. Consideration of the pseudo-radical arises naturally in examining the relation between the statements "D has Jacobson radical zero" and "D[u] has Jacobson radical zero, where ueK". Theorem 4 proves that the first statement implies the second. As a corollary it follows that if M is a prime ideal of the polynomial ring R[X] over a commutative ring R and if P=MnR, then M is an intersection of maximal ideals of R[X] if P is an intersection of maximal ideals of R. Consequently, if R is a Hubert ring, R[X] is also a Hubert ring. The remainder of the paper is devoted to a study of domains having nonzero pseudo-radical. Goldman has defined in [6] the concept of a Hubert ring: the commutative ring R with identity is a Hubert ring if each proper prime ideal of R is an intersection of maximal ideals; here proper means an ideal different from R. The terminology is motivated by the observation that Hubert's Nullstellensatz may be interpreted as asserting that each proper prime ideal of the polynomial domain K[Xlf - —, Xn] for K a field, is an intersection of maximal ideals.
    [Show full text]
  • Over Noncommutative Noetherian Rings
    transactions of the american mathematical society Volume 323, Number 2, February 1991 GENERATING MODULES EFFICIENTLY OVER NONCOMMUTATIVE NOETHERIAN RINGS S. C. COUTINHO Abstract. The Forster-Swan Theorem gives an upper bound on the number of generators of a module over a commutative ring in terms of local data. Stafford showed that this theorem could be generalized to arbitrary right and left noethe- rian rings. In this paper a similar result is proved for right noetherian rings with finite Krull dimension. A new dimension function—the basic dimension—is the main tool used in the proof of this result. Introduction The proof of many interesting results in commutative algebra and algebraic 7C-theory are applications of local-global principles. These are results of the following type: if a property is true for all the localisations of an 7?-module M at each prime ideal of 7?, then it is true for M itself. For example, a principle of this kind lies at the heart of Quillen's solution of Serre's conjecture [8]. A further example of a local-global principle is the Forster-Swan Theorem. Suppose that M is a finitely generated right module over a right noetherian ring R. Let us denote the minimal number of generators of M by gR(M). For a commutative ring R, the Forster-Swan Theorem gives an upper bound for gR(M) in terms of local data; more precisely gR(M) < sup{gR (Mp) + Kdim(7?/P) : P a J -prime ideal of 7? } . For a proof of this theorem and some of its applications to commutative algebra and algebraic geometry, see [8].
    [Show full text]
  • Lectures on Non-Commutative Rings
    Lectures on Non-Commutative Rings by Frank W. Anderson Mathematics 681 University of Oregon Fall, 2002 This material is free. However, we retain the copyright. You may not charge to redistribute this material, in whole or part, without written permission from the author. Preface. This document is a somewhat extended record of the material covered in the Fall 2002 seminar Math 681 on non-commutative ring theory. This does not include material from the informal discussion of the representation theory of algebras that we had during the last couple of lectures. On the other hand this does include expanded versions of some items that were not covered explicitly in the lectures. The latter mostly deals with material that is prerequisite for the later topics and may very well have been covered in earlier courses. For the most part this is simply a cleaned up version of the notes that were prepared for the class during the term. In this we have attempted to correct all of the many mathematical errors, typos, and sloppy writing that we could nd or that have been pointed out to us. Experience has convinced us, though, that we have almost certainly not come close to catching all of the goofs. So we welcome any feedback from the readers on how this can be cleaned up even more. One aspect of these notes that you should understand is that a lot of the substantive material, particularly some of the technical stu, will be presented as exercises. Thus, to get the most from this you should probably read the statements of the exercises and at least think through what they are trying to address.
    [Show full text]
  • Notes on Commutative Algebra
    Notes on Commutative Algebra Dan Segal February 2015 1 Preliminary definitions etc. Rings: commutative, with identity, usually written 1 or 1R. Ring homomor- phisms are assumed to map 1 to 1. A subring is assumed to have the same identity element. Usually R will denote an arbitrary ring (in this sense). Polynomial rings I will always use t, t1,...,tn to denote independent indeterminates. Thus R[t] is the ring of polynomials in one variable over R, R[t1,...,tn] is the ring of polynomials in n variables over R, etc. The most important property of these rings is the ‘universal property’, which will frequently be used without special explanation: • Given any ring homomorphism f : R → S and elements s1,...,sn ∈ S, ∗ there exists a unique ring homomorphism f : R[t1,...,tn] → S such that ∗ ∗ f (r)= f(r) ∀r ∈ R and f (ti)= si for i = 1,...,n. Modules An R-module is an abelian group M together with an action of R on M. This means: for each r ∈ R, a −→ ar (a ∈ M) is an endomorphism of the abelian group M (i.e. a homomorphism from M to itself), and moreover this assignment gives a ring homomorphism from R into EndZ(M), the ring of all additive endomorphisms of M. In practical terms this means: for all a, b ∈ M and all r, s ∈ R we have (a + b)r = ar + br a1= a a(r + s)= ar + as a(rs)=(ar)s. 1 (Here M is a right R-module; similarly one has left R-modules, but over a commutative ring these are really the same thing.) A submodule of M is an additive subgroup N such that a ∈ N, r ∈ R =⇒ ar ∈ N.
    [Show full text]
  • Nil and Jacobson Radicals in Semigroup Graded Rings
    Faculty of Science Departement of Mathematics Nil and Jacobson radicals in semigroup graded rings Master thesis submitted in partial fulfillment of the requirements for the degree of Master in Mathematics Carmen Mazijn Promotor: Prof. Dr. E. Jespers AUGUST 2015 Acknowledgements When we started our last year of the Master in Mathematics at VUB, none of us knew how many hours we would spend on the reading, understanding and writing of our thesis. This final product as conclusion of the master was at that point only an idea. The subject was chosen, the first papers were read and the first words were written down. And more words were written, more books were consulted, more questions were asked to our promoters. Writing a Master thesis is a journey. Even though next week everyone will have handed in there thesis, we don’t yet understand clearly where this journey took us, for the future is unknown. First of all I would like to thank professor Eric Jespers, for giving me the chance to grow as mathematician in the past years. With every semester the interest in Algebra and accuracy as mathematician grew. Thank you for the guidance through all the books and papers to make this a consistent dissertation. Secondly I would like to thank all my classmates and compa˜nerosde clase. For frowned faces when we didn’t get something in class, the laughter when we realized it was a ctually quite trivial or sometimes not even at all. For the late night calls and the interesting discussions. It was a pleasure.
    [Show full text]
  • Ideals in Topological Rings
    IDEALS IN TOPOLOGICAL RINGS BERTRAM YOOD 1. Introduction. We present here an investigation of the theory of one-sided ideals in a topological ring R. One of our aims is to discuss the question of "left" properties versus "right" properties. A problem of this sort is to decide if (a) all the modular maximal right ideals of R are closed if and only if all the modular maximal left ideals of R are closed. It is shown that this is the case if R is a quasi-Q-ring, that is, if R is bicontinuously iso­ morphic to a dense subring of a Q-r'mg (for the notion of a Q-rmg see (6) or §2). All normed algebras are quasi-Q-rings. Also (a) holds if R is a semi- simple ring with dense socle. Another such problem is a problem of Kaplansky (6) to determine if R is a Qr-r'mg if and only if R is a Qrrmg. This is true for all quasi-Q-rings. These facts suggest the desirability of a systematic investigation of quasi-Q-rings. These rings have some interesting properties not shared by all topological rings. These involve the notion of a maximal-closed modular right (left) ideal (i.e. maximal in the set of all closed modular right (left) ideals). Examples show that this notion differs from that of a closed modular maximal right (left) ideal. If R is a quasi-Q-ring, then every modular right (left) ideal which is not dense is contained in a maximal-closed modular right (left) ideal (but not necessarily in a closed maximal right (left) ideal.
    [Show full text]
  • Arxiv:Math/0202079V4
    ON PRIMITIVE IDEALS VICTOR GINZBURG ABSTRACT. We extendtwo well-known resultson primitive idealsin enveloping algebras of semisim- ple Lie algebras, the Irreducibility theorem for associated varieties and Duflo theorem on primitive ideals, to much wider classes of algebras. Our general version of the Irreducibility Theorem says that if A is a positively filtered associative algebra such that gr A is a commutative Poisson algebra with finitely many symplectic leaves, then the associated variety of any primitive ideal in A is the closure of a single connected symplectic leaf. Our general version of the Duflo theorem says that if A is an algebra with a ”triangular structure”, then any primitive ideal in A is the annihilator of a simple highest weight module. Applications to symplectic reflection algebras and Cherednik algebras are discussed. CONTENTS 1. Introduction 1 2. Main results 3 3. Proof of Theorem 2.1.1 5 4. Category ↑O 8 5. Jacquet functor and Proof of Theorem 2.3.1 13 6. Applications to symplectic reflection algebras 18 References 21 1. INTRODUCTION 1.1. Let A be an associative, not necessarily commutative, algebra. Recall that a two-sided ideal I ( A is called primitive if it is the annihilator of a simple left A-module. Primitive ideals often play a role similar to the one played by maximal ideals in the case of commutative algebras. The set of all primitive ideals in A, equipped with Jacobson topology, is called the primitive spectrum of A. It is a fundamental invariant of A analogous to the affine scheme Spec A in the commutative case.
    [Show full text]
  • Advanced Modern Algebra Third Edition, Part 2
    GRADUATE STUDIES IN MATHEMATICS 180 Advanced Modern Algebra Third Edition, Part 2 Joseph J. Rotman American Mathematical Society 10.1090/gsm/180 GRADUATE STUDIES IN MATHEMATICS 180 Advanced Modern Algebra Third Edition, Part 2 Joseph J. Rotman American Mathematical Society Providence, Rhode Island EDITORIAL COMMITTEE Dan Abramovich Daniel S. Freed (Chair) Gigliola Staffilani Jeff A. Viaclovsky The 2002 edition of this book was previously published by Pearson Education, Inc. 2010 Mathematics Subject Classification. Primary 12-01, 13-01, 14-01, 15-01, 16-01, 18-01, 20-01. For additional information and updates on this book, visit www.ams.org/bookpages/gsm-180 Library of Congress Cataloging-in-Publication Data Rotman, Joseph J., 1934– Advanced modern algebra / Joseph J. Rotman. – Third edition. volumes cm. – (Graduate studies in mathematics ; volume 165) Includes bibliographical references and index. ISBN 978-1-4704-1554-9 (alk. paper : pt. 1) ISBN 978-1-4704-2311-7 (alk. paper : pt. 2) 1. Algebra. I. Title. QA154.3.R68 2015 512–dc23 2015019659 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy select pages for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Permissions to reuse portions of AMS publication content are handled by Copyright Clearance Center’s RightsLink service.
    [Show full text]
  • FINITE EXTENSIONS of RINGS R0 GJ(S)
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 103, Number 4, August 1988 FINITE EXTENSIONS OF RINGS BARBARA CORTZEN AND LANCE W. SMALL (Communicated by Donald S. Passman) ABSTRACT. The paper concerns some cases of ring extensions R C S, where S is finitely generated as a right i?-module and R is right Noetherian. In §1 it is shown that if R is a Jacobson ring, then so is S, with the converse true in the PI case. In §2 we show that if S is semiprime PI, R must also be left (as well as right) Noetherian and S is finitely generated as a left ñ-module. §3 contains a result on ¿J-rings. In this paper we collect some results concerning the relationship between rings R C S, where S is finitely generated as a right .R-module. For the special cases in which the finite extension 5 of R is normalizing or centralizing, many theorems have been proved. In this paper we obtain some results of a more general nature. 1. Jacobson property. We call a ring R a Jacobson ring if every prime ideal of R is an intersection of primitive ideals. Let J(R) denote the Jacobson radical of R and N(R) the lower nilradical, that is, the intersection of all the prime ideals of R. With this notation, the alternative formulations of the Jacobson property are: J(R/P) = 0 for all prime ideals P of R. J(R) = N(R) for every homomorphic image R of R. If R is PI or right Noetherian, then every nil ideal is contained in N(R), and the last condition is equivalent to: J(R) is nil for every homomorphic image R of R.
    [Show full text]
  • Tight Closure in Equal Characteristic Zero
    TIGHT CLOSURE IN EQUAL CHARACTERISTIC ZERO by Melvin Hochster and Craig Huneke Contents PREFACE CHAPTER 1. PRELIMINARIES (1.1) Introduction (1.2) Conventions of terminology and notation; alphabetical index of terms and notations (1.3) The main results (1.4) Tight closure theory and test elements in positive characteristic (1.5) Some new results on test elements (1.6) F -regularity in positive characteristic (1.7) Further tight closure theory in positive characteristic CHAPTER 2. AFFINE ALGEBRAS (2.1) Descent data and descent (2.2) Tight closure for affine algebras over fields of characteristic zero (2.3) Comparison of fibers (2.4) Universal test elements (2.5) Basic properties of tight closure over affine algebras Version of October 8, 2020. Both authors were supported in part by grants from the National Science Foundation. We wish to express our appreciation to Florian Enescu for his corrections to an earlier version of this manuscript. There has been a change of numbering from versions of this manuscript dated prior to August 20, 1997. Section (1.5) has been added, and some of the material previously in Section (2.4) is now in Section (1.5). The previous (1.5) and (1.6) have become (1.6) and (1.7), respectively. Sections (3.6) and (3.7) of early versions have become Sections (4.1) and (4.2), respectively. 1 2 MELVIN HOCHSTER AND CRAIG HUNEKE CHAPTER 3. ARBITRARY NOETHERIAN ALGEBRAS OVER A FIELD (3.1) More about descent: affine progenitors (3.2) Definition and basic properties of direct and formal K-tight closure (3.3) Artin approximation and the structure of formal power series rings (3.4) The locally excellent case (3.5) Height-preserving descent from complete local rings over K to affine K-algebras CHAPTER 4.
    [Show full text]
  • Ideal Lattices and the Structure of Rings(J)
    IDEAL LATTICES AND THE STRUCTURE OF RINGS(J) BY ROBERT L. BLAIR It is well known that the set of all ideals(2) of a ring forms a complete modular lattice with respect to set inclusion. The same is true of the set of all right ideals. Our purpose in this paper is to consider the consequences of imposing certain additional restrictions on these ideal lattices. In particular, we discuss the case in which one or both of these lattices is complemented, and the case in which one or both is distributive. In §1 two strictly lattice- theoretic results are noted for the sake of their application to the comple- mented case. In §2 rings which have a complemented ideal lattice are con- sidered. Such rings are characterized as discrete direct sums of simple rings. The structure space of primitive ideals of such rings is also discussed. In §3 corresponding results are obtained for rings whose lattice of right ideals is complemented. In particular, it is shown that a ring has a complemented right ideal lattice if and only if it is isomorphic with a discrete direct sum of quasi-simple rings. The socle [7](3) and the maximal regular ideal [5] are discussed in connection with such rings. The effect of an identity element is considered in §4. In §5 rings with distributive ideal lattices are considered and still another variant of regularity [20] is introduced. It is shown that a semi-simple ring with a distributive right ideal lattice is isomorphic with a subdirect sum of division rings.
    [Show full text]