Skip to main content
  • Original Research
  • Open access
  • Published:

Dot product graphs and domination number

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=0A, 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.

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 {xRI | xyI for some yRI}, where I is an ideal of R and two distinct vertices x and y are adjacent if and only if xyI. 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)={vR | 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 x1x2−...−xnx1, where xixj when ij. 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. 1.

    An odd number of the form \(\prod _{i=1}^{t} (2^{n_{i}}-1)\) for some positive integers n1,...,nt

  2. 2.

    An even number

  3. 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≤bm−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,bU(R2m). From [14], the units are in the form 1+ax and −1+ax, where 0≤am−1, so we have v1=u(1,1+ax) and v2=v(1,−1+bx) in R for some u,vU(R2m), 0≤a,bm−1. Hence, v1 is adjacent to v2 if and only if v1·v2=uv(ba)x=0 in R2m. This is equivalent to b=a, since uv is a unit in R2m. Thus, for each 0≤am−1, let Va={u(1,1+ax) | uU(R2m)} and Wa={u(1,−1+ax) | uU(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, VaWa=. 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 VaWa 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).

Fig. 1
figure 1

Unit dot product of R2×R2

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,bU(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≠1U(A), let Va={u(1,a) | uU(A)} and Wa={u(1,a−1) | uU(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=ua−1. So, u(aa−1)=0, i.e. a=a−1, which implies that a2=1 a contradiction since U(A) has an odd order. Thus, VaWa=. 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 VaWa 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,wR 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,yU(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 XEU(R), then aU(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=0A, 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 aU(R2m), let Va and Wa be as in the proof of Theorem 2. Then, Va,WaCU(R). Indeed, for each aU(R2m), there exist Va and WaCU(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).

Fig. 2
figure 2

Congruence dot product graph of R2×R2

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 aU(A), let Va and Wa be as in the proof of Theorem 3. Then, Va,WaCU(R). Indeed, for each aU(R) and a≠1, there exist Va and WaCU(R) each of cardinality m. For a=1, we have one congruence class V, where V={u(a,a) | uU(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,yR, 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,yR be such that y=(y1,y2) and y=(y1′,y2′) and let u,uU(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,yR 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,bU(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)\}\), aU(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 SV 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 pis,1≤im, are distinct prime numbers. Let \(M=\{\frac {n}{p_{i}}\,|\,1 \leq i\leq m\}\). Then

  1. 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. 2.

    If n is odd, then D={(0,b) | bM}{(d,0) | dM}{(1,c) | cU(A))} is a minimal dominating set of TD(R), and thus, γ(TD(R))≤2m+ϕ(n).

Proof

  1. 1.

    Let n be even and x=(x1,x2) a vertex in TD(R). We consider two cases:

    1. (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,

    2. (b)

      Assume that x2 is a zero-divisor of A, i.e., pi|x2 in A for some pi,1≤im. 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.

  2. 2.

    Let n be odd, ϕ(n)=r and x=(x1,x2) a vertex in TD(R). We consider two cases:

    1. (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 uU(A),

    2. (b)

      Assume that x2 is a zero-divisor of A, i.e., pi|x2 in A for some pi,1≤im. 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≤im. 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 aA 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).

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

Fig. 3
figure 3

Subgraph of the total dot product graph of \(\mathbb {Z}_{4}\times \mathbb {Z}_{4}\)

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

Fig. 4
figure 4

Subgraph of the congruence total dot product graph of \(\mathbb {Z}_{4}\times \mathbb {Z}_{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 pis,1≤im, 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. 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. 2.

    Assume that xi is a zero-divisor of A, 1≤in. 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 in 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 aA, 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. 1.

    If R=R2m×R2m, then D={(1,a) | aU(R2m)} and γ(UD(R))=2m.

  2. 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) | cU(A)} and γ(UD(R))=m.

Proof

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

  1. Beck, I.: Coloring of commutative rings. J. Algebra. 116, 208–226 (1988).

    Article  MathSciNet  MATH  Google Scholar 

  2. Anderson, D. D., Naseer, M.: Beck’s coloring of a commutative ring. J. Algebra. 159(1993), 500–514.

  3. Anderson, D. F., Livingston, P. S.: The zero-divisor graph of a commutative ring. J. Algebra. 217, 434–447 (1999).

    Article  MathSciNet  MATH  Google Scholar 

  4. 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).

    MATH  MathSciNet  Google Scholar 

  5. Redmond, S. P: an ideal-based zero-divisor graph of a commutative ring. Commun. Algebra. 31, 4425–4443 (2003).

    Article  MathSciNet  MATH  Google Scholar 

  6. Mulay, S. B.: Cycles and symmetries of zero-divisors. Commun. Algebra. 30, 3533–3558 (2002).

    Article  MathSciNet  MATH  Google Scholar 

  7. Spiroff, S., Wickham, C.: A zero divisor graph determined by equivalence classes of zero divisors. Commun. Algebra. 39, 2338–2348 (2011).

    Article  MathSciNet  MATH  Google Scholar 

  8. 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).

    Article  MathSciNet  MATH  Google Scholar 

  9. Anderson, D. F., Axtell, M. C., Stickles, J. A.: Zero-divisor graphs in commutative rings. Commutative Algebra Noetherian Non-Noetherian Perspect., 23–45 (2011).

  10. Coykendall, J., Sather-Wagstaff, S., Sheppardson, L., Spiroff, S.: On zero divisor graphs. In: Progress in Commutative Algebra II, pp. 241–299 (2012).

  11. Badawi, A.: On the dot product graph of a commutative ring. Commun. Algebra. 43, 43–50 (2015).

    Article  MathSciNet  MATH  Google Scholar 

  12. Abdulla, M. A.: On the unit dot product graph of a commutative ring, Master Thesis. American University of Sharjah, Sharjah, United Arab Emirates (2016).

    Google Scholar 

  13. 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).

    Article  MathSciNet  MATH  Google Scholar 

  14. Chebolu, S. K., Lockridge, K.: How many units can a commutative ring have?Am. Math Mon. 124, 960–965 (2017).

    Article  MathSciNet  MATH  Google Scholar 

  15. De Jaenisch, C. F.: Traite des Applications de l’Analyse Mathematique au Jeu des Echecs, Petrograd (1862).

  16. Rouse Ball, W. W.: Mathematical recreations and problems of past and present times. Macmillan, New York (1892).

    MATH  Google Scholar 

  17. Cockayne, E. J., Hedetniemi, S. T.: Towards a theory of domination in graphs. Networks, 247–261 (1977).

  18. Tarr, J. M.: Domination in graphs. Graduate Thesis and Dissertations, University of South Florida, Florida, USA (2010).

    Google Scholar 

Download references

Funding

Not applicable

Author information

Authors and Affiliations

Authors

Contributions

The authors read and approved the final manuscript.

Corresponding author

Correspondence to Dina Saleh.

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

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s42787-020-00092-6

Keywords

AMS Subject Classification