Central Sets and Radii of the Zero-Divisor Graphs of Commutative Rings

For a commutative ring R with identity, the zero-divisor graph, Γ(R), is the graph with vertices the nonzero zero-divisors of R and edges between distinct vertices x and y whenever xy = 0. This article gives a proof that the radius of Γ(R) is 0, 1, or 2 if R is Noetherian. The center union {0} is shown to be a union of annihilator ideals if R is Artinian. The diameter of Γ(R) can be determined once the center is identified. If R is finite, then the median is shown to be a subset of the center. A dominating set of Γ(R) is constructed using elements of the center when R is Artinian. It is shown that for a finite ring R ? ?₂ × F for some finite field F, the domination number of Γ(R) is equal to the number of distinct maximal ideals of R. Other results on the structure of Γ(R) are also presented.     

Prime Lie Rings of Derivations of Commutative Rings

Let R be a 2-torsion free commutative ring with identity, and δ a nonzero derivation of R such that R is δ-prime. Then Rδ is a prime Lie ring and any nonzero ideal of Rδ contains an ideal of the form Jδ where J is a nonzero δ-ideal of R.     

Artinian Rings Characterized by Direct Sums of CS Modules

Abstract

In this note, we show that the following are equivalent for a ring R for which the socle or the injective hull of R _R is finitely generated: (i) The direct sum of any two CS right R-modules is again CS; (ii) R is right Artinian and every uniform right R-module has composition length at most two. Next we give partial answers to a question of Huynh whether a right countably Σ-CS ring which either is semilocal or has finite Goldie dimension is right Σ-CS. We give characterizations, in terms of radicals, of when such rings are right Σ-CS. In particular, for the semilocal case, Huynh's question is reduced to whether rad(Z ₂(R _R )) is Σ-CS or Noetherian, where Z ₂(R _R ) is the second singular right ideal of R. Our results yield new characterizations of QF-rings.     

Commutative Rings Whose Cozero-Divisor Graphs are Unicyclic or of Bounded Degree

Let R be a commutative ring with unity. The cozero-divisor graph of R, denoted by Γ′(R), is a graph with vertex set W*(R), where W*(R) is the set of all nonzero and nonunit elements of R, and two distinct vertices a and b are adjacent if and only if a ? Rb and b ? Ra, where Rc is the ideal generated by the element c in R. Recently, it has been proved that for every nonlocal finite ring R, Γ′(R) is a unicyclic graph if and only if R ? ?₂ × ?₄, ?₃ × ?₃, ?₂ × ?₂[x]/(x ²). We generalize the aforementioned result by showing that for every commutative ring R, Γ′(R) is a unicyclic graph if and only if R ? ?₂ × ?₄, ?₃ × ?₃, ?₂ × ?₂[x]/(x ²), ?₂[x, y]/(x, y)², ?₄[x]/(2x, x ²). We prove that for every positive integer Δ, the set of all commutative nonlocal rings with maximum degree at most Δ is finite. Also, we classify all rings whose cozero-divisor graph has maximum degree 3. Among other results, it is shown that for every commutative ring R, gr(Γ′(R)) ∈ {3, 4, ∞}.     

Additive Set of Idempotents in Rings

Let R be a ring with identity 1, I(R) be the set of all nonunit idempotents in R, and M(R) be the set of all primitive idempotents and 0 of R. We say that I(R) is additive if for all e, f ∈ I(R) (e ≠ f), e + f ∈ I(R), and M(R) is additive in I(R) if for all e, f ∈ M(R)(e ≠ f), e + f ∈ I(R). In this article, the following points are shown: (1) I(R) is additive if and only if I(R) is multiplicative and the characteristic of R is 2; M(R) is additive in I(R) if and only if M(R) is orthogonal. If 0 ≠ ef ∈ I(R) for some e ∈ M(R) and f ∈ I(R), then ef ∈ M(R), (2) If R has a complete set of primitive idempotents, then R is a finite product of connected rings if and only if I(R) is multiplicative if and only if M(R) is additive in I(R).     

The Inclusion Ideal Graph of Rings

Let R be a ring with unity. The inclusion ideal graph of a ring R, denoted by In(R), is a graph whose vertices are all nontrivial left ideals of R and two distinct left ideals I and J are adjacent if and only if I ? J or J ? I. In this paper, we show that In(R) is not connected if and only if R ? M ₂(D) or D ₁ × D ₂, for some division rings, D, D ₁ and D ₂. Moreover, we prove that if In(R) is connected, then diam(In(R)) ≤3. It is shown that if In(R) is a tree, then In(R) is a caterpillar with diam(In(R)) ≤3. Also, we prove that the girth of In(R) belongs to the set {3, 6, ∞}. Finally, we determine the clique number and the chromatic number of the inclusion ideal graph for some classes of rings.     

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.     

