DOCSLIB.ORG

Arxiv:2011.10843V1 [Math.RA]

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:2011.10843V1 [Math.RA] REVERSIBLE RING PROPERTY VIA IDEMPOTENT ELEMENTS HANDAN KOSE, BURCU UNGOR, AND ABDULLAH HARMANCI Abstract. Regarding the question of how idempotent elements affect re- versible property of rings, we study a version of reversibility depending on idempotents. In this perspective, we introduce right (resp., left) e-reversible rings. We show that this concept is not left-right symmetric. Basic proper- ties of right e-reversibility in a ring are provided. Among others it is proved that if R is a semiprime ring, then R is right e-reversible if and only if it is right e-reduced if and only if it is e-symmetric if and only if it is right e- semicommutative. Also, for a right e-reversible ring R, R is a prime ring if and only if it is a domain. It is shown that the class of right e-reversible rings is strictly between that of e-symmetric rings and right e-semicommutative rings. 2010 MSC: 16U80, 16D80, 16N60, 16S50 Keywords: Reversible ring, e-reduced ring, e-symmetric ring, e-semicommutative ring, idempotent element 1. Introduction Throughout this paper, all rings are associative with identity. For a ring R, let N(R), Id(R) and C(R) denote the set of all nilpotents, the set of all idempotents and the center of R, respectively. We denote the n × n full (resp., upper triangular) matrix ring over R by Mn(R) (resp., Un(R)), and Dn(R) stands for the subring of Un(R) having all diagonal entries are equal and Vn(R) = {(aij ) ∈ Dn(R) | aij = arXiv:2011.10843v1 [math.RA] 21 Nov 2020 a(i+1)(j+1) for i = 1,...,n − 2 and j = 2,...,n − 1} a subring of Dn(R) and Eij denote the matrix unit in Mn(R) whose (i, j)-th entry is 1 and the others are zero. The rings Z and Zn denote the ring of integers and the ring of integers modulo n where n is an integer with n ≥ 2. A ring is usually called reduced if it has no nonzero nilpotents. In [2], a ring R is called reversible if ab = 0 implies ba = 0 for a, b ∈ R. In [1] it is used the term ZC2 for the reversible property. Lambek in [12] calls a ring R symmetric if, for all a, b, c ∈ R, abc = 0 implies acb = 0. ZC3 is used for symmetricity for rings in [1]. Reduced rings are both reversible and symmetric in [13]. e-symmetric rings and right(left) e-reduced rings are introduced as a generalization of symmetric rings and 1 2 H.KOSE,B.UNGOR,ANDA.HARMANCI reduced rings respectively. Let R be a ring and e ∈ Id(R). The ring R is called e-symmetric if abc = 0 implies acbe = 0 for all a, b, c ∈ R, and also R is called right (resp., left) e-reduced if N(R)e = 0 (resp., eN(R) = 0). It is proved that right e-reduced rings are e-symmetric. An idempotent e of a ring R is called left (resp., right) semicentral if ae = eae (resp., ea = eae) for each a ∈ R. In [10], a ring R is called right (resp. left) e-semicommutative if for any a, b ∈ R, ab = 0 implies aRbe = 0 (resp. eaRb = 0), R is e-semicommutative in case R is both right and left e-semicommutative. Every commutative ring and every right e-reduced ring is a right e-semicommutative ring. 2. Right e-reversible rings In this section we deal with a generalization of an e-symmetric ring and that of a reduced ring, which shall be said to be e-reversible. e-reversible context also generalizes e-reduced concept in [13]. We show that reduced rings are e-reversible, and next that the class of e-reversible rings is quite large. For a ring R we investigate the idempotents of Dn(R) and some subrings of Mn(R) where n ≥ 2, and apply this to observe the relation between the e-reversibility of R and the E-reversible ring property of D3(R) and some subrings of Mn(R). Definition 2.1. Let R be a ring and e ∈ Id(R) with e 6= 0. Then R is called right e-reversible (resp., left e-reversible) if for any a, b ∈ R, ab = 0 implies bae = 0 (resp., eba = 0). The ring R is e-reversible if it is both left and right e-reversible. In the next result, we give a characterization of right e-reversibility in terms of subsets of rings and its proof is straightforward. Proposition 2.2. The following are equivalent for a ring R. (1) R is right e-reversible. (2) For any nonempty subsets A, B of R, being AB =0 implies BAe =0. Clearly, a ring R is reversible if and only if R is 1-reversible. The following example shows that e-reversibility is not left-right symmetric. Also, the reversibility of a ring with respect to an idempotent e depends on e. There are rings R and idempotents e1 and e2 such that R is right e1-reversible but not right e2-reversible as the following example shows. 1 1 0 0 Example 2.3. Consider the ring R = U2(Z) and E1 = , E2 = ∈ "0 0# "0 1# Id(R). Then the following hold. (1) R is not reversible. REVERSIBLE RING PROPERTY VIA IDEMPOTENT ELEMENTS 3 (2) R is right E1-reversible but not left E1-reversible. (3) R is left E2-reversible but not right E2-reversible. Proof. (1) R is not reversible, in fact, E2E1 = 0 but E1E2 6= 0. 0 x Let A, B ∈ R with AB = 0. Then BA is of the form where x ∈ Z. Assume "0 0# that x 6= 0. (2) On the one hand, BAE1 = 0. Hence R is right E1-reversible. On the other hand, E1BA 6= 0. Thus R is not left E1-reversible. (3) E2BA = 0 implies that R is left E2-reversible, and R is not right E2-reversible since BAE2 6= 0. For a reduced ring R, we now show that Mn(R) is neither right e-reversible nor left e-reversible for some e ∈ Id(Mn(R)). Example 2.4. Let R be a reduced ring and Eij denote the matrix unit in Mn(R) whose (i, j)-th entry is 1 and the others are zero. Consider A = E23, B = E12 and E = E11 + E33 ∈ Mn(R). Then AB = 0 and BA 6= 0. Also, BAE 6= 0. Hence Mn(R) is not right E-reversible. Similarly, EBA 6= 0. Thus Mn(R) is not left E-reversible. Therefore Mn(R) is neither right E-reversible nor left E-reversible. The following examples provide another sources of examples for right e-reversible rings. Examples 2.5. (1) Every reversible ring is e-reversible. (2) Every right e-reduced ring is right e-reversible. (3) Every e-symmetric ring is right e-reversible. Proof. (1) Let R be a reversible ring with e2 = e ∈ R. Assume that ab = 0. Then ba =0 and so bae = 0 and eba = 0. (2) Let R be a right e-reduced ring and a, b ∈ R with ab = 0. Then ba is nilpotent. Being R right e-reduced, bae = 0. (3) It is clear since the rings have identity. There are right e-reversible rings R for some e ∈ Id(R) but not reversible as shown below. This yields that the converse of Examples 2.5(1) need not be true in general. Example 2.6. For a reversible ring R, the ring U2(R) is right E-reversible for some E ∈ Id(U2(R)) but not reversible. 4 H.KOSE,B.UNGOR,ANDA.HARMANCI 0 1 1 0 Proof. Let A = , B = ∈ U2(R), we get AB = 0 but BA 6= 0, hence "0 1# "0 0# a b x y U2(R) is not reversible. Let A = ,B = ∈ U2(R) such that AB = 0. "0 c# "0 z# xa ∗ Then we have BA = . The reversibility of R yields xa = 0 and zc = 0. " 0 zc# 1 0 Let E = . We get BAE = 0. Thus R is right E-reversible. "0 0# Theorem 2.7. Let R be right e-reversible and right 1 − e-reversible ring. Then R is semiprime if and only if R is reduced if and only if R is reversible. Proof. ”Only if” part. Assume that R is semiprime right e-reversible and right 1 − e-reversible ring. Let an = 0 and b = an−1. Then b2 = 0. Right e-reversibility of R yields brbe = 0 for each r ∈ R. Since r is arbitrary in R, we may replace r by er to get berbe = 0 for each r ∈ R. Being R semiprime yields be = 0. Hence by induction ae = 0. By replacing e by 1 − e in this proof we may have that a(1 − e) = 0. Hence a = 0. Thus R is reduced. Let R be a ring with a ring homomorphism σ. Consider the ring U2(R)σ consist- ing of all elements of U2(R) with usual matrix addition in U2(R) and multiplication defined by a b x y ax ay + bσ(z) a b x y = where , ∈ U2(R)σ. "0 c# "0 z# " 0 cz # "0 c# "0 z# Example 2.8. Let R be a ring, σ a ring homomorphism of R and e ∈ Id(R). If U2(R)σ is right eI2-reversible, then R is right e-reversible. The converse holds if e ∈ Kerσ. It is well known that every reversible ring is abelian, but this is not the case for right e-reversibility, Example 2.3 illustrates this claim.
Load more

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]
  • Rings Whose Quasi-Injective Modules Are Injecttve K
    proceedings of the american mathematical society Volume 33, Number 2, June 1972 RINGS WHOSE QUASI-INJECTIVE MODULES ARE INJECTTVE K. A. BYRD Abstract. A ring R is called a V-ring, respectively SSI-ring, respectively QH-ring if simple, respectively semisimple, respectively quasi-injective, right Ä-modules are injective. We show that R is SSI if and only if R is a right noetherian V-ring and that any SSI-ring is a finite ring direct sum of simple SSI-rings. We show that if R is left noetherian and SSI then R is QII provided R is hereditary and that in order for R to be hereditary it suffices that maximal right ideals of R be reflexive. An example of Cozzens is cited to show these rings need not be artinian. The rings R which have the property that quasi-injective right R- modules are injective (herein called QII-rings) have been little mentioned in the literature though related classes of rings have been extensively examined. Consider the classes of R-modules consisting of (1) all R- modules, (2) injective R-modules, (3) projective R-modules, (4) quasi- injective R-modules, and (5) quasi-projective R-modules. Of all the nontrivial inclusions one can assume between two of these classes, all but one has been shown to characterize the ring R as either semisimple artinian, quasi-Frobenius, or uniserial. That one excepted is the class of QII-rings whose internal structure, it seems, has not been completely determined. This paper does not attempt a general structure theorem but investi- gates the connection between QII-rings and rings whose semisimple right modules are injective (SSI-rings).
    [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]
  • On Subdirect Product of Prime Modules
    Commun. Korean Math. Soc. 32 (2017), No. 2, pp. 277–285 https://doi.org/10.4134/CKMS.c160103 pISSN: 1225-1763 / eISSN: 2234-3024 ON SUBDIRECT PRODUCT OF PRIME MODULES Najmeh Dehghani and Mohammad Reza Vedadi Abstract. In the various module generalizations of the concepts of prime (semiprime) for a ring, the question “when are semiprime modules sub- direct product of primes?” is a serious question in this context and it is considered by earlier authors in the literature. We continue study on the above question by showing that: If R is Morita equivalent to a right pre-duo ring (e.g., if R is commutative) then weakly compressible R-modules are precisely subdirect products of prime R-modules if and only if dim(R) = 0 and R/N(R) is a semi-Artinian ring if and only if every classical semiprime module is semiprime. In this case, the class of weakly compressible R-modules is an enveloping for Mod-R. Some related conditions are also investigated. 1. Introduction Throughout this paper rings will have a nonzero identity, modules will be right and unitary. In the literature, there are several module generalizations of a semiprime (prime) ring, see [15, Sections 13 and 14] for an excellent reference on the subject. These generalizations introduce various concepts of semiprime (prime) modules and many important theories on semiprime (prime) rings are generalized to modules by them, see; [3], [7], [8], [10] and [17]. The natural question “when are semiprime modules subdirect product of primes?” is then appeared related to these generalizations. In the following, we first recall some definitions of the literature and explain some where the above question was studied.
    [Show full text]
  • Annihilators in Semiprime Right Goldie Rings
    Proceedings of the Edinburgh Mathematical Society (1992) 35, 133-137 © ANNIHILATORS IN SEMIPRIME RIGHT GOLDIE RINGS by C. R. HAJARNAVIS (Received 20th March 1990) (i) Let R be a semiprime right Goldie ring with dim R = n. Then a maximal chain of right annihilators in R has exactly n terms, (ii) A semiprime locally right Goldie ring with ACC and DCC on right annihilators is a right Goldie ring. 1980 Mathematics subject classification (1985 Revision): 16A34. 1. Introduction The aim of this note is to answer two questions raised by Brown and Wehrfritz in [1]. Let R be a semiprime right Goldie ring of uniform dimension n. Since the right singular ideal of R is zero, the right annihilators are complements and so any ascending (or descending) chain of right annihilators in R has at most n terms. While studying certain crossed products, Brown and Wehrfritz have wondered if a maximal such chain necessarily has n terms. This is easy to see if the Goldie chain conditions are assumed to be two-sided. In this case R has a two-sided quotient ring Q of dimension n. The extension of a chain of right annihilators in R can be refined to a chain of length n of right ideals in Q. Intersecting back to R we get a chain of length n in which every term is a right annihilator of a single element of R; this last property following from the fact that elements of Q are expressible as left fractions. We demonstrate here that although the above strategy fails under one-sided assumptions, further analysis of right complements in R shows the required result to be true (Theorem 3.4).
    [Show full text]
  • ∗-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).
    [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]