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.     

On Rings Whose Elements are the Sum of a Unit and a Root of a Fixed Polynomial

A ring R with identity is called “clean” if for every element a ? R there exist an idempotent e and a unit u in R such that a = e + u. Let C(R) denote the center of a ring R and g(x) be a polynomial in the polynomial ring C(R)[x]. An element r ? R is called “g(x)-clean” if r = s + u where g(s) = 0 and u is a unit of R and R is g(x)-clean if every element is g(x)-clean. Clean rings are g(x)-clean where g(x) ? (x ? a)(x ? b)C(R)[x] with a, b ? C(R) and b ? a ? U(R); equivalent conditions for (x² ? 2x)-clean rings are obtained; and some properties of g(x)-clean rings are given.     

Generalizations of Prime Ideals

Let R be a commutative ring with identity. Various generalizations of prime ideals have been studied. For example, a proper ideal I of R is weakly prime (resp., almost prime) if a, b ∈ R with ab ∈ I ? {0} (resp., ab ∈ I ? I ²) implies a ∈ I or b ∈ I. Let φ:?(R) → ?(R) ∪ {?} be a function where ?(R) is the set of ideals of R. We call a proper ideal I of R a φ-prime ideal if a, b ∈ R with ab ∈ I ? φ(I) implies a ∈ I or b ∈ I. So taking φ_?(J) = ? (resp., φ₀(J) = 0, φ₂(J) = J ²), a φ_?-prime ideal (resp., φ₀-prime ideal, φ₂-prime ideal) is a prime ideal (resp., weakly prime ideal, almost prime ideal). We show that φ-prime ideals enjoy analogs of many of the properties of prime ideals.     

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.     

Spectra of Maximal 1-Sided Ideals and Primitive Ideals

R is any ring with identity. Let Spec _r (R) (resp. Max _r (R), Prim _r (R)) denote the set of all right prime ideals (resp. all maximal right ideals, all right primitive ideals) of R and let U _r (eR) = {P ? Spec _r (R)| e ? P}. Let  = ∪_{P?Prim r (R)} Spec _r ^P (R), where Spec _r ^P (R) = {Q ?Spec _r ^P (R)|P is the largest ideal contained in Q}. A ring is called right quasi-duo if every maximal right ideal is 2-sided. In this article, we study the properties of the weak Zariski topology on  and the relationships among various ring-theoretic properties and topological conditions on it. Then the following results are obtained for any ring R: (1) R is right quasi-duo ring if and only if  is a space with Zariski topology if and only if, for any Q ? , Q is irreducible as a right ideal in R. (2) For any clopen (i.e., closed and open) set U in ? = Max _r (R) ∪  Prim _r (R) (resp.  = Prim _r (R)) there is an element e in R with e ² ? e ? J(R) such that U = U _r (eR) ∩  ? (resp. U = U _r (eR) ∩  ), where J(R) is the Jacobson of R. (3) Max _r (R) ∪  Prim _r (R) is connected if and only if Max _l (R) ∪  Prim _l (R) is connected if and only if Prim _r (R) is connected.     

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.     

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.     

Trivial Ring Extensions Defined by Arithmetical-Like Properties

In this article we investigate the transfer of the notions of elementary divisor ring, Hermite ring, Bezout ring, and arithmetical ring to trivial ring extensions of commutative rings by modules. Namely, we prove that the trivial ring extension R: = A ? B defined by extension of integral domains is an elementary divisor ring if and only if A is an elementary divisor ring and B = qf(A); and R is an Hermite ring if and only if R is a Bezout ring if and only if A is a Bezout domain and qf(A) = B. We provide necessary and sufficient conditions for R = A ? E to be an arithmetical ring when E is a nontorsion or a finitely generated A ? module. As an immediate consequences, we show that A ? A is an arithmetical ring if and only if A is a von Neumann regular ring, and A ? Q(A) is an arithmetical ring if and only if A is a semihereditary ring.     

On finitely generated module whose first nonzero fitting ideal is maximal

Let R be a Noetherian ring and M be a finitely generated R-module. Let I(M) be the first nonzero Fitting ideal of M. The main result of this paper asserts that when I(M) = Q is a regular maximal ideal of R, then M?R∕Q⊕P, for some projective R-module P of constant rank if and only if T(M)?QM. As a consequence, it is shown that if M is an Artinian R-module and I(M) = Q is a regular maximal ideal of R, then M?R∕Q.     

Some Characterizations of VNL Rings

A ring R is said to be von Newmann local (VNL) if for any a ∈ R, either a or 1 ?a is (von Neumann) regular. The class of VNL rings lies properly between exchange rings and (von Neumann) regular rings. We characterize abelian VNL rings. We also characterize and classify arbitrary VNL rings without an infinite set of orthogonal idempotents; and also the VNL rings having a primitive idempotent e such that eRe is not a division ring. We prove that a semiperfect ring R is VNL if and only if for any right uni-modular row (a ₁, a ₂) ∈ R ², one of the a _i 's is regular in R. Formal triangular matrix rings that are VNL are also characterized. As a corollary, it is shown that an upper triangular matrix ring T _n (R) is VNL if and only if n = 2 or 3 and R is a division ring.     