The Bass-Quillen problem on a class of local rings with weak global dimension two

Let (R,m) be a local GCD domain. R is called a U2 ring if there is an element u ∈ m-m2 such that R/(u) is a valuation domain and Ru is a B′ezout domain. In this case u is called a normal element of R. In this paper we prove that if R is a U2 ring, then R and R[x] are coherent; moreover, if R has a normal element u and dim(R/(u)) = 1, then every finitely generated projective module over R[X] is free.     

On the Dot Product Graph of a Commutative Ring

Let A be a commutative ring with nonzero identity, 1 ≤ n < ∞ be an integer, and R = A × A × … ×A (n times). The total dot product graph of R is the (undirected) graph TD(R) with vertices R* = R?{(0, 0,…, 0)}, and two distinct vertices x and y are adjacent if and only if x·y = 0 ∈ A (where x·y denote the normal dot product of x and y). Let Z(R) denote the set of all zero-divisors of R. Then the zero-divisor dot product graph of R is the induced subgraph ZD(R) of TD(R) with vertices Z(R)* = Z(R)?{(0, 0,…, 0)}. It follows that each edge (path) of the classical zero-divisor graph Γ(R) is an edge (path) of ZD(R). We observe that if n = 1, then TD(R) is a disconnected graph and ZD(R) is identical to the well-known zero-divisor graph of R in the sense of Beck–Anderson–Livingston, and hence it is connected. In this paper, we study both graphs TD(R) and ZD(R). For a commutative ring A and n ≥ 3, we show that TD(R) (ZD(R)) is connected with diameter two (at most three) and with girth three. Among other things, for n ≥ 2, we show that ZD(R) is identical to the zero-divisor graph of R if and only if either n = 2 and A is an integral domain or R is ring-isomorphic to ?₂ × ?₂ × ?₂.     

Every Commutative Ring Has a Minimal Ring Extension

Let R be a commutative unital ring and E a unital R-module. Then the canonical injective ring homomorphism from R into the idealization R(+) E is a minimal ring homomorphism if and only if E is a simple R-module. For E nonzero, R(+)E is not (R-algebra isomorphic to) an overring of R. If E ₁ and E ₂ are nonisomorphic simple R-modules, then R(+) E ₁ and R(+) E ₂ give minimal ring extensions of R which are not isomorphic as R-algebras. The ring of dual numbers over R is a minimal ring extension of R ? R × R is a minimal ring extension of R ? R is a field.     

The structure of injective covers of special modules

In this paper, we prove that the injective cover of theR-moduleE(R/B)/R/B for a prime ideal B ofR is the direct sum of copies ofE(R/B) for prime ideals D ⊃ B, and if B is maximal, the injective cover is a finite sum of copies ofE(R/B). For a finitely generatedR-moduleM withn generators andG an injectiveR-module, we argue that the natural mapG ⁿ →G ⁿ/Hom _R (M, G) is an injective precover if Ext _R ¹ (M, R) = 0, and that the converse holds ifG is an injective cogenerator ofR. Consequently, for a maximal ideal R ofR, depth_R R ≧ 2 if and only if the natural mapE(R/R) →E(R/R)/R/R is an injective cover and depth_R R > 0.     

On the Centralizers of Derivations with Engel Conditions

Let R be a noncommutative prime ring and d, δ two nonzero derivations of R. If δ([d(x), x] _n ) = 0 for all x ∈ R, then char R = 2, d ² = 0, and δ = αd, where α is in the extended centroid of R. As an application, if char R ≠ 2, then the centralizer of the set {[d(x), x] _n  | x ∈ R} in R coincides with the center of R.     

Ring elements as sums of units

In an Artinian ring R every element of R can be expressed as the sum of two units if and only if R/J(R) does not contain a summand isomorphic to the field with two elements. This result is used to describe those finite rings R for which Γ(R) contains a Hamiltonian cycle where Γ(R) is the (simple) graph defined on the elements of R with an edge between vertices r and s if and only if r - s is invertible. It is also shown that for an Artinian ring R the number of connected components of the graph Γ(R) is a power of 2.      

