On von Neumann regular rings,III

This note is a natural sequel to [8] and [9]. Further characteristic properties of arbitrary von Neumann regular rings and strongly regular rings are given in terms of annihilators and simple modules. A prime ring with certain annihilator conditions is shown to be primitive (this is related to the following problem ofKaplansky: Are prime regular rings primitive?). Necessary and sufficient conditions for leftq-rings to be regular are also considered: For example, a leftq-ring is regular iff every simple rightA-module is flat. A sufficient condition is given for a leftqc-ring to be a uniserial, strongly left and strongly rightqc, left and rightq-ring. One of the main results ofJain, Mohamed andSingh onq-rings [5, Theorem 2.13] is generalised. Finally, it is shown that a prime left continuous ring either has zero socle or is primitive, left self-injective regular.     

On polynomial rings over a ring with a selfduality

We prove that a ringR has a self duality induced by a leftR-moduleM if and only if its polynomial ringR[x] has a graded self duality induced by a graded leftR[x]-moduleM[x ⁻¹]. Supported by the Natural Science Foundation of Fujian Province (1994–1997)     

On regular rings and V-rings

In this note, certain generalisations of strongly regular rings are considered in connection with regular rings andV-rings. The result that strongly regular rings are left (and right)V-rings [11] is extended. A condition for prime leftV-rings to be primitive with non-zero socle is given (this is related to a question ofFisher [7, Problem 3]. IfA is an ALD (almost left duo) ring, then (1) a simple leftA-module is injective iff it isp-injective; (2)A is von Neumann regular iff every maximal essential right ideal ofA isf-injective. Characterisations of semi-simple Artinian and simple Artinian rings are given in terms of regular andV-rings.     

Absolute E-rings

A ring R with 1 is called an E-ring if EndZR is ring-isomorphic to R under the canonical homomorphism taking the value 1σ for any σ∈EndZR. Moreover R is an absolute E-ring if it remains an E-ring in every generic extension of the universe. E-rings are an important tool for algebraic topology as explained in the introduction. The existence of an E-ring R of each cardinality of the form λℵ₀ was shown by Dugas, Mader and Vinsonhaler (1987) [9]. We want to show the existence of absolute E-rings. It turns out that there is a precise cardinal-barrier κ(ω) for this problem: (The cardinal κ(ω) is the first ω-Erd?s cardinal defined in the introduction. It is a relative of measurable cardinals.) We will construct absolute E-rings of any size λ<κ(ω). But there are no absolute E-rings of cardinality ?κ(ω). The non-existence of huge, absolute E-rings ?κ(ω) follows from a recent paper by Herden and Shelah (2009) [24] and the construction of absolute E-rings R is based on an old result by Shelah (1982) [31] where families of absolute, rigid colored trees (with no automorphism between any distinct members) are constructed. We plant these trees into our potential E-rings with the aim to prevent unwanted endomorphisms of their additive group to survive. Endomorphisms will recognize the trees which will have branches infinitely often divisible by primes. Our main result provides the existence of absolute E-rings for all infinite cardinals λ<κ(ω), i.e. these E-rings remain E-rings in all generic extensions of the universe (e.g. using forcing arguments). Indeed all previously known E-rings (Dugas, Mader and Vinsonhaler, 1987 [9]; Göbel and Trlifaj, 2006 [23]) of cardinality ?ℵ₀² have a free additive group R⁺ in some extended universe, thus are no longer E-rings, as explained in the introduction. Our construction also fills all cardinal-gaps of the earlier constructions (which have only sizes λℵ₀). These E-rings are domains and as a by-product we obtain the existence of absolutely indecomposable abelian groups, compare Göbel and Shelah (2007) [22].     

On Skew Power Serieswise Armendariz Rings

For a ring endomorphism α, we introduce and investigate SPA-rings which are a generalization of α-rigid rings and determine the radicals of the skew polynomial rings R[x; α], R[x, x ^?1; α] and the skew power series rings R[[x; α]], R[[x, x ^?1; α]], in terms of those of R. We prove that several properties transfer between R and the extensions, in case R is an SPA-ring. We will construct various types of nonreduced SPA-rings and show SPA is a strictly stronger condition than α-rigid.     

Co-Artinian rings and Morita duality

A ringA is left co-Noetherian if the injective hull of each simple leftA-module is Artinian. Such rings have been studied by Vámos and Jans. Dually, callA left co-Artinian if the injective hull of each simple leftA-module is Noetherian. Left co-Artinian rings having only finitely many nonisomorphic simple left modules are studied, and such rings are shown to have nilpotent radical. Moreover, it is shown that left co-Artinian implies left co-Noetherian ifA/J is Artinian. For an injective leftA-module _A Q withB=End ( _A Q), andC=End (Q _B ), conditions yielding a Morita duality between and are obtained. In special cases, e.g. _A Q a self-cogenerator, this Morita duality yields chain conditions on _A Q. Specialized to commutative rings, these results give the known fact that every commutative co-Artinian ring is co-Noetherian. Finally in the case that the injective hull _A E=E( _A S) of a simple leftA-module _A S is a self-cogenerator, chain conditions on _A E are related to chain conditions onB _B =End ( _A E). The results obtained are analogous to results for commutative rings of Vámos, Rosenberg and Zelinsky. It is shown that ifA is a left co-Artinian ring withE( _A S) a self-cogenerator for each simple _A S, thenJ is nil and .     

Extensions of <Emphasis Type="Italic">GM</Emphasis>-rings

It is shown that a ring R is a GM-ring if and only if there exists a complete orthogonal set { e ₁,...,e _n } of idempotents such that all e _i Re _i are GM-rings. We also investigate GM-rings for Morita contexts, module extensions and power series rings.This work was supported by the Natural Science Foundation of Zhejiang Province.     

On co-semihereditary rings

A ringR is left co-semihereditary (strongly left co-semihereditary) if every finitely cogenerated factor of a finitely cogenerated (arbitrary) injective leftR-module is injective. A left co-semihereditary ring, which is not strongly left co-semihereditary, is given to answer a question of Miller and Tumidge in the negative. If _R U _S defines a Morita duality,R is proved to be left co-semihereditary (left semihereditmy) if and only ifS is right semihereditary (right co-semihereditary). Assuming thatS⩾R is an almost excellent extension,S is shown to be (strongly) right co-semihereditary if and only ifR is (strongly) right co-semihereditary. Project supported by the National Natural Science Foundation of China.     

Distributive multiplication rings

A ringR is said to be a left (right)n-distributive multiplication ring, n>1 a positive integer, if aa₁a₂...a_n=aa₁aa₂...aa_n (a₁a₂...a_na=a₁aa₂a...a_na) for all a, a₁,...,a_n R. It will be shown that the semi-primitive left (right)n-distributive rings are precisely the generalized boolean ringsA satisfying aⁿ=a for all a A. An arbitrary left (right)n-distributive multiplication ring will be seen to be an extension of a nilpotent ringN satisfyingN ⁿ⁺¹=0 by a generalized boolean ring described above. Under certain circumstances it will be shown that this extension splits.     

Flat modules and rings finitely generated as modules over their center

A module is called distributive (is said to be a chain module) if the lattice of all its submodules is distributive (is a chain). Let a ringA be a finitely generated module over its unitary central subringR. We prove the equivalence of the following conditions:

1. A is a right or left distributive semiprime ring;
2. for any maximal idealM of a subringR central inA, the ring of quotientsA _M is a finite direct product of semihereditary Bézout domains whose quotient rings by the Jacobson radicals are finite direct products of skew fields;
3. all right ideals and all left ideals of the ringA are flat (right and left) modules over the ringA, andA is a distributive ring, without nonzero nilpotent elements, all of whose quotient rings by prime ideals are semihereditary orders in skew fields.

     

On quasi-injectivity and von Neumann regularity

The purpose of this note is to consider certain connections between injectivity,p-injectivity and a generalisation of quasi-injectivity notedGQ-injectivity (cf. definition below). It is proved that ifA is a leftGQ-injective ring andZ the left singular ideal ofA, thenA/Z is von Neumann regular andZ is the Jacobson radical ofA (this extends the well-known result ofY. Utumi for left continuous rings [9]). If the sum of any twoGQ-injective leftA-modules isGQ-injective, thenA is a left Noetherian, left hereditary, leftV-ring. Semi-prime rings whose faithful left modules areGQ-injective must be semi-simple Artinian. IfA is commutative, the following are equivalent: (1)A is a finite direct sum of field; (2) EveryGQ-injectiveA-module is injective; (3) AnyA-module isGQ-injective if, and only if, it isp-injective; (4) AnyA-module is quasi-injective if, and only if, it isp-injective. Also, a commutative ringA is hereditary Noetherian if, and only if, the sum of any twop-injectiveA-modules is injective.     

α-Baer rings and some related concepts via C(X)

We call a commutative ring R an F IN -ring (resp., F SA-ring) if for any two finitely generated I, J ?R we have Ann(I)+Ann(J )=Ann(I∩J ) (resp., there is K ? R such that Ann(I)+Ann(J )=Ann(K)). Moreover, we extend this concepts to αIN -rings and αSA-rings where α is a cardinal number. The class of F SA-rings includes the class of all SA-rings (hence all IN -rings) and all P P -rings (hence all Baer-rings). In this paper, after giving some properties of αSA-rings, we prove that a reduced ring R is αSA if and only if it is an αIN -ring. Consequently, C(X) is an F SA-ring if and only if C(X) is an F IN -ring and equivalently X is an F -space. Moreover, for a commutative ring R, we have shown that R is a Baer-ring if and only if R is a reduced IN -ring. A topological space X is said to be an αU E-space if the closure of any union with cardinal number less than α of clopen subsets is open. Topological properties of αU E-spaces are investigated. Finally, we show that a completely regular Hausdor? space X is an αU E-space if and only if C(X) is an αEGE-ring.     

Special classes of <Emphasis Type="Italic">l</Emphasis>-rings and Anderson-Divinsky-Sulinski lemma

Special classes of lattice-ordered rings (l-rings) are studied and for special radicals of l-rings the Anderson-Divinsky-Sulinski lemma is proved, i.e., it is proved that if ρ is a special radical in the class of l-rings and I is an l-ideal of an l-ring R, then ρ(I) is an l-ideal of the l-ring R and ρ(I) = ρ(R) ∩ I.     

On Rings Whose Reflexive Ideals are Principal

We call a prime Noetherian maximal order R a pseudo-principal ring if every reflexive ideal of R is principal. This class of rings is a broad class properly containing both prime Noetherian pri-(pli) rings and Noetherian unique factorization rings (UFRs). We show that the class of pseudo-principal rings is closed under formation of n × n full matrix rings. Moreover, we prove that if R is a pseudo-principal ring, then the polynomial ring R[x] is also a pseudo-principal ring. We provide examples to illustrate our results.     

Injective and flat covers,envelopes and resolvents

Using the dual of a categorical definition of an injective envelope, injective covers can be defined. For a ringR, every leftR-module is shown to have an injective cover if and only ifR is left noetherian. Flat envelopes are defined and shown to exist for all modules over a regular local ring of dimension 2. Using injective covers, minimal injective resolvents can be defined.     

Baer and Baer *-ring characterizations of Leavitt path algebras

We characterize Leavitt path algebras which are Rickart, Baer, and Baer ?-rings in terms of the properties of the underlying graph. In order to treat non-unital Leavitt path algebras as well, we generalize these annihilator-related properties to locally unital rings and provide a more general characterizations of Leavitt path algebras which are locally Rickart, locally Baer, and locally Baer ?-rings. Leavitt path algebras are also graded rings and we formulate the graded versions of these annihilator-related properties and characterize Leavitt path algebras having those properties as well.Our characterizations provide a quick way to generate a wide variety of examples of rings. For example, creating a Baer and not a Baer ?-ring, a Rickart ?-ring which is not Baer, or a Baer and not a Rickart ?-ring, is straightforward using the graph-theoretic properties from our results. In addition, our characterizations showcase more properties which distinguish behavior of Leavitt path algebras from their $C^{?}$-algebra counterparts. For example, while a graph $C^{?}$-algebra is Baer (and a Baer ?-ring) if and only if the underlying graph is finite and acyclic, a Leavitt path algebra is Baer if and only if the graph is finite and no cycle has an exit, and it is a Baer ?-ring if and only if the graph is a finite disjoint union of graphs which are finite and acyclic or loops.     

Another characterization of the upper nil radical

In 2015 Halina France-Jackson introduced the notion of a \({\sigma}\)-ring i.e. a ring R with the property that if I and J are ideals of R and for all \({i\in I}\), \({{j\in J}}\), there exist natural numbers m, n such that \({i^{m}j^{n} =0}\), then I = 0 or J = 0. It is shown that \({\sigma}\) is a special class which coincides with the class \({\rho}\) of all prime nil-semisimple rings. This implies that the upper nil radical of any ring R is the intersection of all ideals I of the ring such that R/I is a \({\sigma}\)-ring. In this paper we introduce classes of rings equivalent to the \({\sigma}\)-rings and then give characterizations of the upper nil radical in terms of these rings.     

<Emphasis Type="Italic">UA</Emphasis>-properties of modules over commutative Noetherian rings

A semigroup (R, ·) is said to be a UA-ring if there exists a unique binary operation “+” transforming (R, ·, +) into a ring. An R-module A is said to be a UA-module if it is not possible to define a new addition in A without changing the action of R on A. In this paper we investigate topics that are related to the structure of UA-rings of endomorphisms and UA-modules over commutative Noetherian rings.     

An Infinite Analogue of Rings with Stable Rank One

Replacing invertibility with quasi-invertibility in Bass' first stable range condition we discover a new class of rings, the QB-rings. These constitute a considerable enlargement of the class of rings with stable rank one (B-rings) and include examples like End (V), the ring of endomorphisms of a vector space V over some field , and ( ), the ring of all row- and column-finite matrices over . We show that the category of QB-rings is stable under the formation of corners, ideals, and quotients, as well as matrices and direct limits. We also give necessary and sufficient conditions for an extension of QB-rings to be a QB-ring, and show that extensions of B-rings often lead to QB-rings. Specializing to the category of exchange rings we characterize the subset of exchange QB-rings as those in which every von Neumann regular element extends to a maximal regular element, i.e., a quasi-invertible element. Finally we show that the C*-algebras that are QB-rings are exactly the extremally rich C*-algebras studied by L. G. Brown and the second author.     

On QB ∞-Rings

In this article, we introduce a new class of rings, the QB _∞-rings. We establish various properties of this concept. These show that, in several respects, QB _∞-rings behave like QB-rings. We prove that the notion of QB _∞-rings is a Morita invariant property of rings and every finite subdirect product of QB _∞-rings is a QB _∞-ring. We also exhibit examples to point out that the class of QB _∞-rings is much larger than the class of QB-rings.