Hopf-Type Algebras

In this article, we provide an alternative approach to the definition of a weak Hopf algebra (WHA). For an associative unital algebra A with a coassociative comultiplication Δ ∈Alg ^u (A, A ? A), the set of homomorphisms from A to A ? A, which do not preserve the units. If the linear maps Ξ₁, Ξ₂ ∈ End(A ? A), defined by Ξ₁(a ? b) = Δ(a)(1 ? b), Ξ₂(a ? b) = (a ? 1)Δ(b), are von Neumann regular elements in the ring End(A ? A) of endomorphisms of A ? A satisfying some appropriate assumptions, we call the A a Hopf-type algebra. We show the existence of a target, a source, a counit, and an antipode of A as in the usual WHA.     

On rings with associated elements

A principal right ideal of a ring is called uniquely generated if any two elements of the ring that generate the same principal right ideal must be right associated (i.e., if for all a,b in a ring R, aR = bR implies a = bu for some unit u of R). In the present paper, we study “uniquely generated modules” as a module theoretic version of “uniquely generated ideals,” and we obtain a characterization of a unit-regular endomorphism ring of a module in terms of certain uniquely generated submodules of the module among some other results: End(M) is unit-regular if and only if End(M) is regular and all M-cyclic submodules of a right R-module M are uniquely generated. We also consider the questions of when an arbitrary element of a ring is associated to an element with a certain property. For example, we consider this question for the ring R[x;σ]∕(xⁿ⁺¹), where R is a strongly regular ring with an endomorphism σ be an endomorphism of R.     

The Cohen–Macaulay and Gorenstein Properties of Rings Associated to Filtrations

Let (R, m) be a Cohen–Macaulay local ring, and let ? = {F _i } _i∈? be an F ₁-good filtration of ideals in R. If F ₁ is m-primary we obtain sufficient conditions in order that the associated graded ring G(?) be Cohen–Macaulay. In the case where R is Gorenstein, we use the Cohen–Macaulay result to establish necessary and sufficient conditions for G(?) to be Gorenstein. We apply this result to the integral closure filtration ? associated to a monomial parameter ideal of a polynomial ring to give necessary and sufficient conditions for G(?) to be Gorenstein. Let (R, m) be a Gorenstein local ring, and let F ₁ be an ideal with ht(F ₁) = g > 0. If there exists a reduction J of ? with μ(J) = g and reduction number u: = r _J (?), we prove that the extended Rees algebra R′(?) is quasi-Gorenstein with a-invariant b if and only if J ⁿ : F _u  = F _n+b?u+g?1 for every n ∈ ?. Furthermore, if G(?) is Cohen–Macaulay, then the maximal degree of a homogeneous minimal generator of the canonical module ω _G(?) is at most g and that of the canonical module ω _R′(?) is at most g ? 1; moreover, R′(?) is Gorenstein if and only if J ^u : F _u  = F _u . We illustrate with various examples cases where G(?) is or is not Gorenstein.     

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).     

Classes of Commutative Rings Defined by Special Conditions

ABSTRACT

In this article, we are mainly concerned with (n, d)-Krull rings, i.e., rings in which each n-presented prime ideal has height at most d. Precisely, we show that weakly n-Von Neumann regular rings are (n ? 1, 0)-Krull rings. Also, we prove that (n, d)-Krull property is not local property and that R is an (n, d)-Krull ring if and only if dim(R _P ) ≤ d for each n-presented prime ideal P of R. Finally, we construct a class of (2, d)-Krull rings which are neither (2, d ? 1)-Krull rings (for d = 1) nor (1, d)-Krull rings for d = 0,1.     

On B(5, 18) Groups

A group G is said to be a B(n, k) group if for any n-element subset A of G, |A²| ≤k. In this paper, a characterization of B(5, 18) groups is given. It is shown that G is a B(5, 18) group if and only if one of the following statements holds: (1) G is abelian; (2) |G| ≤18; (3) G ? ? a, b | a⁵ = b⁴ = 1, a^b = a^?1 ?.     

Gaussian Polynomials and Content Ideal in Pullbacks

This article deals mainly with rings (with zerodivisors) in which regular Gaussian polynomials have locally principal contents. Precisely, we show that if (T,M) is a local ring which is not a field, D is a subring of T/M such that qf(D) = T/M, h: T → T/M is the canonical surjection and R = h ^?1(D), then if T satisfies the property “every regular Gaussian polynomial has locally principal content,” then also R verifies the same property. We also show that if D is a Prüfer domain and T satisfies the property “every Gaussian polynomial has locally principal content”, then R satisfies the same property. The article includes a brief discussion of the scopes and limits of our result.     

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.     

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.