Abstract
Let A be a commutative ring with 1≠0 and R=A×A. The unit dot product graph of R is defined to be the undirected graph UD(R) with the multiplicative group of units in R, denoted by U(R), as its vertex set. Two distinct vertices x and y are adjacent if and only if x·y=0∈A, where x·y denotes the normal dot product of x and y. In 2016, Abdulla studied this graph when \(A=\mathbb {Z}_{n}\), \(n \in \mathbb {N}\), n≥2. Inspired by this idea, we study this graph when A has a finite multiplicative group of units. We define the congruence unit dot product graph of R to be the undirected graph CUD(R) with the congruent classes of the relation \(\thicksim \) defined on R as its vertices. Also, we study the domination number of the total dot product graph of the ring \(R=\mathbb {Z}_{n}\times... \times \mathbb {Z}_{n}\), k times and k<∞, where all elements of the ring are vertices and adjacency of two distinct vertices is the same as in UD(R). We find an upper bound of the domination number of this graph improving that found by Abdulla.
Similar content being viewed by others
Introduction and preliminaries
The idea of a zero-divisor graph of a commutative ring R was introduced by Beck in [1] (1988). He considered all the elements of R to be vertices and two distinct vertices x and y are adjacent if and only if xy=0, where xy denotes the multiplication in R. He was mainly interested in colorings. Beck’s work was continued by Anderson and Naseer in [2] (1993), where they gave a counterexample of Beck’s conjecture. In 1999, Livingston and Anderson in [3] gave a modified definition of the zero-divisor graph, denoted by Γ(R), by taking the nonzero zero-divisors of the ring as vertices and adjacency of two distinct vertices remains unchanged, i.e., two distinct nonzero zero-divisors x and y are adjacent if and only if xy=0. This definition became the standard definition of the zero-divisor graph. In the same year, they continued their work on the zero-divisor graphs with Frazier and Lauve in [4]. They studied the cliques which are complete subgraphs of Γ(R) and the relationship between graph isomorphisms and ring isomorphisms.
In 2003, Redmond in [5] introduced the ideal-based zero-divisor graph ΓI(R) with vertex set {x∈R−I | xy∈I for some y∈R−I}, where I is an ideal of R and two distinct vertices x and y are adjacent if and only if xy∈I. This graph is considered to be a generalization of zero-divisor graphs of rings. In 2002, Mulay in [6] provided the idea of the zero-divisor graph determined by equivalence classes. Later on, Spiroff and Wickham in [7] denoted this graph by ΓE(R) and compared it with Γ(R). This graph was called the compressed graph by Anderson and LaGrange in [8] (2012). In the compressed graph, the relation on R is given by \(r\thicksim s\) if and only if ann(r)=ann(s), where ann(r)={v∈R | rv=0} is the annihilator of r. This relation is an equivalence relation on R. The vertex set of the compressed graph is the set of all equivalence classes induced by \(\thicksim \) except the classes \([0]_{\thicksim }\) and \([1]_{\thicksim }\). The equivalence class of r is \([r]_{\thicksim }=\{a\in R\,|\,r\thicksim a\}\) and two distinct vertices \([r]_{\thicksim }\) and \([s]_{\thicksim }\) are adjacent if and only if rs=0. There have been other ways to associate a graph to a ring R. For surveys on the topic of zero-divisor graphs, see [9, 10].
In 2015, Badawi introduced in [11] the dot product graph associated with a commutative ring R. In 2016, his student Abdulla in his master thesis [12] introduced the unit dot product graph and the equivalence dot product graph on a commutative ring with 1≠0. We are interested here primarily in these graphs.
In 2016, Anderson and Lewis introduced the congruence-based zero-divisor graph in [13], which is a generalization of the zero-divisor graphs mentioned above. The vertices of this graph are the congruence classes of the nonzero zero-divisors of R induced by a congruence relation defined on the ring R. Two distinct vertices are adjacent if and only if their product is zero. The concept of congruence relation is used in this paper.
In 2017, Chebolu and Lockridge in [14] found all cardinal numbers occurring as the cardinality of the group of all units in a commutative ring with 1≠0. This is very helpful to us as we want to graph the units of a ring R.
In the second section, we generalize a result of [12] concerning the unit dot product graph of a commutative ring R, where \(R=\mathbb {Z}_{n} \times \mathbb {Z}_{n}\), replacing \(\mathbb {Z}_{n}\) by a a commutative ring A such that U(A) is finite. In the third section, a congruence relation on the unit dot product graph is defined and some of its properties are characterized. In the last section, we discuss the domination number of some graphs.
We recall some definitions which are used in this paper. Let G be an undirected graph. Two vertices v1 and v2 are said to be adjacent if v1,v2 are connected by an edge of G. A finite sequence of edges from a vertex v1 of G to a vertex v2 of G is called a path of G. We say that G is connected if there is a path between any two distinct vertices and it is totally disconnected if no two vertices in G are adjacent. For two vertices x and y in G, the distance between x and y, denoted by d(x,y), is defined to be the length of a shortest path from x to y, where d(x,x)=0 and d(x,y)=∞ if there is no such path. The diameter of G is diam(G)= sup{d(x,y)|x and y are vertices in G}. A cycle of length n, n≥3, in G is a path of the form x1−x2−...−xn−x1, where xi≠xj when i≠j. The girth of G, denoted by gr(G), is the length of the shortest cycle in G and gr(G)=∞ if G contains no cycle. A graph G is said to be complete if any two distinct vertices are adjacent and the complete graph with n vertices is denoted by Kn. A complete bipartite graph is a graph which may be partitioned into two disjoint nonempty vertex sets A and B such that two distinct vertices are adjacent if and only if they are in distinct vertex sets. This graph is denoted by Km,n, where |A|=m and |B|=n.
Throughout the paper, R and A denote commutative rings with 1≠0. Its set of zero-divisors is denoted by Z(R) and Z(R)∗=Z(R)−{0}. As usual, \(\mathbb {Z}\), \(\mathbb {Z}_{n}\) and GF(pn) denote the integers, integers modulo n, and finite field with pn elements, respectively, where p is a prime number and n is a positive integer. ϕ(n) is the Euler phi function of a given positive integer n, which counts the positive integers up to n that are relatively prime to n.
Unit dot product graph of a commutative ring
The unit dot product graph of R was introduced in [12], denoted by UD(R). This graph is a subgraph of the total dot product graph, denoted by TD(R), where its vertex set is all the elements of R. Some of its properties were characterized when R=A×A and \(A=\mathbb {Z}_{n}\). In this section, we generalize the UD(R), as A will be a commutative ring with 1≠0, whose multiplicative group of units is finite.
In the proof of Theorems 2 and 3, we use the order of the multiplicative group of units U(R) of R. In this context, the following theorem is helpful.
Theorem 1
(Th. 8, [14]) Let λ be a cardinal number. There exists a commutative ring R with |U(R)|=λ if and only if λ is equal to
-
1.
An odd number of the form \(\prod _{i=1}^{t} (2^{n_{i}}-1)\) for some positive integers n1,...,nt
-
2.
An even number
-
3.
An infinite cardinal number
We are interested only in commutative rings R=A×A, where A is a commutative ring with 1≠0 and U(A) has a finite order. For instance, from [14], rings in the form \(R_{2m}=\frac {\mathbb {Z}[x]}{(x^{2},\, mx)}\) are examples of such a ring. Here, U(A) has an even order equal to 2 m, where \(m \in \mathbb {N}\). The units in these rings are in the form 1+bx and −1+bx, 0≤b≤m−1. If the order of U(A) is odd, then this odd number will be in the form \(\prod _{i= 1}^{t} (2^{n_{i}}-1)\) for some positive integers n1,...,nt and the characteristic of the ring must be equal to 2.
The following two Theorems 2 and 3 characterize the graph of the rings R=R2m×R2m and R=A×A, respectively.
Theorem 2
Let R=R2m×R2m. Then, UD(R) is the union of m disjoint K2m,2m’s.
Proof
Since |U(R2m)|=2m, then UD(R) has exactly 4m2 vertices. Let v1=u(1,a) and v2=v(1,b) in R, for some u,v,a,b∈U(R2m). From [14], the units are in the form 1+ax and −1+ax, where 0≤a≤m−1, so we have v1=u(1,1+ax) and v2=v(1,−1+bx) in R for some u,v∈U(R2m), 0≤a,b≤m−1. Hence, v1 is adjacent to v2 if and only if v1·v2=uv(b−a)x=0 in R2m. This is equivalent to b=a, since uv is a unit in R2m. Thus, for each 0≤a≤m−1, let Va={u(1,1+ax) | u∈U(R2m)} and Wa={u(1,−1+ax) | u∈U(R2m)}. For different units u and u′ in U(R2m), we cannot have u(1,1+ax)=u′(1,1+ax) or u(1,−1+ax)=u′(1,−1+ax), so |Va|=|Wa|=2m. If u(1,1+ax)=u′(1,−1+ax), then u=u′ and u(1+ax)=u′(−1+ax). So u(1+ax)=u(−1+ax) which implies that u=−u, a contradiction. Thus, Va∩Wa=∅. It is clear that every two distinct vertices in Va or in Wa are not adjacent. By construction of Va and Wa, every vertex in Va is adjacent to every vertex in Wa. Thus, the vertices in Va∪Wa form the graph K2m,2m that is a complete bipartite subgraph of TD(R). By construction, UD(R) is the union of m disjoint K2m,2m’s. □
Example 1
When m=1, we have \(R_{2}=\frac {Z[x]}{(x^{2},\,x)}\) which is isomorphic to \(\mathbb {Z}\). The graph of UD(R2×R2) will be a complete bipartite graph of 4 vertices which are (1,1), (1,-1), (-1,1), and (-1,-1). Thus, its diameter = 2 and girth = 4 (Fig. 1).
The following theorem deals with the case R=A×A, where |U(A)| is odd. In this case, the unit −1 in A (from Cauchy Theorem) must have order 1. Then, Char(A)=2.
Theorem 3
Let R=A×A. If the order of the multiplicative group U(A) is odd, then UD(R) is the union of \(\frac {m-1}{2}\) disjoint Km,m’s and one Km.
Proof
From [14], the order of U(A) is an odd number if and only if this odd number is of the form \(\prod _{i=1}^{t} (2^{n_{i}}-1)\) for some positive integers n1,...,nt. Let m be the odd order of U(A), so UD(R) has exactly m2 vertices. Let v1=u(1,a) and v2=v(1,b) in R, for some u,v,a,b∈U(A). v1 is adjacent to v2 if and only if v1·v2=uv+uvab=0. This will occur if and only if 1+ab=0. This is equivalent to a=b−1, since uv is a unit in A and Char(R)=2. Thus, for each, a≠1∈U(A), let Va={u(1,a) | u∈U(A)} and Wa={u(1,a−1) | u∈U(A)}. For different units u and u′ in U(A), we cannot have u(1,a)=u′(1,a−1), so |Va|=|Wa|=m. If u(1,a)=u′(1,a−1), then u=u′ and ua=u′a−1. So, u(a−a−1)=0, i.e. a=a−1, which implies that a2=1 a contradiction since U(A) has an odd order. Thus, Va∩Wa=∅. It is clear that every two distinct vertices in Va or in Wa are not adjacent. By construction of Va and Wa, every vertex in Va is adjacent to every vertex in Wa. Thus, the vertices in Va∪Wa form the graph Km,m that is a complete bipartite subgraph of TD(R). By construction, there are exactly \(\frac {m-1}{2}\) disjoint complete bipartite Km,m subgraphs of TD(R). For a=1, we have m vertices in the form of u(a,a). Since Char(R)=2, these m vertices form the graph Km, that is a complete subgraph of TD(R). Hence, UD(R) is the union of \(\frac {m-1}{2}\) disjoint Km,m’s and one Km. □
Congruence dot product graph of a commutative ring
In 2016, Anderson and Lewis in [13] introduced the congruence-based zero-divisor graph \(\Gamma _{\thicksim }(R)=\Gamma (R/\thicksim)\), where \(\thicksim \) is a multiplicative congruence relation on R and showed that \(R/\thicksim \) is a commutative semigroup with zero. They showed that the zero-divisor graph of R, the compressed zero-divisor graph of R, and the ideal based zero-divisor graph of R are examples of the congruence-based zero-divisor graphs of R. In this paper, we are interested in the multiplicative congruence relation \(\thicksim \) on R, which is an equivalence relation on the multiplicative monoid R with the additional property that if x,y,z,w∈R with \(x\thicksim y\) and \(z\thicksim w\), then \(xz\thicksim yw\).
The equivalence unit dot product graph of U(R) was introduced in [12], where R=A×A and \(A=\mathbb {Z}_{n}\). The equivalence relation \(\thicksim \) on U(R) was defined such that \(x\thicksim y\), where x,y∈U(R), if x=(c,c)y for some (c,c)∈U(R). Let EU(R) be the set of all distinct equivalence classes of U(R). If X∈EU(R), then ∃ a∈U(A) such that \(X=[(1,a)]_{\thicksim }=\{u(1,a)\,|\,u\in U(A)\}\). Thus, the equivalence unit dot product graph of U(R) is the (undirected) graph EUD(R) with vertices EU(R). Two distinct vertices X and Y are adjacent if and only if x·y=0∈A, where x·y denotes the normal dot product of x and y.
From the definition of the congruence relation, we find that the relation defined by Abdulla is not only an equivalence relation but also a congruence relation. In fact, let \(x \thicksim y\) and \(w \thicksim v\). So, x=(c1,c1)y and w=(c2,c2)v for some (c1,c1),(c2,c2)∈U(R). Then, xw=(c1,c1)y(c2,c2)v=(c1,c1)(c2,c2)yv=(c,c)yv and hence \(xw \thicksim yv\). We denote this congruence unit dot product graph by CUD(R), and its set of vertices is the set of all distinct congruence classes of U(R), denoted by CU(R).
In this section, we characterize the generalized case of the congruence unit dot product graph CUD(R), as we will apply the congruence relation on the unit dot product graph we introduced in the first section.
Theorem 4
Let R=R2m×R2m. Then, CUD(R) is the union of m disjoint K1,1’s.
Proof
For each a∈U(R2m), let Va and Wa be as in the proof of Theorem 2. Then, Va,Wa∈CU(R). Indeed, for each a∈U(R2m), there exist Va and Wa∈CU(R) each has cardinality 2m. We conclude that each K2m,2m of UD(R) is a K1,1 of CUD(R). From Theorem 2 the result follows. □
Example 2
In Example 1, we graphed the unit dot product graph of R2×R2, and now, we graph the congruence dot product graph of the same ring. This graph will be a complete graph of 2 vertices as R2 is isomorphic to \(\mathbb {Z}\). So, we will have only two congruence classes \([(1,1)]_{\thicksim }=\{(1,1),(-1,-1)\}\) and \([(1,-1)]_{\thicksim }=\{(1,-1),(-1,1)\}\) (Fig. 2).
Theorem 5
Let R=A×A. If the order of U(A) is odd, then CUD(R) is the union of \(\frac {m-1}{2}\) disjoint K1,1’s and one K1.
Proof
For each a∈U(A), let Va and Wa be as in the proof of Theorem 3. Then, Va,Wa∈CU(R). Indeed, for each a∈U(R) and a≠1, there exist Va and Wa∈CU(R) each of cardinality m. For a=1, we have one congruence class V, where V={u(a,a) | u∈U(A)}. We conclude that each Km,m of UD(R) is a K1,1 of CUD(R), and each Km of UD(R) is a K1 of CUD(R). From Theorem 3, the result follows. □
Let \(R=\mathbb {Z}_{n}\times \mathbb {Z}_{n}\). We make a little change on the congruence relation defined above by taking the vertices from the whole ring R not only from U(R). Define a relation on R such that \(x \thicksim y\), where x,y∈R, if x=(c,c)y for some (c,c)∈U(R). It is clear that \(\thicksim \) is an equivalence relation on R and also a congruence relation.
The congruence total dot product graph of R is defined to be the undirected graph CTD(R), and its vertices are the congruent classes of all the elements of R induced by the defined congruence relation \(\thicksim \). Two distinct classes \([X]_{\thicksim }\) and \([Y]_{\thicksim }\) are adjacent if and only if \(x\cdot y= 0\in \mathbb {Z}_{n}\), where x·y denotes the normal dot product of x and y. Also, the congruence zero-divisor dot product graph, denoted by CZD(R), is defined to be an undirected graph whose vertices are the congruent classes of the nonzero zero-divisor elements in R and adjacency between distinct vertices remains as defined before.
Obviously, this congruence relation is well-defined. Indeed, let x,x′,y,y′∈R be such that y=(y1,y2) and y′=(y1′,y2′) and let u,u′∈U(R) be such that u=(c1,c1) and u′=(c1′,c1′), where \(y_{1}, y_{1}', y_{2}, y_{2}', c_{1}, c_ 1' \in \mathbb {Z}_{n}\). Assume that \(x\thicksim y\) and \(x'\thicksim y'\). Then, x·x′=0 if and only if (c1y1)(c1′y1′)+(c1y2)(c1′y2′)=0. This happens if and only if y1y1′+y2y2′=0, since c1c1′ is a unit in \(\mathbb {Z}_{n}\).
Theorem 6
Let \(A=\mathbb {Z}_{p}\), where p is a prime number and R=A×A. Then, CTD(R) is disconnected and \(CZD(R)=\Gamma _{\thicksim }(R)\) is a complete graph of 2 vertices.
Proof
If CTD(R) was connected, then ∃ x,y∈R such that x is adjacent to y. x·y=0 if and only if xy=0, leads to a contradiction with (Theorem 2.1, [11]). So, \(CZD(R)=\Gamma _{\thicksim }(R)\) is connected. Since A is a field, then all the nonzero zero-divisors in R will be in two classes only, which are \([(a,0)]_{\thicksim }\) and \([(0,b)]_{\thicksim }\), ∀ a,b∈U(A) and since (a,0)·(0,b)=0, so it is a complete graph of two vertices. □
If \(A=\mathbb {Z}_{p}\) and \(R=\mathbb {Z}_{p}\times... \times \mathbb {Z}_{p}\), k times and k<∞, then the diameter and girth of CZD(R) and CTD(R) are the same as the case of TD(R) and ZD(R), which was discussed before in [11]. This reduces the number of vertices but adjacency is the same in both cases.
Example 3
If \(A=\mathbb {Z}\), then R=\(\mathbb {Z}\times \mathbb {Z}\). Here, the only units in the form (c,c) are (1,1) and (-1,-1) so the classes of the zero-divisors will be in the form \([(a,0)]_{\thicksim }=\{(a,0),(-a,0)\}\) and \([(0,a)]_{\thicksim }=\{(0,a),(0,-a)\}\), ∀ a∈U(A). For two distinct vertices (a,0)·(b,0)≠0, because ab≠0. Then, there will be an edge only between classes in the form \([(a,0)]_{\thicksim }\) and \([(0,b)]_{\thicksim }\), which means diam(CZD(R))=2 and gr(CZD(R))=4.
Theorem 7
Let \(R=\mathbb {Z}_{n}\times \mathbb {Z}_{n}\) for \(n\in \mathbb {N}\) and n is not a prime number. Then, CTD(R) is a connected graph with diam(CTD(R))=3 and gr(CTD(R))=3.
Proof
The proof is similar to that of Theorem 2.3 [11], taking into consideration that the vertices we used are in distinct classes. □
Domination number
Let G be a graph with V as its set of vertices. We recall that a subset S⊆V is called 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 study of the domination number started around 1960s; however, there are some domination-related problems before that date. Namely, about 100 years earlier, in 1862, De Jaenisch [15] posed the problem of finding the minimum number of queens required to cover (attack) each square of an n×n chess board. In 1892, there were three basic types of problems that chess players studied during this time reported by Rouse Ball in [16]. For more details on this topic, see [17, 18].
In this section, we find a new upper bound of the domination number of the total dot product graph of \(\mathbb {Z}_{n}\times...\times \mathbb {Z}_{n}\), k times and k<∞. It is an improvement of the upper bound of the same graph given in [12].
Theorem 8
Let n≥4 be an integer that is not prime, \(A=\mathbb {Z}_{n}\) and R=A×A. Then, write \(n= p_{1}^{k_{1}}...p_{m}^{k_{m}}\), where pi′s,1≤i≤m, are distinct prime numbers. Let \(M=\{\frac {n}{p_{i}}\,|\,1 \leq i\leq m\}\). Then
-
1.
If n is even, then \(D=\{(0,b)\,|\,b\in M\} \cup \{(d,0)\,|\,d\in M\} \cup \{(\frac {n}{2},\frac {n}{2})\}\) is a minimal dominating set of TD(R), and thus, γ(TD(R))≤2m+1.
-
2.
If n is odd, then D={(0,b) | b∈M}∪{(d,0) | d∈M}∪{(1,c) | c∈U(A))} is a minimal dominating set of TD(R), and thus, γ(TD(R))≤2m+ϕ(n).
Proof
-
1.
Let n be even and x=(x1,x2) a vertex in TD(R). We consider two cases:
-
(a)
Assume that x is a unit. Since \((x_{1},x_{2})\cdot (\frac {n}{2},\frac {n}{2})=\frac {n}{2}(x_{1}+x_{2})= nc'= 0\) (because x1+x2 is an even number), then x is adjacent to a vertex in D,
-
(b)
Assume that x2 is a zero-divisor of A, i.e., pi|x2 in A for some pi,1≤i≤m. Then, \(v=(0,\frac {n}{p_{i}})\in D\) is adjacent to x in TD(R) (the same case is true if x1 is a zero-divisor of A).
This shows that D is a dominating set of TD(R). We show that it is minimal. We have to find when \((a,p_{i})\cdot (\frac {n}{2},\frac {n}{2})= 0,\ a\in A\). It is clear that if both a and pi are even or odd together, then \((a,p_{i})\cdot (\frac {n}{2},\frac {n}{2})=0\). But if a is even and pi is odd or the opposite, we have \((a,p_{i})\cdot (\frac {n}{2},\frac {n}{2})\neq 0\). Now, when we remove the vertex \((0,\frac {n}{p_{i}})\), the vertex (a,pi) is not adjacent to any other vertex in D, where a and pi are different. The same argument holds if we remove the vertex \((\frac {n}{p_{i}},0)\). Moreover, when we remove the vertex \((\frac {n}{2},\frac {n}{2})\), the vertex u=(u1,u2) which is a unit will not be adjacent to any other vertex in D. Thus, D is a minimal dominating set and therefore γ(CTD(R))≤2m+1.
-
(a)
-
2.
Let n be odd, ϕ(n)=r and x=(x1,x2) a vertex in TD(R). We consider two cases:
-
(a)
Assume that x is a unit. From Theorem 3.3 parts 2 & 3 [12], UD(R) is either a union of \(\frac {r}{2}\) disjoint Kr, r’s or a union of \(\frac {r}{2}-2^{m-1}\) disjoint Kr, r and 2m disjoint Kr’s. In both graphs, every unit (1,c) is adjacent to r units in the form u(1,c) for all u∈U(A),
-
(b)
Assume that x2 is a zero-divisor of A, i.e., pi|x2 in A for some pi,1≤i≤m. Then, \(v=(0,\frac {n}{p_{i}})\in D\) is adjacent to x in TD(R) (the same case takes place if x1 is a zero-divisor of A).
This shows that D is a dominating set of TD(R). In order to show that it is minimal, let us first remove the vertex \(v=(0,\frac {n}{p_{i}})\) from D for some i, 1≤i≤m. We have (a,pi)·(1,c)=a+cpi=0 if and only if a=−cpi. So, when we remove \((0,\frac {n}{p_{i}})\), we will find a vertex (a,pi) for some a∈A which is not adjacent to any other vertices in D (as an example, take a=1). Thus, v cannot be removed from D. The same argument is true if we remove \((\frac {n}{p_{i}},0)\). If we remove the unit (1,c), we will have distinct r units that are not adjacent to any other vertex in D. Thus, D is a minimal dominating set, and then, γ(TD(R))≤2m+ϕ(n).
-
(a)
□
Example 4
Let \(R=\mathbb {Z}_{4}\times \mathbb {Z}_{4}\). As a result of part 1 in the previous theorem, γ(TD(R))≤2×1+1=3. The following figure shows that the dominating set of R is {(0,2),(2,0),(2,2)} (Fig. 3).
We note that the upper bound of the domination number of the congruence total dot product graph of \(\mathbb {Z}_{n}\times \mathbb {Z}_{n}\) is the same as the previous result of the total dot product graph, taking into consideration that the vertices we used are in distinct classes.
Example 5
Let \(R=\mathbb {Z}_{4}\times \mathbb {Z}_{4}\) as in example 4. The vertices of CTD(R) are the congruence classes \([(0,1)]_{\thicksim }=\{(0,1),(0,3)\}\), \([(0,2)]_{\thicksim }=\{(0,2)\}\), \([(1,0)]_{\thicksim }=\{(1,0),(3,0)\}\), \([(1,1)]_{\thicksim }=\{(1,1),(3,3)\}\), \([(1,2)]_{\thicksim }=\{(1,2),(3,2)\}\), \([(1,3)]_{\thicksim }=\{(1,3),(3,1)\}\), \([(2,0)]_{\thicksim }=\{(2,0)\}\), \([(2,1)]_{\thicksim }=\{(2,1),(2,3)\}\), \([(2,2)]_{\thicksim }=\{(2,2)\}\). The following graph shows that γ(CTD(R))=3 and its dominating set is \(\{ [(0,2)]_{\thicksim }, [(2,0)]_{\thicksim }, [(2,2)]_{\thicksim }\}\) (Fig. 4).
The following corollary is a generalization of Theorem 8 when \(R=\mathbb {Z}_{n}\times...\times \mathbb {Z}_{n}\), k times, k<∞ and n is even.
Corollary 1
Let n≥4 be an even integer, \(A=\mathbb {Z}_{n}\) and R=A×...×A, k times and k<∞. Then, write \(n= p_{1}^{k_{1}}...p_{m}^{k_{m}}\), where pi′s,1≤i≤m, are distinct prime numbers. Let \(M=\{\frac {n}{p_{i}}\,|\,1 \leq i\leq m\}\). Then,\(D=\{(0,...,0,b)\,|\,b\in M\} \cup \{(d,0,...,0)\,|\,d\in M\} \cup \{(\frac {n}{2},0,...,0,\frac {n}{2})\}\) is a minimal dominating set of TD(R), and thus, γ(TD(R))≤2m+1.
Proof
Let x=(x1,...,xk) be a vertex in TD(R). We consider two cases:
-
1.
Assume that x is a unit, i.e., each coordinate is an odd number. Then, \((x_{1},...,x_{k})\cdot (\frac {n}{2},0,...,0,\frac {n}{2})=0\),
-
2.
Assume that xi is a zero-divisor of A, 1≤i≤n. If i=1 or n, then x is adjacent to \((0,...,0,\frac {n}{p_{i}})\) or \((\frac {n}{p_{i}},0,...,0)\) and both of them are in D. But if i≠1 or i≠n such that x1 and xn are units, then it is adjacent to \((\frac {n}{2},0,...,0,\frac {n}{2})\in D\).
This shows that D is a dominating set of TD(R). We show that it is minimal. Since \((a,0,0,p_{i})\cdot (\frac {n}{2},0,...,0,\frac {n}{2})=\frac {n}{2} (a+p_{i})\) for some a∈A, which is equal to zero if and only if a and pi are odd or even together. By removing \((0,...,0,\frac {n}{p_{i}})\) from D, we will find a vertex (a,0,0,pi) in TD(R) that is not adjacent to any other vertex in D. The same argument works if we remove \((\frac {n}{p_{i}},0,...,0)\) from D. Also, by removing \((\frac {n}{2},0,...,0,\frac {n}{2})\), we will find a vertex in TD(R) where the first and the last coordinates are units that is not adjacent to any other vertex in D. Thus, D is a minimal dominating set, and then, γ(TD(R))≤2m+1. □
Again here, we note that the upper bound of the domination number of the congruence total dot product graph of \(\mathbb {Z}_{n}\times...\times \mathbb {Z}_{n}\) is the same as the previous result of the total dot product graph, taking into account that the vertices we used are in distinct classes.
Theorem 9
For the unit dot product graph of R:
-
1.
If R=R2m×R2m, then D={(1,a) | a∈U(R2m)} and γ(UD(R))=2m.
-
2.
If R=A×A, where A is a commutative ring with 1≠0 and |U(A)| is an odd number, say m, then D={(1,c) | c∈U(A)} and γ(UD(R))=m.
Proof
-
1.
Let x=(c1,c2) be a vertex in UD(R) and assume that x is not in D. Let \(c=c_{1}c_{2}^{-1} \in U(R_{2m})\). Then, (c1,c2) is adjacent to (1,c) in D. Assume that (1,c) is removed from D for some c in U(R2m). Then, (−c,1) is not adjacent to any other vertex in D. Hence, D is a minimal dominating set, and thus, γ(UD(R))=2m.
-
2.
Holds by the same idea of the proof of part 1.
The following theorem is a direct consequence of Theorem 6 in this paper. In that theorem, we find that CTD(R) is a complete graph of 2 vertices, and as a result its dominating set contains only one vertex of these 2 vertices.
Theorem 10
Let p be a prime number, n≥1, m=pn−1, A=GF(pn) and R=A×A. Then γ(CZD(R))=1.
Conclusion
In our future work, we are looking forward to working on one of the following open questions:
-
1.
In the first section, we studied the case when R=R2m×R2m. We are interested in defining the unit dot product graph in the general case when R=R2m×...×R2m, n times and n<∞. For n odd, the simplest case is R=R2m×...×R2m, (i.e., m=1). By straight forward calculations, the unit dot product graph will be isolated vertices. But the case when m≥2 and n is odd is still an open question. For even n, the case is more complicated.
-
2.
Define the unit dot product graph on a commutative ring R=A×A relaxing the conditions on the ring A and characterizing the case when |U(A)| is infinite.
-
3.
Determine the domination number for all of the previous cases using the results of this paper.
Availability of data and materials
Data sharing is not applicable to this article as no datasets were generated or analyzed during the current study.
References
Beck, I.: Coloring of commutative rings. J. Algebra. 116, 208–226 (1988).
Anderson, D. D., Naseer, M.: Beck’s coloring of a commutative ring. J. Algebra. 159(1993), 500–514.
Anderson, D. F., Livingston, P. S.: The zero-divisor graph of a commutative ring. J. Algebra. 217, 434–447 (1999).
Anderson, D. F., Frazier, A., Lauve, A., Livingston, P. S.: The zero-divisor graph of a commutative ring II. Lect. Notes Pure Appl. Math. 220, 61–72 (2001).
Redmond, S. P: an ideal-based zero-divisor graph of a commutative ring. Commun. Algebra. 31, 4425–4443 (2003).
Mulay, S. B.: Cycles and symmetries of zero-divisors. Commun. Algebra. 30, 3533–3558 (2002).
Spiroff, S., Wickham, C.: A zero divisor graph determined by equivalence classes of zero divisors. Commun. Algebra. 39, 2338–2348 (2011).
Anderson, D. F., LaGrange, J. D.: Commutative Boolean monoids, reduced rings, and the compressed zero-divisor graph. J. Pure Appl. Algebra. 216, 1626–1636 (2012).
Anderson, D. F., Axtell, M. C., Stickles, J. A.: Zero-divisor graphs in commutative rings. Commutative Algebra Noetherian Non-Noetherian Perspect., 23–45 (2011).
Coykendall, J., Sather-Wagstaff, S., Sheppardson, L., Spiroff, S.: On zero divisor graphs. In: Progress in Commutative Algebra II, pp. 241–299 (2012).
Badawi, A.: On the dot product graph of a commutative ring. Commun. Algebra. 43, 43–50 (2015).
Abdulla, M. A.: On the unit dot product graph of a commutative ring, Master Thesis. American University of Sharjah, Sharjah, United Arab Emirates (2016).
Anderson, D. F., Lewis, E. F.: A general theory of zero-divisor graphs over a commutative ring. Int. Electron. J. Algebra. 20, 111–135 (2016).
Chebolu, S. K., Lockridge, K.: How many units can a commutative ring have?Am. Math Mon. 124, 960–965 (2017).
De Jaenisch, C. F.: Traite des Applications de l’Analyse Mathematique au Jeu des Echecs, Petrograd (1862).
Rouse Ball, W. W.: Mathematical recreations and problems of past and present times. Macmillan, New York (1892).
Cockayne, E. J., Hedetniemi, S. T.: Towards a theory of domination in graphs. Networks, 247–261 (1977).
Tarr, J. M.: Domination in graphs. Graduate Thesis and Dissertations, University of South Florida, Florida, USA (2010).
Funding
Not applicable
Author information
Authors and Affiliations
Contributions
The authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
This article does not contain any studies with human participants or animals performed by any of the authors.
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visithttp://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Saleh, D., Megahed, N. Dot product graphs and domination number. J Egypt Math Soc 28, 31 (2020). https://doi.org/10.1186/s42787-020-00092-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s42787-020-00092-6
Keywords
- Unit dot product graph
- Congruence dot product graph
- Congruence total dot product graph
- Domination number