On defensive alliance in zero-divisor graphs

Author(s):  
Najat Muthana ◽  
Abdellah Mamouni

Let [Formula: see text] be a finite undirected graph without loops or multiple edges. A non-empty set of vertices [Formula: see text] is called defensive alliance if every vertex in [Formula: see text] have at least one more neighbors inside of [Formula: see text] than it has outside of [Formula: see text]. A non-empty set of vertices [Formula: see text] is called a dominating set if every vertex not in [Formula: see text] is adjacent to at least one member of [Formula: see text]. A defensive alliance dominating set is called global. The global defensive alliance number [Formula: see text] is defined as the minimum cardinality among all global defensive alliances. In this paper, we initiate the study of the global defensive alliance number of zero-divisor graphs [Formula: see text] with [Formula: see text] is a finite commutative ring. Hence, we calculate [Formula: see text] for some usual kind of rings. We finish by a complete characterization of rings with [Formula: see text].

2019 ◽  
Vol 53 (5) ◽  
pp. 1763-1773
Author(s):  
Meziane Aider ◽  
Lamia Aoudia ◽  
Mourad Baïou ◽  
A. Ridha Mahjoub ◽  
Viet Hung Nguyen

Let G = (V, E) be an undirected graph where the edges in E have non-negative weights. A star in G is either a single node of G or a subgraph of G where all the edges share one common end-node. A star forest is a collection of vertex-disjoint stars in G. The weight of a star forest is the sum of the weights of its edges. This paper deals with the problem of finding a Maximum Weight Spanning Star Forest (MWSFP) in G. This problem is NP-hard but can be solved in polynomial time when G is a cactus [Nguyen, Discrete Math. Algorithms App. 7 (2015) 1550018]. In this paper, we present a polyhedral investigation of the MWSFP. More precisely, we study the facial structure of the star forest polytope, denoted by SFP(G), which is the convex hull of the incidence vectors of the star forests of G. First, we prove several basic properties of SFP(G) and propose an integer programming formulation for MWSFP. Then, we give a class of facet-defining inequalities, called M-tree inequalities, for SFP(G). We show that for the case when G is a tree, the M-tree and the nonnegativity inequalities give a complete characterization of SFP(G). Finally, based on the description of the dominating set polytope on cycles given by Bouchakour et al. [Eur. J. Combin. 29 (2008) 652–661], we give a complete linear description of SFP(G) when G is a cycle.


2012 ◽  
Vol 2012 ◽  
pp. 1-7 ◽  
Author(s):  
T. Tamizh Chelvam ◽  
T. Asir

A subset D of the vertex set of a graph G, is a dominating set if every vertex in V−D is adjacent to at least one vertex in D. The domination number γ(G) is the minimum cardinality of a dominating set of G. A subset of V−D, which is also a dominating set of G is called an inverse dominating set of G with respect to D. The inverse domination number γ′(G) is the minimum cardinality of the inverse dominating sets. Domke et al. (2004) characterized connected graphs G with γ(G)+γ′(G)=n, where n is the number of vertices in G. It is the purpose of this paper to give a complete characterization of graphs G with minimum degree at least two and γ(G)+γ′(G)=n−1.


2019 ◽  
Vol 18 (07) ◽  
pp. 1950126 ◽  
Author(s):  
Ebrahim Hashemi ◽  
Mona Abdi ◽  
Abdollah Alhevaz

Let [Formula: see text] be an associative ring with nonzero identity. The zero-divisor graph [Formula: see text] of [Formula: see text] is the (undirected) graph with vertices the nonzero zero-divisors of [Formula: see text], and distinct vertices [Formula: see text] and [Formula: see text] are adjacent if and only if [Formula: see text] or [Formula: see text]. Let [Formula: see text] and [Formula: see text] be the set of all right annihilators and the set of all left annihilator of an element [Formula: see text], respectively, and let [Formula: see text]. The relation on [Formula: see text] given by [Formula: see text] if and only if [Formula: see text] is an equivalence relation. The compressed zero-divisor graph [Formula: see text] of [Formula: see text] is the (undirected) graph with vertices the equivalence classes induced by [Formula: see text] other than [Formula: see text] and [Formula: see text], and distinct vertices [Formula: see text] and [Formula: see text] are adjacent if and only if [Formula: see text] or [Formula: see text]. The goal of our paper is to study the diameter of zero-divisor and the compressed zero-divisor graph of skew Laurent polynomial rings over noncommutative rings. We give a complete characterization of the possible diameters of [Formula: see text] and [Formula: see text], where the base ring [Formula: see text] is reversible and also has the [Formula: see text]-compatible property.


2015 ◽  
Vol 14 (06) ◽  
pp. 1550079 ◽  
Author(s):  
M. J. Nikmehr ◽  
S. Khojasteh

Let R be a commutative ring with identity, I its proper ideal and M be a unitary R-module. In this paper, we introduce and study a kind of graph structure of an R-module M with respect to proper ideal I, denoted by ΓI(RM) or simply ΓI(M). It is the (undirected) graph with the vertex set M\{0} and two distinct vertices x and y are adjacent if and only if [x : M][y : M] ⊆ I. Clearly, the zero-divisor graph of R is a subgraph of Γ0(R); this is an important result on the definition. We prove that if ann R(M) ⊆ I and H is the subgraph of ΓI(M) induced by the set of all non-isolated vertices, then diam (H) ≤ 3 and gr (ΓI(M)) ∈ {3, 4, ∞}. Also, we prove that if Spec (R) and ω(Γ Nil (R)(M)) are finite, then χ(Γ Nil (R)(M)) ≤ ∣ Spec (R)∣ + ω(Γ Nil (R)(M)). Moreover, for a secondary R-module M and prime ideal P, we determine the chromatic number and the clique number of ΓP(M), where ann R(M) ⊆ P. Among other results, it is proved that for a semisimple R-module M with ann R(M) ⊆ I, ΓI(M) is a forest if and only if ΓI(M) is a union of isolated vertices or a star.


