A Generalization of Divided Domains and Its Connection to Weak Baer Going-Down Rings

Many results on going-down domains and divided domains are generalized to the context of rings with von Neumann regular total quotient rings. A (commutative unital) ring R is called regular divided if each P ∈ Spec(R)?(Max(R) ∩ Min(R)) is comparable with each principal regular ideal of R. Among rings having von Neumann regular total quotient rings, the regular divided rings are the pullbacks K× _K/P D where K is von Neumann regular, P ∈ Spec(K) and D is a divided domain. Any regular divided ring (for instance, regular comparable ring) with a von Neumann regular total quotient ring is a weak Baer going-down ring. If R is a weak Baer going-down ring and T is an extension ring with a von Neumann regular total quotient ring such that no regular element of R becomes a zero-divisor in T, then R ? T satisfies going-down. If R is a weak Baer ring and P ∈ Spec(R), then R + PR _(P) is a going-down ring if and only if R/P and R _P are going-down rings. The weak Baer going-down rings R such that Spec(R)?Min(R) has a unique maximal element are characterized in terms of the existence of suitable regular divided overrings.     

On Almost Unit-Regular Rings

An element a ∈ R is unit-regular provided that there exists an invertible u ∈ R such that a = aua. A ring R is called an almost unit-regular ring provided that for any a ∈ R, either a or 1 ? a is unit-regular. We characterize, in this article, the almost unit-regularity of Morita contexts with zero pairings. We also show that a ring R is unit-regular if and only if M ₂(R) is almost unit-regular. Various examples of such rings are constructed by means of formal triangular matrix rings.     

Group homomorphisms inducing isomorphisms in cohomology

In this article, we call a ring R right generalized semiregular if for any a ∈ R there exist two left ideals P, L of R such that lr(a) = P⊕ L, where P ? Ra and Ra ∩ L is small in R. The class of generalized semiregular rings contains all semiregular rings and all AP-injective rings. Some properties of these rings are studied and some results about semiregular rings and AP-injective rings are extended. In addition, we call a ring R semi-π-regular if for any a ∈ R there exist a positive integer n and e ² = e ∈ a ⁿ R such that (1 ? e)a ⁿ  ∈ J(R), the Jacobson radical of R. It is shown that a ring R is semi-π-regular if and only if R/J(R) is π-regular and idempotents can be lifted modulo J(R).     

Orders in regular rings with minimal condition for principal right ideals

ABSTRACT

A ring R is called an n-clean (resp. Σ-clean) ring if every element in R is n-clean (resp. Σ-clean). Clean rings are 1-clean and hence are Σ-clean. An example shows that there exists a 2-clean ring that is not clean. This shows that Σ-clean rings are a proper generalization of clean rings. The group ring ?_(p) G with G a cyclic group of order 3 is proved to be Σ-clean. The m× m matrix ring M _m (R) over an n-clean ring is n-clean, and the m×m (m>1) matrix ring M _m (R) over any ring is Σ-clean. Additionally, rings satisfying a weakly unit 1-stable range were introduced. Rings satisfying weakly unit 1-stable range are left-right symmetric and are generalizations of abelian π-regular rings, abelian clean rings, and rings satisfying unit 1-stable range. A ring R satisfies a weakly unit 1-stable range if and only if whenever a ₁ R + ˙˙˙ a _m R = dR, with m ≥ 2, a ₁,…, a _m, d ∈ R, there exist u ₁ ∈ U(R) and u ₂,…, u _m ∈ W(R) such that a ₁ u ₁ + ? a _m u _m = Rd.     

Characterizations of QF Rings

A ring R is called “left GP-injective” if for any 0 ≠ a ∈ R, there exists n > 0 such that a ⁿ  ≠ 0 and a ⁿ R = r(l(a ⁿ )). It is proved that (1) every right Noetherian left GP-injective ring such that every complement left ideal is a left annihilator is a QF ring, (2) every left GP-injective ring with ACC on left annihilators such that every complement left ideal is a left annihilator is a QF ring, and (3) every left P-injective left CS ring satisfying ACC on essential right ideals is a QF ring. Several well-known results on QF rings are obtained as corollaries.     

Condensed Rings with Zero-Divisors #

A commutative ring R with identity is condensed (respectively strongly condensed) if for each pair of ideals I, J of R, IJ = {ij | i ∈ I, j ∈ J} (resp., IJ = iJ for some i ∈ I or IJ = Ij for some j ∈ J). In a similar fashion we can define regularly condensed and regularly strongly condensed rings by restricting I and J to be regular ideals. We show that an arbitrary product of rings is condensed if and only if each factor is so, and that R[X] is condensed if and only if R is von Neumann regular. A number of results known in the domain case are extended to the ring case. Regularly strongly condensed and one-dimensional regularly condensed Noetherian rings are characterized.     

