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.     

Embedded associated primes of powers of square-free monomial ideals

An ideal I in a Noetherian ring R is normally torsion-free if Ass(R/I^t)=Ass(R/I) for all t≥1. We develop a technique to inductively study normally torsion-free square-free monomial ideals. In particular, we show that if a square-free monomial ideal I is minimally not normally torsion-free then the least power t such that I^t has embedded primes is bigger than β₁, where β₁ is the monomial grade of I, which is equal to the matching number of the hypergraph H(I) associated to I. If, in addition, I fails to have the packing property, then embedded primes of I^t do occur when t=β₁+1. As an application, we investigate how these results relate to a conjecture of Conforti and Cornuéjols.     

The associated primes of local cohomology modules over rings of small dimension

Let R be a commutative Noetherian local ring of dimension d, I an ideal of R, and M a finitely generated R-module. We prove that the set of associated primes of the local cohomology module H ⁱ _I (M) is finite for all i≥ 0 in the following cases: (1) d≤ 3; (2) d= 4 and $R$ is regular on the punctured spectrum; (3) d= 5, R is an unramified regular local ring, and M is torsion-free. In addition, if $d>0$ then H ^{d − 1} _I (M) has finite support for arbitrary R, I, and M. Received: 31 October 2000 / Revised version: 8 January 2001     

QUINTESSENTIAL PRIMES AND IDEAL TOPOLOGIES OVER A MODULE

Let I be an ideal of a Noetherian ring R, N a finitely generated R-module and let S be a multiplicatively closed subset of R. We define the Nth (S)-symbolic power of I w.r.t. N as S(I ⁿ N) = ∪ _s∈S (I ⁿ N: _N s). The purpose of this paper is to show that the topologies defined by {Iⁿ N} _n≥0 and {S(Iⁿ N)} _n≥0 are equivalent (resp. linearly equivalent) if and only if S is disjoint from the quintessential (resp. essential) primes of I w.r.t. N.     

THREE NOTES ON NICE EXTENSION DOMAINS

The first note shows that the integral closure L′ of certain localities L over a local domain R are unmixed and analytically unramified, even when it is not assumed that R has these properties. The second note considers a separably generated extension domain B of a regular domain A, and a sufficient condition is given for a prime ideal p in A to be unramified with respect to B (that is, p B is an intersection of prime ideals and B/P is separably generated over A/p for all P ∈ Ass (B/p B)). Then, assuming that p satisfies this condition, a sufficient condition is given in order that all but finitely many q ∈ S = {q ∈ Spec(A), p ? q and height(q/p) = 1} are unramified with respect to B, and a form of the converse is also considered. The third note shows that if R′ is the integral closure of a semi-local domain R, then I(R) = ∩{R′ _p′ ;p′ ∈ Spec(R′) and altitude(R′/p′) = altitude(R′) ? 1} is a quasi-semi-local Krull domain such that: (a) height(N ^*) = altitude(R) for each maximal ideal N ^* in I(R); and, (b) I(R) is an H-domain (that is, altitude(I(R)/p ^*) = altitude(I(R)) ? 1 for all height one p ^* ∈ Spec(I(R))). Also, K = ∩{R _p ; p ∈ Spec(R) and altitude(R/p) = altitude(R) ? 1} is a quasi-semi-local H-domain such that height (N) = altitude(R) for all maximal ideals N in K.     

Simple-Baer Rings and Minannihilator Modules

Let R be a ring. M is said to be a minannihilator left R-module if r _M l _R (I) = IM for any simple right ideal I of R. A right R-module N is called simple-flat if Nl _R (I) = l _N (I) for any simple right ideal I of R. R is said to be a left simple-Baer (resp., left simple-coherent) ring if the left annihilator of every simple right ideal is a direct summand of _R R (resp., finitely generated). We first obtain some properties of minannihilator and simple-flat modules. Then we characterize simple-coherent rings, simple-Baer rings, and universally mininjective rings using minannihilator and simple-flat modules.     

Adelic version of Margulis arithmeticity theorem

We generalize Margulis's S-arithmeticity theorem to the case when S can be taken as an infinite set of primes. Let R be the set of all primes including infinite one and set . Let S be any subset of R. For each , let be a connected semisimple adjoint -group and be a compact open subgroup for each finite prime . Let denote the restricted topological product of 's, with respect to 's. Note that if S is finite, . We show that if , any irreducible lattice in is a rational lattice. We also present a criterion on the collections and for to admit an irreducible lattice. In addition, we describe discrete subgroups of generated by lattices in a pair of opposite horospherical subgroups. Received: 30 November 2000 / Revised version: 2 April 2001 / Published online: 24 September 2001     

On the set of <Emphasis Type="Italic">t</Emphasis>-linked overrings of an integral domain

