∗-PRIME GROUP RINGS 1. Introduction Let R Be an Associative

Total Page:16

File Type:pdf, Size:1020Kb

∗-PRIME GROUP RINGS 1. Introduction Let R Be an Associative December 15, 2009 14:39 WSPC/171-JAA 00364 Journal of Algebra and Its Applications Vol. 8, No. 6 (2009) 797–803 c World Scientific Publishing Company ∗-PRIME GROUP RINGS KANCHAN JOSHI∗,R.K.SHARMA† and J. B. SRIVASTAVA ‡ Department of Mathematics Indian Institute of Technology Delhi New Delhi, India ∗[email protected][email protected][email protected] Received 20 January 2009 Accepted 17 March 2009 Communicated by M. Ferrero In this paper we characterize ∗-prime group rings. We prove that the group ring RG of the group G over the ring R is ∗-prime if and only if R is ∗-prime and Λ+(G) = (1). In the process we obtain more examples of group rings which are ∗-prime but not strongly prime. Keywords: Strongly prime; ∗-prime; prime; group rings. Mathematics Subject Classification 2000: 16S34, 16N60, 20C07 1. Introduction Let R be an associative ring with identity 1 =0and G be a group. It is well known [1] that the group ring RG of the group G over the ring R is prime if and only if R is prime and the FC subgroup ∆(G) is torsion free abelian or equivalently its torsion subgroup ∆+(G) = (1). AringR is said to be (right) strongly prime if for every 0 = r ∈ R,there exists a finite subset X of R such that rXt =0,t∈ R ⇒ t = 0. Left strongly prime rings are defined analogously. These were first studied by Handelman and Lawrence [2]. Clearly, strongly prime rings are prime. For group rings they proved that if RG is strongly prime then R is strongly prime and G has no non-trivial locally finite normal subgroup, that is, the locally finite radical L(G) = (1). Also, they conjectured that if R is strongly prime and G is a group such that L(G) = (1), then RG is strongly prime. Sharma and Srivastava [5] have settled the conjecture ∗The author acknowledges the financial support of the Council of Scientific and Industrial Research (India). 797 December 15, 2009 14:39 WSPC/171-JAA 00364 798 K. Joshi, R. K. Sharma & J. B. Srivastava in affirmative for various classes of groups which include one relator groups and FC-solvable groups. For a group G,Λ+(G) denotes the torsion subgroup of the locally FC subgroup Λ(G)ofG. In view of the containment ∆+(G) ⊆ Λ+(G) ⊆ L(G), a detailed study was carried out in our work [3] about the algebraic structure of group algebras over fields for groups G with Λ+(G) = (1). In the process, we introduced ∗-prime algebras. An algebra A is called (right) ∗-prime if for every 0 = a ∈ A,thereexists a finitely generated subalgebra B of A such that aBt =0,t ∈ A, implies t =0.We proved that the group algebra KG of the group G over the field K is ∗-prime if and only if Λ+(G) = (1). We study here ∗-prime group rings over arbitrary rings. AringR is said to be (right) ∗-prime if for every 0 = r ∈ R, there exists a finitely generated subring S of R such that rSt =0,t∈ R, implies t =0. Left ∗-prime rings are defined analogously. It is not difficult to see that an algebra is ∗-prime as an algebra if and only if it is ∗-prime as a ring. Hence the two definitions are compatible. Clearly, ∗-prime rings are prime and strongly prime rings are ∗-prime. In our work [3], we have given a large number of examples to show that the concept of ∗-prime lies strictly between that of prime and strongly prime. For group algebras we have observed that left and right ∗-prime notions coincide. However, this is not the case with group rings over arbitrary rings. In this paper we give the characterization of ∗-prime group rings. We show that the group ring RG is (right) ∗-prime if and only if R is (right) ∗-prime and Λ+(G)=(1). As a consequence, we get a large number of examples of group rings which are ∗-prime but not strongly prime. 2. Lemmas In this section, we give two lemmas required for proving our main result in the next section. The first lemma deals with group rings of unique product groups. AgroupG is said to be a unique product group if given any two non-empty subsets A and B of G, there exists at least one element x ∈ G that has a unique representation of the form x = ab,witha ∈ A and b ∈ B. Unique product groups are always torsion-free. Ordered groups are unique product groups. It is known that torsion-free abelian groups are ordered and hence unique product groups. For further details see [4, Chapter 13]. Lemma 2.1. Let H be a normal subgroup of a group G such that G/H is a unique product group and let R be a ring. Then RH is ∗-prime implies RG is ∗-prime. In particular, if R is a ∗-prime ring and G is a unique product group, then the group ring RG is ∗-prime. Proof. ∈ n ∈ ∈ Let 0 = α RG.Thenα = i=1 αigi,where0= αi RH, gi T , where T denotes a transversal of H in G.AsRH is ∗-prime, for each αi there exists a finitely generated subring Si of RH such that αiSiβ =0,β ∈ RH ⇒ β =0, December 15, 2009 14:39 WSPC/171-JAA 00364 ∗-Prime Group Rings 799 { n n gj } i =1, 2,...,n.LetS be the subring of RG generated by i=1 j=1 Si ,where gj −1 −1 Si = gj Sigj.ThenS is a finitely generated subring of RG as each gj Sigj is finitely generated. In fact, normality of H implies that S is a finitely generated subring of RH. ∈ m Now let if possible αSβ =0,forsome0= β RG.Thenβ = i=1 βixi, for some 0 = βi ∈ RH, xi ∈ T .LetA = {Hg1,Hg2,...,Hgn} and B = {Hx1,Hx2,...,Hxm}.ThenasG/H is a unique product group, there exists 1 ≤ l ≤ n,1≤ t ≤ m such that Hgl.Hxt = Hglxt is uniquely represented. Now n m n m −1 −1 g ⇒ ⇒ gi i αSβ =0 αigi S βjxj =0 (αiS βj gixj)=0 i=1 j=1 i=1 j=1 −1 −1 −1 g −1 g gi i ⊆ gi i ∈ ≤ ≤ ≤ Also Supp(αiS βj gixj) Hgixj since αiS βj RH,for1 i n,1 −1 −1 g ≤ gl l j m.AsHglxt is uniquely represented, we obtain αlS βt = 0. This implies −1 −1 −1 gl g gl g gl l ⊆ l αl(Sl ) βt =0sinceSl S. As a consequence, αlSlβt = 0 which implies −1 g l ∈ ⇒ βt = 0. This is a contradiction because βt = 0. Hence αSβ =0,β RG β =0. Thus RG is ∗-prime. The particular case follows by taking H =(1). Let G be an arbitrary group. Then its FC subgroup is defined as ∆(G)={x ∈ + G ||G : CG(x)| < ∞} and its torsion subgroup ∆ (G)={x ∈ ∆(G) | o(x) < ∞}. It is well known that ∆(G)and∆+(G) are characteristic subgroups of G and ∆(G)/∆+(G) is torsion-free abelian. We also need the following lemma for group rings over arbitrary rings. For group algebras over fields this is a particular case of [4, Lemma 4.2.4]. Lemma 2.2. Let R be a ring and G be a group. Suppose αgβ =0∀ g ∈ G and for some α, β ∈ RG.Thenπ∆(G)(α)β =0. Proof. ∈ Suppose π∆(G)(α)β =0.Letg Supp(π∆(G)(α)β) and let Supp(π∆(G)(α)) = { } n | | ∞ ∈ x1,x2,...,xn . Define H = i=1 CG(xi). Then G : H < as each xi ∆(G). Let α = π∆(G)(α)+α0, where Supp(α0)={y1,y2,...,yt}⊆G\∆(G). Let { } −1 Supp (β)= z1,z2,...,zm .Ifyi is conjugate to gzj for some j, then there exists ∈ −1 −1 ∈ uij G such that uij yiuij = gzj . Suppose h H.Then 0=h−1αhβ −1 −1 = h π∆(G)(α)hβ + h α0hβ −1 = π∆(G)(α)β + h α0hβ. −1 −1 Now as g ∈ Supp(π∆(G)(α)β), g ∈ Supp(h α0hβ). Thus g = h yihzj for some ≤ ≤ ≤ ≤ −1 −1 −1 ⇒ −1 ∈ ⇒ 1 i t and 1 j m.Then h yih = gzj = uij yiuij huij CG(yi) ∈ ⊆ | | ∞ h CG(yi)uij .ThusH i,j CG(yi)uij .As G : H < , G = i,j,k CG(yi)uij tk, December 15, 2009 14:39 WSPC/171-JAA 00364 800 K. Joshi, R. K. Sharma & J. B. Srivastava where tk belong to the transversal for H in G. By [4, Lemma 4.2.1], |G : CG(yi)| < ∞ for some i, which is a contradiction as yi ∈ ∆(G). Hence π∆(G)(α)β =0. 3. Main Result In this section, we give the main result of this paper. In order to prove this theorem we need the following details about the locally FC subgroup Λ(G)ofG. Let H be a subgroup of G.Then|G : H| = l.f.,wherel.f. stands for locally finite, if for every finitely generated subgroup L of G, |L : L ∩ H| < ∞. Define + Λ(G)={x ∈ G ||G : CG(x)| = l.f} and Λ (G)={x ∈ Λ(G) | o(x) < ∞} = {x ∈ G | x has finitely many conjugates under every finitely generated subgroup of G and o(x) < ∞}.Λ(G)andΛ+(G) are characteristic subgroups of G.Furthermore, Λ+(G) is locally finite and Λ(G)/Λ+(G) is torsion-free abelian. For a normal sub- group H of G,Λ(G)H/H ⊆ Λ(G/H)andΛ+(G)H/H ⊆ Λ+(G/H).
Recommended publications
  • On Prime Ideals, the Prime Radical and M-Systems Prabhjot Kaur Asst
    Volume-9 • Number-1 Jan -June 2017 pp. 9-13 available online at www.csjournalss.com A UGC Recommended Journal http://ugc.ac.in/journallist vide letter Dated: 28/03/2017 On Prime Ideals, the Prime Radical and M-Systems Prabhjot Kaur Asst. Prof. D.A.V. College (Lahore), Ambala City Abstract: A group is an algebraic structure consisting of a set of elements equipped with an operation that combines any two elements to form a third element and satisfy certain axioms while a ring is an algebraic structure with two binary operations namely addition and multiplication. I have tried to discuss prime ideals, prime radical and m- system in this paper. Keywords: Prime ideals, semi-prime ideals, m-system, n-system. 1. INTRODUCTION In this paper, I have tried to explain the concept of prime ideals in an arbitrary ring, Radical of a ring and few properties of m-system. Besides these some theorems and lemma have been raised such as “If A is an ideal in ring R then B(A) coincide with intersection of all prime ideals in R which contain A”. Also some theorems and lemmas based on m-system and n-system have been established. 1.1 Prime Integer: An integer p is said to be prime integer if it has following property that if a and b are integers such that ab is divisible by p then a is divisible by p or b is divisible by p. 1.2 Prime Ideal [1]: An ideal P in ring R is said to be a prime ideal if and only if it has the following property: If A and B are ideals in R such that AB P, then A P or B P 1.3 m-system: A set M of elements of a ring R is said to be an m-system if and only if it has following property: If a, b M, these exists x R such that axb M 1.4 Theorem: If P is an ideal in ring R, then following conditions are equivalent: (i) P is a prime ideal (ii) If a, b R such that aRb P then a P or b P (iii) If (a) and (b) are principal ideals in R such that (a) (b) P then a P or b P.
    [Show full text]
  • On Prime Rings with Ascending Chain Condition on Annihilator Right Ideals and Nonzero Infective Right Ideals
    Canad. Math. Bull. Vol. 14 (3), 1971 ON PRIME RINGS WITH ASCENDING CHAIN CONDITION ON ANNIHILATOR RIGHT IDEALS AND NONZERO INFECTIVE RIGHT IDEALS BY KWANGIL KOH AND A. C. MEWBORN If / is a right ideal of a ring R91 is said to be an annihilator right ideal provided that there is a subset S in R such that I={reR\sr = 0, VseS}. lis said to be injective if it is injective as a submodule of the right regular i£-module RR. The purpose of this note is to prove that a prime ring R (not necessarily with 1) which satisfies the ascending chain condition on annihilator right ideals is a simple ring with descending chain condition on one sided ideals if R contains a nonzero right ideal which is injective. LEMMA 1. Let M and T be right R-modules such that M is injective and T has zero singular submodule [4] and no nonzero injective submodule. Then Hom# (M, T)={0}. Proof. Suppose fe Hom^ (M, T) such that /=£ o. Let Kbe the kernel off. Then K is a proper submodule of M and there exists me M such that f(m)^0. Let (K:m)={reR\mreK}. Since the singular submodule of T is zero and f(m)(K:m)={0} the right ideal (K:m) has zero intersection with some nonzero right ideal / in R. Then ra/#{0} and K n mJ={0}. Let mJ be the injective hull of m J. Since M is injective, mJ is a submodule of M. mJC\ K={0} since m J has nonzero intersection with each submodule which has nonzero intersection with mJ (See [4, p.
    [Show full text]
  • Semi-Prime Rings
    SEMI-PRIME RINGS BY R. E. JOHNSON Following Nagata [2], we call an ideal of a ring semi-prime if and only if it is an intersection of prime ideals of the ring. A semi-prime ring is one in which the zero ideal is semi-prime. In view of the definition of the prime radical of a ring given by McCoy [l, p. 829], we have that a ring is semi- prime if and only if it has a zero prime radical. The semi-simple rings of Jacobson [6] are also semi-prime. In the first section of this paper, general properties of a semi-prime ring R are developed. The discussion centers around the concept of the component Ie of a right ideal / of R. The component Ie of / is just the left annihilator of the right annihilator of I. The second section is devoted to a study of the prime right ideals of a semi-prime ring R. Prime right ideals are defined in R much as they are in a prime ring [7]. Associated with each right ideal / of R is a least prime right ideal pil) containing I. Some generalizations of results of [7] are obtained. Thus if I and E are any right ideals of R and if a is any element of R, it is proved that piliM') =pil)r\pil') and that pül:a)) = ipil):a). In the third section, the structure of a semi-prime ring R is introduced along the lines of the structure of a prime ring given in [7] and [8].
    [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]
  • Hereditary Rings Integral Over Their Centers
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOURNAL OF ALGEBRA 102, 119-128 (1986) Hereditary Rings Integral over Their Centers ELLEN KIRKMAN AND JAMES KUZMANOVICH Department of Mathematics and Computer Science, Wake Forest University, Box 7311, Reynolda Station, Winston-Salem, North Carolina 27109 Communicated by P. M. Cohn Received October 1, 1984 Bergman [2] has completely characterized the center of a right hereditary ring; the center of a right hereditary ring is a Krull p. p. ring, and any Krull p. p. ring is the center of a right hereditary. While the center of a hereditary ring thus need not be hereditary, there are conditions which imply that the center is hereditary. Robson and Small [13] have shown that the center of a prime PI right hereditary ring is a Dedekind domain, and the center of a PI hereditary Noetherian ring is a finite direct sum of Dedekind domains. The center of a right hereditary PI ring need not be hereditary; Small and Wadsworth [16] have given an example of a PI right hereditary, right Noetherian ring whose center is not Noetherian or semihereditary. Jondrup [ 111 showed that a right hereditary ring which is module-finite over its center has a hereditary center. Chatters and Jondrup [S] showed that a PI right hereditary ring which is ring-finite over its cen- ter has a hereditary center. We shall prove that any right hereditary ring integral over its center has a hereditary center. Chatters and Jondrup [5] ask if a right and left hereditary PI ring has always has a hereditary center; we will produce an example to show it does not.
    [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]
  • Do Simple Rings Have Unity Elements?
    JOURNAL OF ALGEBRA 7, 140-143 (1967) Do Simple Rings Have Unity Elements? J. C. ROBSON Department of Mathematics, The University, Leeds, England Communicated by A. W. Goldie Received October 20, 1966 1. It is well known that a simple artinian ring has a unity element, and that a commutative simple ring, being a field, has a unity element. However, it can easily be seenthat not every simple ring hasa unity element, this being shown in the first proposition of this note. Nevertheless, it could be asked whether a simple right noetherian ring necessarilyhas a unity element and the answer (which comprisesthe main result of this note) is a qualified “yes”. 2. There are simple integral domains which are not division rings-see, for example, [2]. Thus the following result demonstrates that there exist simple integral domains without unity elements. PROPOSITION. Let R be a simple integral domain which is not a division ring and let I be a proper nonzero right ideal of R. Then IR is a simpleintegral domain without a unity element. Proof. Let T be a nonzero ideal of IR. Then IR = I(RTIR) = (IR) T(IR) C T, and so T = IR and IR is a simple integral domain. Say IR has a unity element e. Then e is an idempotent. Thus ear = er for all r E R, and hence er = r since R is an integral domain. Therefore R=eRCIR*R=IRCI, which contradicts the assumptionthat I was a proper right ideal of R. So IR does not have a unity element. 3.
    [Show full text]
  • AJMS-J.Ajmsc.2019.12.004 Proof 233..243
    The current issue and full text archive of this journal is available on Emerald Insight at: https://www.emerald.com/insight/1319-5166.htm Primeness of On the primeness of near-rings near-rings Khalid H. Al-Shaalan Department of Mathematics, College of Science, King Saud University, Riyadh, Saudi Arabia 233 Abstract In this paper, we study the different kinds of the primeness on the class of near-rings and we give new characterizations for them. For that purpose, we introduce new concepts called set-divisors, ideal-divisors, etc. Received 11 October 2019 Revised 16 December 2019 and we give equivalent statements for 3-primeness which make 3-primeness looks like the forms of the other Accepted 16 December 2019 kinds of primeness. Also, we introduce a new different kind of primeness in near-rings called K-primeness which lies between 3-primeness and e-primeness. After that, we study different kinds of prime ideals in near- rings and find a connection between them and new concepts called set-attractors, ideal-attractors, etc. to make new characterizations for them. Also, we introduce a new different kind of prime ideals in near-rings called K-prime ideals. Keywords Near-rings, Rings, Primeness, Prime ideals Paper type Original Article 1. Introduction We say that R is a right (left) near-ring if ðR; þÞ is a group, ðR; $Þ is a semigroup and R satisfies the right (left) distributive law. Throughout this paper, R will be a left near-ring. We say that R is an abelian near-ring if x þ y ¼ y þ x for all x; y ∈ R and we say that R is a commutative near-ring if xy ¼ yx for all x; y ∈ R.
    [Show full text]
  • On Rings Whose Prime Ideals Are Completely Prime
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Journal of Pure and Applied Algebra 170 (2002) 255–265 www.elsevier.com/locate/jpaa On rings whose prime ideals are completely prime Nam Kyun Kima;∗, Yang Leeb aDepartment of Mathematics, Yonsei University, Seoul 120-749, South Korea bDepartment of Mathematics, Pusan National University, Pusan 609-735, South Korea Received 10 October 2000 Communicated by G.M. Kelly Abstract We investigate in this paper rings whose proper ideals are 2-primal. We concentrate on the connections between this condition and related concepts to this condition, and several kinds of -regularities of rings which satisfy this condition. Moreover, we add counterexamples to the situations that occur naturally in the process of this note. c 2001 Elsevier Science B.V. All rights reserved. MSC: Primary: 16D25; 16N40; secondary: 16N60 1. Introduction Throughout this paper all rings are associative with identity. For a ring R the prime radical and the set of all nilpotent elements are denoted by P(R) and N(R), respectively. Due to Birkenmeier–Heatherly–Lee [1], a ring R is called 2-primal if P(R)=N(R). The study of 2-primal rings was initiated by Shin [9], and he proved that a ring R is 2-primal if and only if every minimal prime ideal of R is completely prime in [9, Proposition 1:11]. Observing the 2-primal condition was continued by Birkenmeier– Heatherly–Lee [1], Hirano [6] and Sun [10], etc. Actually, Hirano [6] proved that if R is a 2-primal ring, then R is -regular if and only if every prime ideal of R is a maximal one-sided ideal; and Birkenmeier–Kim–Park [2] showed that if R is a 2-primal ring, then R=P(R) is right weakly -regular if and only if every prime ideal of R is maximal.
    [Show full text]
  • The Radical-Annihilator Monoid of a Ring,” 2016
    The radical-annihilator monoid of a ring Ryan C. Schwiebert 360fly 1000 Town Center Way Ste. 200 Pittsburgh, PA 15317 Center of Ring Theory and its Applications 321 Morton Hall Ohio University Athens, OH 45701 Abstract Kuratowski’s closure-complement problem gives rise to a monoid generated by the closure and complement operations. Consideration of this monoid yielded an interesting classification of topological spaces, and subsequent decades saw further exploration using other set operations. This article is an exploration of a natural analogue in ring theory: a monoid produced by “radical” and “annihila- tor” maps on the set of ideals of a ring. We succeed in characterizing semiprime rings and commutative dual rings by their radical-annihilator monoids, and we determine the monoids for commutative local zero-dimensional (in the sense of Krull dimension) rings. Keywords: annihilators, radicals, Kuratowski closure-complement problem, semiprime rings, dual rings, ordered monoids 2000 MSC: 16D99, 16N60, 06F05 1. Introduction Kuratowski famously showed in [1] that given a subset of a topological space, it is possible to make at most 14 distinct sets from this subset by using the closure and complement operations. This led to the consideration of the “Kura- arXiv:1803.00516v1 [math.RA] 1 Mar 2018 towski monoid” of a space, where the two operations are looked upon as genera- tors for a monoid of functions on the powerset of the space. The monoid formed this way can only be one of six particular types depending on the topology. There are actually two problems concealed here. One is “how many elements does the monoid have for a given space?” and the other is “what is the maximum number of distinct sets one can make with a given subset?” In general, the monoid for a space may be strictly larger than the number of different sets producible from a single input.
    [Show full text]
  • Prime Rings Satisfying a Polynomial Identity
    PRIME RINGS SATISFYING A POLYNOMIAL IDENTITY EDWARD C. POSNER Theorem. R is a prime ring satisfying a polynomial identity if and only if R is a subring of the ring of all rXr matrices, for some r, over a division ring D finite dimensional over its center, and R has a two-sided ring of quotients which is all of the matrix ring. (For this result when R has no zero divisors, see [l]). Proof. Sufficiency is easy and omitted. We recall that B is a two- sided quotient ring of its subring A if every element of B can be written ab~l, a, bÇzA, and also c~xd, c,d(E.A, and if every element of B not a left (right) zero divisor has a right (left) inverse in B. B is unique given A if it exists. To prove necessity we invoke Goldie's Theorem (2) : Let R be a prime ring satisfying (1/), (Ir), (21), (2r). Then R has an mXm matrix ring over a division ring as its full ring of quotients. Here (1/) is: every direct sum of nonzero left ideals of R has a finite number of terms. (2/) is: the ascending chain condition holds for the anni- hilator left ideals of R. (Ir) and (2r) are analogous. We will prove that if R is a prime ring satisfying a polynomial identity, then R satisfies (11) and (21). The conditions for right ideals will follow similarly. Let 2^a"x'0) ' ' ' xT(„)=0, a»-G G the centroid of R, ir a permutation of 1, 2, • • • , «, be a homogeneous multilinear identity for R.
    [Show full text]