2020 ◽  
Vol 12 (02) ◽  
pp. 2050025
Author(s):  
Manal N. Al-Harere ◽  
Mohammed A. Abdlhusein

In this paper, a new model of domination in graphs called the pitchfork domination is introduced. Let [Formula: see text] be a finite, simple and undirected graph without isolated vertices, a subset [Formula: see text] of [Formula: see text] is a pitchfork dominating set if every vertex [Formula: see text] dominates at least [Formula: see text] and at most [Formula: see text] vertices of [Formula: see text], where [Formula: see text] and [Formula: see text] are non-negative integers. The domination number of [Formula: see text], denotes [Formula: see text] is a minimum cardinality over all pitchfork dominating sets in [Formula: see text]. In this work, pitchfork domination when [Formula: see text] and [Formula: see text] is studied. Some bounds on [Formula: see text] related to the order, size, minimum degree, maximum degree of a graph and some properties are given. Pitchfork domination is determined for some known and new modified graphs. Finally, a question has been answered and discussed that; does every finite, simple and undirected graph [Formula: see text] without isolated vertices have a pitchfork domination or not?


2019 ◽  
Vol 13 (04) ◽  
pp. 2050071
Author(s):  
Derya Doğan Durgun ◽  
Berna Lökçü

Let [Formula: see text] be a graph and [Formula: see text] A dominating set [Formula: see text] is a set of vertices such that each vertex of [Formula: see text] is either in [Formula: see text] or has at least one neighbor in [Formula: see text]. The minimum cardinality of such a set is called the domination number of [Formula: see text], [Formula: see text] [Formula: see text] strongly dominates [Formula: see text] and [Formula: see text] weakly dominates [Formula: see text] if (i) [Formula: see text] and (ii) [Formula: see text] A set [Formula: see text] is a strong-dominating set, shortly sd-set, (weak-dominating set, shortly wd-set) of [Formula: see text] if every vertex in [Formula: see text] is strongly (weakly) dominated by at least one vertex in [Formula: see text]. The strong (weak) domination number [Formula: see text] of [Formula: see text] is the minimum cardinality of an sd-set (wd-set). In this paper, we present weak and strong domination numbers of thorn graphs.


2019 ◽  
Vol 19 (12) ◽  
pp. 2050226 ◽  
Author(s):  
G. Kalaimurugan ◽  
P. Vignesh ◽  
T. Tamizh Chelvam

Let [Formula: see text] be a finite commutative ring without identity. In this paper, we characterize all finite commutative rings without identity, whose zero-divisor graphs are unicyclic, claw-free and tree. Also, we obtain all finite commutative rings without identity and of cube-free order for which the corresponding zero-divisor graph is toroidal.


2007 ◽  
Vol 06 (04) ◽  
pp. 671-685 ◽  
Author(s):  
K. VARADARAJAN

We give a complete characterization of the class of commutative rings R possessing the property that Spec(R) is weakly 0-dimensional. They turn out to be the same as strongly π-regular rings. We considerably strengthen the results of K. Samei [13] tying up cleanness of R with the zero dimensionality of Max(R) in the Zariski topology. In the class of rings C(X), W. Wm Mc Govern [6] has characterized potent rings as the ones with X admitting a clopen π-base. We prove the analogous result for any commutative ring in terms of the Zariski topology on Max(R). Mc Govern also introduced the concept of an almost clean ring and proved that C(X) is almost clean if and only if it is clean. We prove a similar result for all Gelfand rings R with J(R) = 0.


2012 ◽  
Vol 12 (02) ◽  
pp. 1250151 ◽  
Author(s):  
M. BAZIAR ◽  
E. MOMTAHAN ◽  
S. SAFAEEYAN

Let M be an R-module. We associate an undirected graph Γ(M) to M in which nonzero elements x and y of M are adjacent provided that xf(y) = 0 or yg(x) = 0 for some nonzero R-homomorphisms f, g ∈ Hom (M, R). We observe that over a commutative ring R, Γ(M) is connected and diam (Γ(M)) ≤ 3. Moreover, if Γ(M) contains a cycle, then gr (Γ(M)) ≤ 4. Furthermore if ∣Γ(M)∣ ≥ 1, then Γ(M) is finite if and only if M is finite. Also if Γ(M) = ∅, then any nonzero f ∈ Hom (M, R) is monic (the converse is true if R is a domain). For a nonfinitely generated projective module P we observe that Γ(P) is a complete graph. We prove that for a domain R the chromatic number and the clique number of Γ(M) are equal. When R is self-injective, we will also observe that the above adjacency defines a covariant functor between a subcategory of R-MOD and the Category of graphs.


2019 ◽  
Vol 18 (01) ◽  
pp. 1950006 ◽  
Author(s):  
T. Tamizh Chelvam ◽  
S. Anukumar Kathirvel

Let [Formula: see text] be a finite commutative ring with nonzero identity and [Formula: see text] be the set of all units of [Formula: see text] The graph [Formula: see text] is the simple undirected graph with vertex set [Formula: see text] in which two distinct vertices [Formula: see text] and [Formula: see text] are adjacent if and only if there exists a unit element [Formula: see text] in [Formula: see text] such that [Formula: see text] is a unit in [Formula: see text] In this paper, we obtain degree of all vertices in [Formula: see text] and in turn provide a necessary and sufficient condition for [Formula: see text] to be Eulerian. Also, we give a necessary and sufficient condition for the complement [Formula: see text] to be Eulerian, Hamiltonian and planar.


Sign in / Sign up

Export Citation Format

Share Document