Conditions for stable range of an elementary divisor rings

Using the concept of ring of Gelfand range 1 we proved that a commutative Bezout domain is an elementary divisor ring iff it is a ring of Gelfand range 1. Obtained results give a solution of problem of elementary divisor rings for different classes of commutative Bezout domains, in particular, PM*, local Gelfand domains and so on.     

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.     

On the FIP Property for Extensions of Commutative Rings

ABSTRACT

A (unital) extension R ? T of (commutative) rings is said to have FIP (respectively be a minimal extension) if there are only finitely many (respectively no) rings S such that R ? S ? T. Transfer results for the FIP property for extensions of Nagata rings are obtained, including the following fact: if R ? T is a (module-) finite minimal ring extension, then R(X)?T(X) also is a (module-) finite minimal ring extension. The assertion obtained by replacing “is a (module-) finite minimal ring extension” with “has FIP” is valid if R is an infinite field but invalid if R is a finite field. A generalization of the Primitive Element Theorem is obtained by characterizing, for any field (more generally, any artinian reduced ring) R, the ring extensions R ? T which have FIP; and, if R is any field K, by describing all possible structures of the (necessarily minimal) ring extensions appearing in any maximal chain of intermediate rings between K and any such T. Transfer of the FIP and “minimal extension” properties is given for certain pullbacks, with applications to constructions such as CPI-extensions. Various sufficient conditions are given for a ring extension of the form R ? R[u], with u a nilpotent element, to have or not have FIP. One such result states that if R is a residually finite integral domain that is not a field and u is a nilpotent element belonging to some ring extension of R, then R ? R[u] has FIP if and only if (0 : u) ≠ 0. The rings R having only finitely many unital subrings are studied, with complete characterizations being obtained in the following cases: char(R)>0; R an integral domain of characteristic 0; and R a (module-)finite extension of ? which is not an integral domain. In particular, a ring of the last-mentioned type has only finitely many unital subrings if and only if (?:R)≠0. Some results are also given for the residually FIP property.     

Separative Ideals,Clean Elements,and Unit-Regularity

ABSTRACT

We prove that an ideal I of a regular ring R is separative if and only if each a ? R satisfying Rr(a)aR = Ra?(a)R = RaR(1 ? a)R ? I is unit-regular. If I is a separative ideal of a regular ring R, then each a ? R satisfying Rar(a²) = ?(a²)aR = R(a ? a²) R ? I is clean. Some applications are also obtained.     

The Zero-Divisor Graphs Which Are Uniquely Determined By Neighborhoods

A nonempty simple connected graph G is called a uniquely determined graph, if distinct vertices of G have distinct neighborhoods. We prove that if R is a commutative ring, then Γ(R) is uniquely determined if and only if either R is a Boolean ring or T(R) is a local ring with x² = 0 for any x ∈ Z(R), where T(R) is the total quotient ring of R. We determine all the corresponding rings with characteristic p for any finite complete graph, and in particular, give all the corresponding rings of K_n if n + 1 = p^q for some primes p, q. Finally, we show that a graph G with more than two vertices has a unique corresponding zero-divisor semigroup if G is a zero-divisor graph of some Boolean ring.     

Elementary matrix reduction over certain rings

We explore elementary matrix reduction over certain rings characterized by properties related to stable range. Let R be a commutative ring. We call R locally stable if aR+bR = R??x∈R such that R∕(a+bx)R has stable range 1. We study locally stable rings and prove that every locally stable Bézout ring is an elementary divisor ring. Many known results on domains are thereby generalized.     

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.     

Indecomposable Modules and Gelfand Rings

It is proved that a commutative ring is clean if and only if it is Gelfand with a totally disconnected maximal spectrum. It is shown that each indecomposable module over a commutative ring R satisfies a finite condition if and only if R _P is an Artinian valuation ring for each maximal prime ideal P. Commutative rings for which each indecomposable module has a local endomorphism ring are studied. These rings are clean and elementary divisor rings. It is shown that each commutative ring R with a Hausdorff and totally disconnected maximal spectrum is local-global. Moreover, if R is arithmetic, then R is an elementary divisor ring.     

APT环上幂等阵的对角化