On Generalized Stable Ideals

An ideal I of a ring R is generalized stable in case aR + bR = R with a ∈ I, b ∈ R implies that there exist s, t ∈ 1 + I such that s(a + by)t = 1 for a y ∈ R. We establish, in this article, necessary and sufficient conditions for an ideal of a regular ring to be generalized stable. It is shown that every regular square matrix over such ideals admits a diagonal reduction. These extend the corresponding results of generalized stable regular rings.     

On Strongly Stable Rings

Abstract

A ring R is called strongly stable if whenever aR + bR = R, there exists a w ∈ Q(R) such that a + bw ∈ U(R), where Q(R) = {x ∈ R ∣ ? e ? e ² ∈ J(R), u ∈ U(R) such that x = eu}. These rings are shown to be a natural generalization of semilocal rings and unit regular rings. We investigate the extensions of strongly stable rings. K ₁-groups of such rings are also studied. In this way we recover and extend some results of Menal and Moncasi.     

Annihilator Ideal-Based Zero-Divisor Graphs Over Multiplication Modules

For a commutative ring R with identity, an ideal-based zero-divisor graph, denoted by Γ _I (R), is the graph whose vertices are {x ∈ R?I | xy ∈ I for some y ∈ R?I}, and two distinct vertices x and y are adjacent if and only if xy ∈ I. In this article, we investigate an annihilator ideal-based zero-divisor graph by replacing the ideal I with the annihilator ideal Ann(M) for a multiplication R-module M. Based on the above-mentioned definition, we examine some properties of an R-module over a von Neumann regular ring, and the cardinality of an R-module associated with Γ _Ann(M)(R).     

A Class of Quasipolar Rings

An element a of a ring R is called J-quasipolar if there exists p ² = p ∈ R satisfying p ∈ comm²(a) and a + p ∈ J(R); R is called J-quasipolar in case each of its elements is J-quasipolar. The class of this sort of rings lies properly between the class of uniquely clean rings and the class of quasipolar rings. In particular, every J-quasipolar element in a ring is quasipolar. It is shown, in this paper, that a ring R is J-quasipolar iff R/J(R) is boolean and R is quasipolar. For a local ring R, we prove that every n × n upper triangular matrix ring over R is J-quasipolar iff R is uniquely bleached and R/J(R) ? ?₂. Moreover, it is proved that any matrix ring of size greater than 1 is never J-quasipolar. Consequently, we determine when a 2 × 2 matrix over a commutative local ring is J-quasipolar. A criterion in terms of solvability of the characteristic equation is obtained for such a matrix to be J-quasipolar.     

An Annihilator Condition with Generalized Derivations on Multilinear Polynomials

Let R be a non-commutative prime ring of characteristic different from 2, U its right Utumi quotient ring, C its extended centroid, F a generalized derivation on R, and f(x ₁,…, x _n ) a noncentral multilinear polynomial over C. If there exists a ∈ R such that, for all r ₁,…, r _n  ∈ R, a[F ²(f(r ₁,…, r _n )), f(r ₁,…, r _n )] = 0, then one of the following statements hold: 1. a = 0;

2. There exists λ ∈C such that F(x) = λx, for all x ∈ R;

3. There exists c ∈ U such that F(x) = cx, for all x ∈ R, with c ² ∈ C;

4. There exists c ∈ U such that F(x) = xc, for all x ∈ R, with c ² ∈ C.

     

Minimal But Inefficient Presentations for Self Semidirect Products of the Free Abelian Monoid on Two Generators

Let R be a ring and M(R) the set consisting of zero and primitive idempotents of R. We study the rings R for which M(R) is multiplicative. It is proved that if R has a complete finite set of primitive orthogonal idempotents, then R is a finite direct product of connected rings precisely when M(R) is multiplicative. We prove that if R is a (von Neumann) regular ring with M(R) multiplicative, then every primitive idempotent in R is central. It is also shown that this does not happen even in semihereditary and semiregular rings. Let R be an arbitrary ring with M(R) multiplicative and e ∈ R be a primitive idempotent, then for every unit u ∈ R, it is proved that eue is a unit in eRe. We also prove that if M(R) is multiplicative, then two primitive idempotents e and f in R are conjugates, i.e., f = ueu ^?1 for some u ∈ U(R), if and only if ef ≠ 0.     

Symplectic algebras and poisson algebras

Abstract

A ring R is called left P-injective if for every a ∈ R, aR = r(l(a)) where l( ? ) and r( ? ) denote left and right annihilators respectively. The ring R is called left GP-injective if for any 0 ≠ a ∈ R, there exists n > 0 such that a ⁿ  ≠ 0 and a ⁿ R = r(l(a ⁿ )). As a response to an open question on GP -injective rings, an example of a left GP-injective ring which is not left P-injective is given. It is also proved here that a ring R is left FP -injective if and only if every matrix ring 𝕄 _n (R) is left GP-injective.     

