Semiprime rings with bounded indices of nilpotent elements

This paper deals with the structure of semiprime rings for which the indices of the nilpotent elements are bounded. It is shown that the complete right ring of quotients of such a ring is a regular, right self-injective ring in which each finitely generated ideal is generated by a central idempotent. The indices of the nilpotent elements of the factor ring of such a ring with respect to a minimal prime ideal do not exceed the upper bound of the indices of the nilpotent elements of the original ring. A criterion for the regularity (in the sense of von Neumann) of such rings is obtained. Also investigated are right completely idempotent rings with bounded indices of nilpotent elements (it is shown, in particular, that each nonzero ideal of such a ring contains a nonzero central idempotent).Translated from Trudy Seminara imeni I. G. Petrovskogo, No. 13, pp. 237–249, 1988.     

Ideal-Symmetric and Semiprime Rings

Lambek extended the usual commutative ideal theory to ideals in noncommutative rings, calling an ideal A of a ring R symmetric if rst ∈ A implies rts ∈ A for r, s, t ∈ R. R is usually called symmetric if 0 is a symmetric ideal. This naturally gives rise to extending the study of symmetric ring property to the lattice of ideals. In the process, we introduce the concept of an ideal-symmetric ring. We first characterize the class of ideal-symmetric rings and show that this ideal-symmetric property is Morita invariant. We provide a method of constructing an ideal-symmetric ring (but not semiprime) from any given semiprime ring, noting that semiprime rings are ideal-symmetric. We investigate the structure of minimal ideal-symmetric rings completely, finding two kinds of basic forms of finite ideal-symmetric rings. It is also shown that the ideal-symmetric property can go up to right quotient rings in relation with regular elements. The polynomial ring R[x] over an ideal-symmetric ring R need not be ideal-symmetric, but it is shown that the factor ring R[x]/xⁿR[x] is ideal-symmetric over a semiprime ring R.     

Baer rings satisfying J2 = J For all ideals

A ring satisfies J² = J for all ideals J if and only if all of its homomorphic images are semiprime; we call such rings ‘fully semiprime’. D. Castella's theory of compressibility of regular Baer rings is extended to fully semiprime Baer rings and Baer ?—rings. Sample application: If a fully semiprime Baer ring is a matrix ring, then its center is self-injective     

Semiperfect Prüfer rings and FPF rings