设R是一阿贝尔环(R的所有幂等元都在中心里),A是R上的一幂等阵.本文证明了以下结果：(a)A相抵于一对角阵当且仅当A相似于一对角阵;(b)若R是一APT(阿贝尔投射平凡)环,则A在相似变换之下可唯一地化为对角形diag{e₁, ..., e_n｝,这里e_i整除e_i+1;(c)R是APT环当且仅当R/I是APT环,这里I是环R的一幂零理想.由(a),还证明了分离的阿贝尔正则环是APT环.     

Reduction of Matrices over Bezout Rings of Stable Rank not Higher than 2

We prove that a commutative Bezout ring is an Hermitian ring if and only if it is a Bezout ring of stable rank 2. It is shown that a noncommutative Bezout ring of stable rank 1 is an Hermitian ring. This implies that a noncommutative semilocal Bezout ring is an Hermitian ring. We prove that the Bezout domain of stable rank 1 with two-element group of units is a ring of elementary divisors if and only if it is a duo-domain.     

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.     

Gaussian Trivial Ring Extensions and FQP-rings

Let A be a commutative ring and E a nonzero A-module. Necessary and sufficient conditions are given for the trivial ring extension R of A by E to be either arithmetical or Gaussian. The possibility for R to be Bézout is also studied, but a response is only given in the case where pSpec(A) (a quotient space of Spec(A)) is totally disconnected. Trivial ring extensions which are fqp-rings are characterized only in the local case. To get a general result we intoduce the class of fqf-rings satisfying a weaker property than fqp-ring. Moreover, it is proven that the finitistic weak dimension of a fqf-ring is 0, 1 or 2 and its global weak dimension is 0, 1, or ∞.     

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.     

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.     

Elementary Reduction of Matrices over Right 2-Euclidean Rings

We introduce a concept of noncommutative (right) 2-Euclidean ring. We prove that a 2-Euclidean ring is a right Hermite ring, a right Bezout ring, and a GE _n -ring. It is shown that an arbitrary right unimodular string of length not less than 3 over a right Bezout ring of stable rank possesses an elementary diagonal reduction. We prove that a right Bezout ring of stable rank 1 is a right 2-Euclidean ring.__________Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 56, No. 12, pp. 1717 – 1721, December, 2004.     

The McCoy Condition on Skew Polynomial Rings

Based on a theorem of McCoy on commutative rings, Nielsen called a ring R right McCoy if, for any nonzero polynomials f(x), g(x) over R, f(x)g(x) = 0 implies f(x)r = 0 for some 0 ≠ r ? R. In this note, we consider a skew version of these rings, called σ-skew McCoy rings, with respect to a ring endomorphism σ. When σ is the identity endomorphism, this coincides with the notion of a right McCoy ring. Basic properties of σ-skew McCoy rings are observed, and some of the known results on right McCoy rings are obtained as corollaries.     

J-semicommutative环的性质

环冗称为J—semicommutative若对任意B,b∈R由ab=0可以推得aRb∈J（R）,这里J（R）是环R的Jacobson根．环R是J—semicommutative环当且仅当它的平凡扩张是J—semicommutative环当且仅当它的Don＇oh扩张是J—semicommutative环当且仅当它的Nagata扩张是,一semicommutative环当且仅当它的幂级数环是J—semicommutative环．若R／J（R）是semicommutative环,则可得到R是J-semicommutative环．本文进一步论证了如果,是环月的一个幂零理想,且R／I是J—semicommutative环,则R也是J-semicommutative环最后给出了J—semicommutative环与其他一些常见环的联系     

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.     

Gaussian Property of the Rings R(X) and R〈X〉

The content of a polynomial f over a commutative ring R is the ideal c(f) of R generated by the coefficients of f. A commutative ring R is said to be Gaussian if c(fg) = c(f)c(g) for every polynomials f and g in R[X]. A number of authors have formulated necessary and sufficient conditions for R(X) (respectively, R?X?) to be semihereditary, have weak global dimension at most one, be arithmetical, or be Prüfer. An open question raised by Glaz is to formulate necessary and sufficient conditions that R(X) (respectively, R?X?) have the Gaussian property. We give a necessary and sufficient condition for the rings R(X) and R?X? in terms of the ring R in case the square of the nilradical of R is zero.     

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.