Rings Over which the Krull Dimension and the Noetherian Dimension of All Modules Coincide

We denote by 𝒜(R) the class of all Artinian R-modules and by 𝒩(R) the class of all Noetherian R-modules. It is shown that 𝒜(R) ? 𝒩(R) (𝒩(R) ? 𝒜(R)) if and only if 𝒜(R/P) ? 𝒩(R/P) (𝒩(R/P) ? 𝒜(R/P)), for all centrally prime ideals P (i.e., ab ∈ P, a or b in the center of R, then a ∈ P or b ∈ P). Equivalently, if and only if 𝒜(R/P) ? 𝒩(R/P) (𝒩(R/P) ? 𝒜(R/P)) for all normal prime ideals P of R (i.e., ab ∈ P, a, b normalize R, then a ∈ P or b ∈ P). We observe that finitely embedded modules and Artinian modules coincide over Noetherian duo rings. Consequently, 𝒜(R) ? 𝒩(R) implies that 𝒩(R) = 𝒜(R), where R is a duo ring. For a ring R, we prove that 𝒩(R) = 𝒜(R) if and only if the coincidence in the title occurs. Finally, if Q is the quotient field of a discrete valuation domain R, it is shown that Q is the only R-module which is both α-atomic and β-critical for some ordinals α,β ≥ 1 and in fact α = β = 1.     

Separativity of Regular Rings in Which 2 Is Invertible

A regular ring R is separative provided that for all finitely generated projective right R-modules A and B, A⊕ A? A⊕ B? A⊕ B implies that A? B. We prove, in this article, that a regular ring R in which 2 is invertible is separative if and only if each a ∈ R satisfying R(1 ? a ²)R = Rr(a) = ?(a)R and i(End _R (aR)) = ∞ is unit-regular if and only if each a ∈ R satisfying R(1 ? a ²)R ∩ RaR = Rr(a) ∩ ?(a)R ∩ RaR and i(End _R (aR)) = ∞ is unit-regular. Further equivalent characterizations of such regular rings are also obtained.     

Generalized Stable Regular Rings

Abstract

In this paper we show that a regular ring R is a generalized stable ring if and only if for every x ∈ R, there exist a w ∈ K(R) and a group G in R such that wx ∈ G. Also we show that if R is a generalized stable regular ring, then for any A ∈ M _n (R), there exist right invertible matrices U ₁, U ₂ ∈ M _n (R) and left invertible matrices V ₁, V ₂ ∈ M _n (R) such that U ₁ V ₁ AU ₂ V ₂ = diag(e ₁,…, e _n ) for some idempotents e ₁,…, e _n  ∈ 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.     

Study of Hopficity in Certain Classes of Rings

The main results proved in this paper are:

1. For any non-zero vector space V _Dover a division ring D, the ring R= End(V _D) is hopfian as a ring

2. Let Rbe a reduced π-regular ring &; B(R) the boolean ring of idempotents of R. If B(R) is hopfian so is R.The converse is not true even when Ris strongly regular.

3. Let Xbe a completely regular spaceC(X) (resp. C ^?(X)) the ring of real valued (resp. bounded real valued) continuous functions on X. Let Rbe any one of C(X) or C ^?(X). Then Ris an exchange ring if &; only if Xis zero dimensional in the sense of Katetov. for any infinite compact totally disconnected space X C(X) is an exchange ring which is not von Neumann regular.

4. Let Rbe a reduced commutative exchange ring. If Ris hopfian so is the polynomial ring R[T ₁,…,T _n] in ncommuting indeterminates over Rwhere nis any integer ≥ 1.

5. Let Rbe a reduced exchange ring. If Ris hopfian so is the polynomial ring R[T].     

Coherence and Generalized Morphic Property of Triangular Matrix Rings

Let R be a ring. R is left coherent if each of its finitely generated left ideals is finitely presented. R is called left generalized morphic if for every element a in R, l(a) = Rb for some b ∈ R, where l(a) denotes the left annihilator of a in R. The main aim of this article is to investigate the coherence and the generalized morphic property of the upper triangular matrix ring T _n (R) (n ≥ 1). It is shown that R is left coherent if and only if T _n (R) is left coherent for each n ≥ 1 if and only if T _n (R) is left coherent for some n ≥ 1. And an equivalent condition is obtained for T _n (R) to be left generalized morphic. Moreover, it is proved that R is left coherent and left Bézout if and only if T _n (R) is left generalized morphic for each n ≥ 1.