Let R be an integral domain with quotient field L. An overring T of R is t-linked over R if I ⁻¹ = R implies that (T : IT)  =  T for each finitely generated ideal I of R. Let O _t (R) denotes the set of all t-linked overrings of R and O(R) the set of all overrings of R. The purpose of this paper is to study some finiteness conditions on the set O _t (R). Particularly, we prove that if O _t (R) is finite, then so is O(R) and O _t (R) = O(R), and if each chain of t-linked overrings of R is finite, then each chain of overrings of R is finite. This yields that the t-linked approach is more efficient than the Gilmer’s treatment (Proc Am Math Soc 131:2337–2346, 2002). We also examine the finiteness conditions in some Noetherian-like settings such as Mori domain, quasicoherent Mori domain, Krull domain, etc. We establish a connection between O _t (R) and the set of all strongly divisorial ideals of R and we conclude by a characterization of domains R that are t-linked under all their overrings. This work was funded by KFUPM under Project # FT/18-2005.     

Ratliff-Rush closures of ideals with respect to a Noetherian module

Let R be a commutative Noetherian ring, E a non-zero finitely generated R-module and I a E-proper ideal of R. The purpose of this paper is to provide some new characterizations of when all powers of I are Ratliff-Rush closed with respect to E and to answer a question raised by W. Heinzer et al. in (The Ratliff-Rush Ideals in a Noetherian Ring: A Survey, in Methods in Module Theory, Dekker, New York, 1992, pp. 149-159).     

Explicit linear minimal free resolutions over a natural class of Rees algebras

Homological properties of the Rees algebra R of a Koszul K-algebra A over a field K, with respect to the maximal homogeneous ideal, are studied. In particular, for a finitely generated graded A-module N with linear minimal free R-resolution over A, the minimal free resolution of is explicitly constructed. This resolution is again linear.Received: 23 October 2000     

d-ideals,f d-ideals and prime ideals

Abstract

Let R be a commutative ring. An ideal I of R is called a d-ideal (f d-ideal) provided that for each a ∈ I (finite subset F of I) and b ∈ R, Ann(a) ? Ann(b) (Ann(F) ? Ann(b)) implies that b ∈ I. It is shown that, the class of z⁰-ideals (hence all sz⁰-ideals), maximal ideals in an Artinian or in a Kasch ring, annihilator ideals, and minimal prime ideals over a d-ideal are some distinguished classes of d-ideals. Furthermore, we introduce the class of f d-ideals as a subclass of d-ideals in a commutative ring R. In this regard, it is proved that the ring R is a classical ring with property (A) if and only if every maximal ideal of R is an f d-ideal. The necessary and sufficient condition for which every prime f d-ideal of a ring R being a maximal or a minimal prime ideal is given. Moreover, the rings for which their prime d-ideals are z⁰-ideals are characterized. Finally, we prove that every prime f d-ideal of a ring R is a minimal prime ideal if and only if for each a ∈ R there exists a finitely generated ideal , for some n ∈ ? such that Ann(a, I) = 0. As a consequence, every prime f d-ideal in a reduced ring R is a minimal prime ideal if and only if X= Min(R) is a compact space.     

Bounds in Polynomial Rings over Artinian Local Rings

Let R be a (mixed characteristic) Artinian local ring of length l and let X be an n-tuple of variables. We prove that several algebraic constructions in the ring R[X] admit uniform bounds on the degrees of their output in terms of l, n and the degrees of the input. For instance, if I is an ideal in R[X] generated by polynomials g _i of degree at most d and if f is a polynomial of degree at most d belonging to I, then f = q ₁ f ₁ + ··· + q _s f _s , for some q _i of degree bounded in terms of d, l and n only. Similarly, the module of syzygies of I is generated by tuples all of whose entries have degree bounded in terms of d, l and n only.     

On Isolated Submodules

Let R be a ring with identity and let M be a unital left R-module. A proper submodule L of M is radical if L is an intersection of prime submodules of M. Moreover, a submodule L of M is isolated if, for each proper submodule N of L, there exists a prime submodule K of M such that N ? K but L ? K. It is proved that every proper submodule of M is radical (and hence every submodule of M is isolated) if and only if N ∩ IM = IN for every submodule N of M and every (left primitive) ideal I of R. In case, R/P is an Artinian ring for every left primitive ideal P of R it is proved that a finitely generated submodule N of a nonzero left R-module M is isolated if and only if PN = N ∩ PM for every left primitive ideal P of R. If R is a commutative ring, then a finitely generated submodule N of a projective R-module M is isolated if and only if N is a direct summand of M.     

Zero-Divisor Graph with Respect to an Ideal

ABSTRACT

Let R be a commutative ring with nonzero identity and let I be an ideal of R. The zero-divisor graph of R with respect to I, denoted by Γ _I (R), is the graph whose vertices are the set {x ? R\I | xy ? I for some y ? R\I} with distinct vertices x and y adjacent if and only if xy ? I. In the case I = 0, Γ₀(R), denoted by Γ(R), is the zero-divisor graph which has well known results in the literature. In this article we explore the relationship between Γ _I (R) ? Γ _J (S) and Γ(R/I) ? Γ(S/J). We also discuss when Γ _I (R) is bipartite. Finally we give some results on the subgraphs and the parameters of Γ _I (R).     

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