The structure of symplectic groups over arbitrary commutative rings

LetR be an arbitrary commutative ring, andn be an integer ≥3. It is proved for any idealJ ofR thatESp _2n(R,J)=[ESp _2n(R),ESp _2n(J)]=[ESp _2n(R),ESp _2n(R,J)] =[ESp _2n(R),GSp _2n(R,J)]=[Sp _2n(R),ESp _2n(R,J)]. Furthermore, the problem of normal subgroups ofSp _2n(R) has an affirmative solution if and only ifaR=a ²R+2aR for eacha inR. This covers the relevant results of [4], [8], [10], [12] and [13]. Project Supported by the Science Fund of the Chinese Academy of Sciences     

Convexity of Torsion Subgroups in K 0 Groups and Dimension Group Properties of K 0 of Pullbacks

Firstly, we characterize the partially ordered K ₀ groups of some rings. Secondly, let R be a ring, we discuss the problem when the pre-order on K ₀(R) is actually a partial order and when Tor(K ₀(R)) is a convex subgroup of K ₀(R). Finally, we examine the transfer of some ordering properties (such as partial order, unperforated, interpolation property) on K ₀ groups of rings to the K ₀ groups of pullbacks. Let R be a pullback of R ₁ and R ₂ over S, under some suitable conditions, we prove that if each K ₀(R _i ) (i = 1, 2) is a dimension group, then so is K ₀(R).     

Dominating sets of the comaximal and ideal-based zero-divisor graphs of commutative rings

Abstract

Let R be a commutative ring with nonzero identity, and let I be an ideal of R. The ideal-based zero-divisor graph of R, denoted by Γ_I (R), is the graph whose vertices are the set {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. Define the comaximal graph of R, denoted by CG(R), to be a graph whose vertices are the elements of R, where two distinct vertices a and b are adjacent if and only if Ra+Rb=R. A nonempty set S ? V of a graph G=(V, E) is a dominating set of G if every vertex in V is either in S or is adjacent to a vertex in S. The domination number γ(G) of G is the minimum cardinality among the dominating sets of G. The main object of this paper is to study the dominating sets and domination number of Γ_I (R) and the comaximal graph CG₂(R) \ J (R) (or CGJ (R) for short) where CG₂(R) is the subgraph of CG(R) induced on the nonunit elements of R and J (R) is the Jacobson radical of R.     

Special Properties of Rings of Generalized Power Series

Abstract

Let R be a ring and (S, ≤) a strictly ordered monoid. Properties of the ring [[R ^S,≤]] of generalized power series with coefficients in R and exponents in S are considered in this paper. It is shown that [[R ^S,≤]] is reduced (2-primal, Dedekind finite, clean, uniquely clean) if and only if R is reduced (2-primal, Dedekind finite, clean, uniquely clean, respectively) under some additional conditions. Also a necessary and sufficient condition is given for rings under which the ring [[R ^S,≤]] is a reduced left PP-ring.     

A Note on Some (3, 2<Emphasis Type="Italic">K</Emphasis> + 1)-Associative Rings

In this paper we consider the associativity of a (3, 2k + 1)-associative ring R in the following cases: (1) R is simple 2-divisible; (2) R is p-divisible trivial right ideal ring; (3) R is prime p-divisible.AMS Subject Classification: 17A30     

On JB -Rings

A ring R is a QB-ring provided that aR + bR = R with a, b ∈ R implies that there exists a y ∈ R such that It is said that a ring R is a JB-ring provided that R/J(R) is a QB-ring, where J(R) is the Jacobson radical of R. In this paper, various necessary and sufficient conditions, under which a ring is a JB-ring, are established. It is proved that JB-rings can be characterized by pseudo-similarity. Furthermore, the author proves that R is a JB-ring iff so is R/J(R)².     

Group actions in a unit-regular ring

Let Rbe a unit-regular ring , let Xbe the set of all nonzero, nonunits of Rand let Gbe the group of all units of R. In this paper, some finiteness properties of Rare investigated by considering group actions of Gon Xas follows:First, in case of half-transitive regualr action if 2 is unit in Ror the number of idempotents in Ris finite, then Ris finite. Secondly, if Gis cyclic and 2 is unit in R, then every orbit under regualr action is a finite set, and so in this case, if Rhas a finite number of idempotents, then Ris finite. Finally, if Fis a field in which 2 is unit and the multiplicative group of all nonzero elenents in Fforms a cyclic group, then Fis finite.