The Asano-Michler theorem states that a 2-sided order R in a simple Artinian ringO is hereditary provided thatR satisfies the three requirements: (AM1) Noetherian; (AM2) nonzero ideals are invertible; (AM3) bounded. We generalize this in one direction by specializing to a semiperfect bounded orderR, and prove thatR is semihereditary assuming only that finitely generated nonzero ideals are invertible (=R is Prüfer). In this case,R ≈ a fulln ×n matrix ringD _n over a valuation domainD. More generally, we study a ringR, called right FPF, over which finitely generated faithful right modules generate the category mod-R of all rightR-modules. We completely determine all semiperfect Noetherian FPF rings: they are finite products of semiperfect Dedekind prime rings and Quasi-Frobenius rings. (For semiprime right FPF rings, we do not require the Noetherian or semiperfect hypothesis in order to obtain a decom-position into prime rings: the acc on direct summands suffices. The “theorem” with “semiperfect” delected is an open problem.     

Irreducibility in the Total Ring of Quotients

Let R be a ring whose total ring of quotients Q is von Neumann regular. We investigate the structure of R when it admits an ideal that is irreducible as a submodule of the total ring of quotients. We characterize those rings which contain a maximal ideal that is irreducible in its total ring of quotients Q. An integral domain has a Q-irreducible ideal which is a maximal ideal if and only if R is a valuation domain. We show that when the total ring of quotients of R is von Neumann regular, then having a maximal ideal that is Q-irreducible is equivalently to certain valuation like properties, including the property that the regular ideals are linearly ordered.     

On Triangulating Dimension of Rings

For any right essential overring T of a right FI-extending ring R, it is shown that 𝒯 dim(T) ≤ 𝒯dim(R), where 𝒯dim(?) is triangulating dimension of a ring. As a consequence, we show that for a ring R the maximal right ring of quotients, Q(R), is a direct product of finitely many prime rings if and only if Q(R) is semiprime and 𝒯dim(Q(R)) is finite. Some examples which illustrate and delimit the result are provided.     

CLASSICAL QUOTIENT RINGS OF GROUP RINGS

Abstract

Throughout G will denote a free Abelian group and Z(R) the right singular ideal of a ring R. A ring R is a Cl-ring if R is (Goldie) right finite dimensional, R/Z(R) is semiprime, Z(R) is rationally closed, and Z(R) contains no closed uniform right ideals. We prove that R is a Cl-ring if and only if the group ring RG is a C1-ring. If RG has the additional property that bRG is dense whenever b is a right nonzero-divisor, then the complete ring of quotients of RG is a classical ring of quotients.     

Topological Rings of Quotients and Rings Without Open Left Ideals

Simple locally compact rings without open left ideals were considered in [13] and general locally compact rings without open left ideals were studied extensively in [5] and [6]. We remove the hypothesis of local compactness and consider topological rings A without open left ideals but containing an open subring R. In section 4 we show that under these conditions A is completely determined by R. More precisely A can be identified with the topological ring of quotients C(R) introduced in [8]. As an R-module _RA is topologically isomorphic to I_*(_RR), the topological injective hull of _RR. The last statement was proved in [6] for A locally compact and R compact. Section 5 gives a characterization of those linearly topologized rings R that can be openly embedded into a ring A without open left ideals. In particular we shall show that the open left ideals form an idempotent ideal filter with quotient ring A. In section 6 we consider the class ? of all topological rings that can be openly embedded into a topological ring without open left ideals. If we restrict our attention to linearly topologized rings, then ? is Morita-invariant. In section 2 we construct a topological ring of quotients Q_*(R) and prove that it coincides with the ring C(R) of [8].     

自内射环的余Hopf性

本文证明了自内射环R是余Hopf的当且仅当R满足stablerangeone.于是得到了Varadarajan在[9]中的公开总是对于自内射环是成立的,即M_n(R)是余Hopf的当且仅当R是余Hopf的.作为应用证明了Goodeal的一个公开问题对于自内射正则环有肯定的回答.     

PI-rings and semiprime rings having faithful modules with krull dimension

It is proved that if a PI-ring R has a faithful left R-module M with Krull dimension, then its prime radical rad(R) is nilpotent. If, moreover, the R-module M and the left ideal_R(rad(R)) are finitely generated, then R has a left Krull dimension equal to the Krull dimension of M. It turns out that a semiprime ring, which has a faithful (left or right) module with Krull dimension, is a finite subdirect product of prime rings. Moreover, first, a right Artinian ring R such that rad(R)²=0 has a faithful Artinian cyclic left module, and second, a finitely generated semiprime PI-algebra over a field has a faithful Artinian module. We give examples showing that the restrictions imposed are essential, as well as an example of a finitely generated prime PI-algebra over a field, which is not Noetherian and has a Krull dimension. Supported by RFFR grant No. 26-93-011-1544. Translated fromAlgebra i Logika, Vol. 36, No. 5, pp. 562–572, September–October, 1997.     

ON SOME PROPERTIES OF IF RINGS

Abstract

We show that left IF rings (rings such that every injective left module is flat) have certain regular-like properties. For instance, we prove that every left IF reduced ring is strongly regular. We also give characterizations of (left and right) IF rings. In particular, we show that a ring R is IF if and only if every finitely generated left (and right) ideal is the annihilator of a finite subset of R.     

Local Rings of Rings of Quotients

The aim of this paper is to characterize those elements in a semiprime ring R for which taking local rings at elements and rings of quotients are commuting operations. If Q denotes the maximal ring of left quotients of R, then this happens precisely for those elements if R which are von Neumann regular in Q. An intrinsic characterization of such elements is given. We derive as a consequence that the maximal left quotient ring of a prime ring with a nonzero PI-element is primitive and has nonzero socle. If we change Q to the Martindale symmetric ring of quotients, or to the maximal symmetric ring of quotients of R, we obtain similar results: an element a in R is von Neumann regular if and only if the ring of quotients of the local ring of R at a is isomorphic to the local ring of Q at a. Partially supported by the Ministerio de Educación y Ciencia and Fondos Feder, jointly, trough projects MTM2004-03845, MTM2007-61978 and MTM2004-06580-C02-02, MTM2007-60333, by the Junta de Andalucía, FQM-264, FQM336 and FQM02467 and by the Plan de Investigación del Principado de Asturias FICYT-IB05-017.     

Some examples in PI ring theory

Several examples are constructed, including a finite ring which cannot be embedded in matrices over any commutative ring, a semiprime PI ring with no classical ring of quotients, an example showing that the property of having all regular elements invertible is not inherited by matrix ringsM _n(R), and a prime PI ringR with an idempotente such thatR/ReR has finitely generated projective modules not induced by any finitely-generated projective R-module. Most of this work was done while the author was a guest of the University of Leeds’ Ring Theory Year (1972–1973), with the support of an Alfred P. Sloan Fellowship, and under the stimulating influence of Lance W. Small.     

Semiperfect Modules with Respect to a Preradical

In an earlier paper [8] the authors introduced strongly and properly semiprime modules. Here properly semiprime modules M are investigated under the condition that every cyclic submodule is M-projective (self-pp-modules). We study the idempotent closure of M using the techniques of Pierce stalks related to the central idempotents of the self-injective hull of M. As an application of our theory we obtain several results on (not necessarily associative) biregular, properly semiprime, reduced and Firings. An example is given of an associative semiprime PSP ring with polynomial identity which coincides with its central closure and is not biregular (see 3.6). Another example shows that a semiprime left and right FP-injective Pl-ring need not be regular (see 4.8). Some of the results were already announced in [7].     

关于AP-内射环的一个注记

本文的主要目的是讨论AP-内射环中的两个问题:(1)环R是正则的当且仅当R是左AP-内射的左PP-环;(2)如果R是左AP-内射环,那么R是内射环当且仅当R是弱内射环.因此我们推广了内射环的一些结果,与此同时我们还取得了一些新的结果.     

On Decompositions of Quasi-Regular Rings

ＯｎＤｅｃｏｍｐｏｓｉｔｉｏｎｓｏｆＱｕａｓｉ－ＲｅｇｕｌａｒＲｉｎｇｓ￥ＨｕＸｉａｎｈｕｉ（胡先惠）（ＤｅｐａｒｔｍｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ｔｈｅＣｅｎｔｒａｌＩｎｓｔｉｔｕｔｅｏｆＮａｔｉｏｎａｌｉｔｉｅｓ，Ｂｅｉｊｉｎｇ，１０００８１）...     

Strongly compressible modules and semiprime right goldie rings

A module M _R is defined to be strongly compressible (or SC for short) if for every essential submodule N of M, there exists X ? E(M) such that M ? X ? N. We show that a ring R is semiprime right Goldie iff R _Ris SC module iff every right ideal of R is SC module iff every submodule of each progenerator of Mod-R is SC module. As corollaries of this result, we obtain some new module-theoretic characterizations of semiprime Goldie rings, prime (right) Goldie rings and Prüfer rings, etc., etc.,respectively. And the characterization theorem of semiprime Goldie rings of López-Permouth, Rizvi and Yousif by using weakly-injective modules can be regarded as a corollary of our results.     

F q [M 2], F q [GL 2], and F q [SL 2] as Quantized Hyperalgebras

A ring R is called right Johns if R is right noetherian and every right ideal of R is a right annihilator. R is called strongly right Johns if the matrix ring M _n (R) is right Johns for each integer n ≥ 1. The Faith–Menal conjecture is an open conjecture on QF rings. It says that every strongly right Johns ring is QF. It is proved that the conjecture is true if every closed left ideal of the ring R is finitely generated. This result improves the known result that the conjecture is true if R is a left CS ring.     

On finitely embedded rings

A result of Ginn and Moss asserts that a left and right noetherian ring with essential right socle is left and right artinian. There are examples of right finitely embedded rings with ACC on left and right annihilators which are not artinian. Motivated by this, it was shown by Faith that a commutative, finitely embedded ring with ACC on annihilators (and square-free socle) is artinian (quasi-Frobenius). A ring R is called right minsymmetric if, whenever k R is a simple right ideal of R, then R k is also simple. In this paper we show that a right noetherian right minsymmetric ring with essential right socle is right artinian. As a consequence we show that a ring is quasi-Frobenius if and only if it is a right and left mininjective, right finitely embedded ring with ACC on right annihilators. This extends the known work in the artinian case, and also extends Faith's result to the non-commutative case.     

Characterizations of Strongly Regular Rings

ＣｈａｒａｃｔｅｒｉｚａｔｉｏｎｓｏｆＳｔｒｏｎｇｌｙＲｅｇｕｌａｒＲｉｎｇｓＺｈａｎｇＪｕｌｅ（章聚乐）（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＡｎｈｕｉＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ，Ｗｕｈｕ２４１０００）Ａｂｓｔｒａｃｔ：Ｉｎｔｈｉ...