The commuting graphs of some subsets in the quaternion algebra over the ring of integers modulo <Emphasis Type="Italic">N</Emphasis>

Let R be an arbitrary ring, S be a subset of R, and Z(S) = {s ∈ S | sx = xs for every x ∈ S}. The commuting graph of S, denoted by Γ(S), is the graph with vertex set S \ Z(S) such that two different vertices x and y are adjacent if and only if xy = yx. In this paper, let I _n , N _n be the sets of all idempotents, nilpotent elements in the quaternion algebra ℤ _n [i, j, k], respectively. We completely determine Γ(I _n ) and Γ(N _n ). Moreover, it is proved that for n ≥ 2, Γ(I _n ) is connected if and only if n has at least two odd prime factors, while Γ(N _n ) is connected if and only if n ∈ 2, 2², p, 2p for all odd primes p.     

Almost equal group multiplications

In a recent paper entitled “A commutative analogue of the group ring” we introduced, for each finite group (G,⋅), a commutative graded Z-algebra R_(G,⋅) which has a close connection with the cohomology of (G,⋅). The algebra R_(G,⋅) is the quotient of a polynomial algebra by a certain ideal I_(G,⋅) and it remains a fundamental open problem whether or not the group multiplication ⋅ on G can always be recovered uniquely from the ideal I_(G,⋅).Suppose now that (G,×) is another group with the same underlying set G and identity element e∈G such that I_(G,⋅)=I_(G,×). Then we show here that the multiplications ⋅ and × are at least “almost equal” in a precise sense which renders them indistinguishable in terms of most of the standard group theory constructions. In particular in many cases (for example if (G,⋅) is Abelian or simple) this implies that the two multiplications are actually equal as was claimed in the previously cited paper.     

Rank-sets of indecomposable modules over one-dimensional rings

Let R be a one-dimensional, reduced Noetherian ring with finite normalization, and suppose there exists a positive integer N_R such that, for every indecomposable finitely generated torsion-free R-module M and every minimal prime ideal P of R, the dimension of M_P, as a vector space over the localization R_P (a field), is less than or equal to N_R. For a finitely generated torsion-free R-module M, we call the set of all such vector-space dimensions the rank-set of M. What subsets of the integers arise as rank-sets of indecomposable finitely generated torsion-free R-modules? In this article, we give more information on rank-sets of indecomposable modules, to supplement previous work concerning this question. In particular we provide examples having as rank-sets those intervals of consecutive integers that are not ruled out by an earlier article of Arnavut, Luckas and Wiegand. We also show that certain non-consecutive rank-sets never arise.     

MULTIPLICATIVELY CLOSED SETS OF IDEALS AND RESIDUAL DIVISION

Let R be a ring (commutative with identity), let Γ be a multiplicatively closed set of finitely generated nonzero ideals of R, for an ideal I of R let I _Γ = ∪ {I : G; G ∈ Γ}, and for an R-algebra A such that GA ≠ (0) for all G ∈ Γ let A ^Γ = ∪ {A : _T GA; G ∈ Γ}, where T is the total quotient ring of A. Then I _Γ is an ideal in R, I → I _Γ is a semi-prime operation (on the set I of ideals I of R) that satisfies a cancellation law, and it is a prime operation on I if and only if R = R ^Γ. Also, A ^Γ is an R-algebra and A → A ^Γ is a closure operation on any set A = {A; A is an R-algebra, R ? A, and if C is a ring between R and A, then regular elements in C remain regular in A}. Finally, several results are proved concerning relations between the ideals I _Γ and (IA)_ΓA and between the R-algebras R ^Γ and A ^Γ.

     

Efficient Generation of Prime Ideals in Polynomial Rings up to Radical

We call an ideal I of a ring R radically perfect if among all ideals whose radical is equal to the radical of I, the one with the least number of generators has this number of generators equal to the height of I. Let R be a ring and R[X] be the polynomial ring over R. We prove that if R is a strong S-domain of finite Krull dimension and if each nonzero element of R is contained in finitely many maximal ideals of R, then each maximal ideal of R[X] of maximal height is the J _max-radical of an ideal generated by two elements. We also show that if R is a Prüfer domain of finite Krull dimension with coprimely packed set of maximal ideals, then for each maximal ideal M of R, the prime ideal MR[X] of R[X] is radically perfect if and only if R is of dimension one and each maximal ideal of R is the radical of a principal ideal. We then prove that the above conditions on the Prüfer domain R also imply that a power of each finitely generated maximal ideal of R is principal. This result naturally raises the question whether the same conditions on R imply that the Picard group of R is torsion, and we prove this to be so when either R is an almost Dedekind domain or a Prüfer domain with an extra condition imposed on it.