Metric Dimension of Corona Product and Join Graph of Zero Divisor Graphs of Direct Product of Finite Fields

Gaded, Subhash Mallinath; Narayana, Nithya Sai

doi:10.61091/um120-01

Abstract

1. Introduction and Preliminaries
2. Results on Metric Dimension of Zero Divisor Graph of Direct Product of Finite Fields
3. Metric Dimension of Corona Product of Zero Divisor Graphs of Direct Product of Finite Fields
4. Metric Dimension of Join Graph of Zero Divisor Graphs of Direct Product of Finite Fields
5. Conclusion
Author Contributions
Declaration of Competing Interest

References

Utilitas Mathematica

Volume 120
Pages: 3-9

Research article

Metric Dimension of Corona Product and Join Graph of Zero Divisor Graphs of Direct Product of Finite Fields

^¹, ^²

¹R K Talreja College of Arts, Science and Commerce, Ulhasnagar-03, Maharashtra, India

²Department of Mathematics, University of Mumbai, Mumbai, Maharashtra, India

Received: 05/02/2024
Accepted: 01/06/2024
Published: 30/09/2024

Copyright Link
License

Abstract

The metric dimension of a graph is the smallest number of vertices such that all vertices are uniquely determined by their distances to the chosen vertices. The corona product of graphs $G$ and $H$ is the graph $G ⊙ H$ obtained by taking one copy of $G$ , called the center graph, $| V (G) |$ copies of $H$ , called the outer graph, and making the $j^{t h}$ vertex of $G$ adjacent to every vertex of the $j^{t h}$ copy of $H$ , where $1 ⩽ j ⩽ | V (G) |$ . The Join graph $G + H$ of two graphs $G$ and $H$ is the graph with vertex set $V (G + H) = V (G) \cup V (H)$ and edge set $E (G + H) = E (G) \cup E (H) \cup {u v : u \in V (G), v \in V (H)}$ . In this paper, we determine the Metric dimension of Corona product and Join graph of zero divisor graphs of direct product of finite fields.

Keywords: Zero divisor graph, Metric dimension, Corona product, Join graph, finite fields

1. Introduction and Preliminaries

The concept of graph of a commutative ring $R$ , was introduced by Beck [1] in 1988. Beck considered all the elements of the ring $R$ as the vertices of the graph and two distinct vertices $x$ and $y$ are adjacent in the graph if and only if $x \cdot y = 0$ , the additive identity of the ring $R$ . This definition of graph given by Beck was modified by Anderson and Livingston [2] in 1999. Anderson and Livingston considered only the non-zero zero divisors of commutative ring $R$ to be the vertex set of the graph known as zero divisor graph of $R$ denoted by $Γ (R)$ in which two distinct vertices $x$ and $y$ are adjacent in $Γ (R)$ if and only if $x \cdot y = 0$ . In this paper we consider the zero divisor graph of the reduced ring, $R = F_{1} \times F_{2} \times \dots \times F_{n}$ , of direct product of finite fields. Let $Z^{*} (R)$ be the set of non-zero zero-divisors of the ring $R = F_{1} \times F_{2} \times \dots \times F_{n}$ and $Γ (R)$ denote the graph with vertex set as $Z^{*} (R)$ and edge set as ${r s : r \cdot s = 0, r, s \in Z^{*} (R)}$ .

The metric dimension of a graph is the smallest number of vertices such that all vertices are uniquely determined by their distances to the chosen vertices. For an ordered subset $W = {w_{1}, w_{2}, \dots, w_{k}}$ of vertices in a connected graph $G$ and a vertex $v$ of $G$ , the metric representation of $v$ with respect to $W$ is the $k - v e c t o r$ $\begin{matrix} r (v | W) = (d (v, w_{1}), d (v, w_{2}), \dots, d (v, w_{k})) . \end{matrix}$ The set $W$ is a resolving set for $G$ if $r (u | W) = r (v | W)$ implies that $u = v$ for all pairs $u, v$ of vertices of $G$ . In other words, a set $W \subset V (G)$ is called a resolving set, if for each two distinct vertices $u, v \in V (G)$ there exists $w \in W$ such that $d (u, w) \neq d (v, w)$ , where $d (x, y)$ is the distance between the vertices $x$ and $y$ . The minimum cardinality of a resolving set for $G$ is called the metric dimension of $G$ , and denoted by $β (G)$ .

The problem of Metric dimension was introduced by Slater [3] and also independently introduced by Harary and Melter [4]. In [5-7] graphs of order $n$ with metric dimension $1, n - 3, n - 2$ and $n - 1$ have been characterized. In [8], metric dimensions for many particular classes of graphs have been determined.

The corona product of graphs $G$ and $H$ is the graph $G ⊙ H$ obtained by taking one copy of $G$ , called the center graph, $| V (G) |$ copies of $H$ , called the outer graph, and making the $j^{t h}$ vertex of $G$ adjacent to every vertex of the $j^{t h}$ copy of $H$ , where $1 ⩽ j ⩽ | V (G) |$ .

The Join graph $G + H$ of two graphs $G$ and $H$ is the graph with vertex set $\begin{matrix} V (G + H) = V (G) \cup V (H) \end{matrix}$ and edge set $\begin{matrix} E (G + H) = E (G) \cup E (H) \cup {u v : u \in V (G), v \in V (H)} . \end{matrix}$

In this paper, we determine the Metric dimension of Corona product and Join graph of zero divisor graphs of direct product of finite fields.

2. Results on Metric Dimension of Zero Divisor Graph of Direct Product of Finite Fields

In [9, Proposition 6.2], Raja, Pirzada & Redmond, proved that for any $k ⩾ 2, l o c (Γ (\prod_{i = 1}^{k} Z_{2})) ⩽ k$ . They also proved that [9, Theorem 6.3], $l o c (Γ (\prod_{i = 1}^{5} Z_{2})) = 5$ . In [10], it is proved that if $n = 2, 3, 4$ , and order of each field is two, then $β (Γ (R)) = n - 1$ .

Theorem 1. [10, Theorem 2.4] If $R = F_{1} \times \dots \times F_{n}, n ⩾ 2$ with $| F_{i} | ⩾ 3, (1 \leq i \leq n)$ , then the metric dimension $β (Γ (R)) = | V (Γ (R)) | - (2^{n} - 2)$ .

Consider the reduced rings $R_{1} = F_{1} \times \dots \times F_{n}, (n ⩾ 2)$ and $R_{2} = J_{1} \times \dots \times J_{m}, (m ⩾ 2)$ where $F_{i}, (1 ⩽ i ⩽ n), J_{k}, (1 ⩽ k ⩽ m)$ are finite fields with $| F_{i} | ⩾ 2, | J_{k} | ⩾ 2$ .

In [11], the following result is proved.

Theorem 2. [11] Let $R_{1} = F_{1} \times \dots \times F_{n}, (n ⩾ 2)$ and $R_{2} = J_{1} \times \dots \times J_{m}, (m ⩾ 2)$ where $F_{i}, (1 ⩽ i ⩽ n), J_{k}, (1 ⩽ k ⩽ m)$ are finite fields with $| F_{i} | ⩾ 2, | J_{k} | ⩾ 2$ . Then,

the diameter of Corona product of $Γ (R_{1})$ and $Γ (R_{2})$ is $3$ if $n = 2, m = 2, | F_{1} | = | F_{2} | = | J_{1} | = | J_{2} | = 2$ ,
the diameter of Corona product of $Γ (R_{1})$ and $Γ (R_{2})$ is $4$ if $n = 2, m = 2, | F_{1} | ⩾ 3$ or $| F_{2} | ⩾ 3$ and $| J_{1} | ⩾ 3$ or $| J_{2} | ⩾ 3$ ,
the diameter of Corona product of $Γ (R_{1})$ and $Γ (R_{2})$ is $5$ if $n ⩾ 3, m ⩾ 3$ ,
the girth of Corona product of $Γ (R_{1})$ and $Γ (R_{2})$ is $3$ if $n = 2, m = 2, | F_{1} |, | F_{2} | ⩾ 3, | J_{1} |, | J_{2} | ⩾ 3$ ,
the girth of Corona product of $Γ (R_{1})$ and $Γ (R_{2})$ is $3$ if $n ⩾ 3$ or $m ⩾ 3$ .

3. Metric Dimension of Corona Product of Zero Divisor Graphs of Direct Product of Finite Fields

In this section, we determine the Metric dimension of Corona product of zero divisor graphs of direct product of finite fields.

Theorem 3. If $R_{1} = F_{1} \times \dots \times F_{n}, (n ⩾ 2)$ and $R_{2} = J_{1} \times \dots \times J_{m}, (m ⩾ 2)$ where $F_{i}, (1 ⩽ i ⩽ n), J_{k}, (1 ⩽ k ⩽ m)$ are finite fields with $| F_{i} | = 2, | J_{k} | = 2$ , then the Metric dimension of Corona product of $Γ (R_{1})$ and $Γ (R_{2})$ is $β (Γ (R_{1}) \circ Γ (R_{2})) ⩽ n + (2^{n} - 2) \cdot m$ .

Proof. According to [9, Proposition 6.2], the metric dimension $β (Γ (R_{1})) ⩽ n$ and $β (Γ (R_{2})) ⩽ m$ . Let $\begin{matrix} W_{0} = {v_{i} \in V (Γ (R_{1})) : v_{i} contains^{'} 0^{'} i n i^{t h} position and^{'} 1^{'} in remainingpositions, (1 ⩽ i ⩽ n)} . \end{matrix}$ We first prove that $W_{0}$ is resolving set for the center graph $Γ (R_{1})$ .

Let $x, y \in V (Γ (R_{1}))$ . Let $r (x | W_{0}) = r (y | W_{0})$ . Suppose $x$ contains $r_{1}$ number of $0^{'} s$ and $y$ contains $r_{2}$ number of $0^{'} s, (1 ⩽ r_{1}, r_{2} ⩽ n - 1)$ .
Case 1. $r_{1} \neq r_{2}$ .

Let $r_{1} < r_{2}$ . Then there exists a position $i$ such that $y$ contains $^{'} 0^{'}$ in the $i^{t h}$ position and $x$ contains $^{'} 1^{'}$ in the $i^{t h}$ position. Then both $y$ and $v_{i} \in W_{0}$ are adjacent to a vertex $z$ with a $^{'} 1^{'}$ in the $i^{t h}$ position and $^{'} 0^{'}$ everywhere else. Also $y$ is not adjacent to $v_{i} ⟹ d (y, v_{i}) = 2$ . Suppose $x$ contains $^{'} 0^{'}$ in the $j^{t h}$ position $(j \neq i)$ . Then $x$ is adjacent to a vertex $w$ with a $^{'} 1^{'}$ in the $j^{t h}$ position and $^{'} 0^{'}$ everywhere else. Also $w$ is adjacent to $z$ and $x$ is not adjacent to $z$ and $v_{i}$ . Therefore, $d (x, v_{i}) = 3 ⟹ r (x | W_{0}) \neq r (y | W_{0})$ . This is a contradiction.
Case 2. $r_{1} = r_{2}$ but $x$ and $y$ differ in atleast one position of $^{'} 0^{'}$ . Suppose $y$ contains $^{'} 0^{'}$ in the $i^{t h}$ position and $x$ contains $^{'} 1^{'}$ in the $i^{t h}$ position. Then from case (i), $r (x | W_{0}) \neq r (y | W_{0})$ . This is a contradiction. Thus, $r (x | W_{0}) = r (y | W_{0}) ⟹ x = y ⟹ W_{0}$ is a resolving set for $Γ (R_{1})$ . Let $\begin{matrix} W_{k} = {v_{i} \in V (Γ (R_{1})) : v_{i} contains^{'} 0^{'} i n i^{t h} position and^{'} 1^{'} inremaining positions, (1 ⩽ i ⩽ m)}, \end{matrix}$ with $1 ⩽ k ⩽ | V (Γ (R_{1})) |$ . As proved above, similarly we can prove that $W_{k}$ is resolving set for the outer graph of $k^{t h}$ copy of $Γ (R_{2})$ . Let $W = W_{0} \cup [\cup_{j = 1}^{| V (Γ (R_{1})) |} W_{j}]$ . Then, $W$ is resolving set for the Corona product of $Γ (R_{1}) \circ Γ (R_{2})$ and for $x \in V (Γ (R_{1}) \circ Γ (R_{2}))$ , the metric representation of $x$ with respect to $W$ is the vector of length $n + | V (Γ (R_{1})) | \cdot m$ . Since, $V (Γ (R_{1})) = 2^{n} - 2$ , therefore, the Metric dimension of Corona product of $Γ (R_{1})$ and $Γ (R_{2})$ is $β (Γ (R_{1}) \circ Γ (R_{2})) ⩽ n + (2^{n} - 2) \cdot m$ .

Remark 1.

If $n = 2, 3, 4$ and $m = 2, 3, 4$ and order of each field is two, then according to [10], $β (Γ (R_{1}) \circ Γ (R_{2})) = (n - 1) + (2^{n} - 2) \cdot (m - 1)$ .
If $n = 5$ and $m = 5$ , and order of each field is two, then according to [9, Theorem 6.3], $β (Γ (R_{1}) \circ Γ (R_{2})) = 5 + (2^{5} - 2) \cdot 5$ .

Theorem 4. If $R_{1} = F_{1} \times \dots \times F_{n}, (n ⩾ 2)$ and $R_{2} = J_{1} \times \dots \times J_{m}, (m ⩾ 2)$ where $F_{i}, (1 ⩽ i ⩽ n), J_{k}, (1 ⩽ k ⩽ m)$ are finite fields with $| F_{i} | ⩾ 3, | J_{k} | ⩾ 3$ , then the Metric dimension of Corona product of $Γ (R_{1})$ and $Γ (R_{2})$ is $β (Γ (R_{1}) \circ Γ (R_{2})) = (| V (Γ (R_{1})) | - (2^{n} - 2)) + | V (Γ (R_{1})) | \cdot (| V (Γ (R_{2})) | - (2^{m} - 2)) .$

Proof. Consider the reduced rings $R_{1} = F_{1} \times \dots \times F_{n}, (n ⩾ 2)$ and $R_{2} = J_{1} \times \dots \times J_{r}, (r ⩾ 2)$ where $F_{i}, (1 ⩽ i ⩽ n), J_{r}, (1 ⩽ r ⩽ m)$ are finite fields with $| F_{i} | ⩾ 3, | J_{r} | ⩾ 3$ . Let $\begin{matrix} S_{0} = {(a_{1}, \dots, a_{n}) \in V (Γ (R_{1})) : a_{i} \in {0, 1} with not all a_{i} = 0 and not all a_{i} = 1, 1 ⩽ i ⩽ n} . \end{matrix}$ Then $| S_{0} | = 2^{n} - 2$ . Let $W_{0} = V (Γ (R_{1})) ∖ S_{0}$ . According to [10, Theorem 2.4], $W_{0}$ is minimum resolving set for $Γ (R_{1})$ and $| W_{0} | = | V (Γ (R)) | - (2^{n} - 2)$ . Now consider the Corona product of $Γ (R_{1})$ and $Γ (R_{2})$ . There are $| V (Γ (R_{1})) |$ copies of $Γ (R_{2})$ in the Corona product graph $Γ (R_{1}) \circ Γ (R_{2})$ and the $k^{t h}$ vertex of $Γ (R_{1})$ is adjacent to each and every vertex of $k^{t h}$ copy of $Γ (R_{2})$ . Let $\begin{matrix} S_{j} = {(a_{1}, \dots, a_{m}) \in V (Γ (R_{2})) : a_{i} \in {0, 1} with not all a_{i} = 0 and not all a_{i} = 1, 1 ⩽ i ⩽ m} \end{matrix}$ and $1 ⩽ j ⩽ | V (Γ (R_{1})) |$ . Then $| S_{j} | = 2^{m} - 2$ . Let $W_{j} = V (Γ (R_{2})) ∖ S_{j}$ . According to [10, Theorem 2.4], $W_{j}$ is minimum resolving set for $Γ (R_{2})$ and $| W_{j} | = | V (Γ (R_{2})) | - (2^{m} - 2)$ . Let $\begin{matrix} W = W_{0} \cup [\cup_{j = 1}^{| V (Γ (R_{1})) |} W_{j}], \end{matrix}$ and $\begin{matrix} S = S_{0} \cup [\cup_{j = 1}^{| V (Γ (R_{1})) |} S_{j}] . \end{matrix}$ Then $W = V (Γ (R_{1}) \circ Γ (R_{2})) ∖ S$ and $| W | = (| V (Γ (R_{1})) | - (2^{n} - 2)) + | V (Γ (R_{1})) | \cdot (| V (Γ (R_{2})) | - (2^{m} - 2))$ and $| S | = (2^{n} - 2) + | V (Γ (R_{1})) | \cdot (2^{m} - 2)$ . We claim that $W$ is minimum resolving set for the corona product graph $Γ (R_{1}) \circ Γ (R_{2})$ .

For $x \in V (Γ (R_{1}) \circ Γ (R_{2}))$ , the metric representation of $x$ with respect to $W$ is the vector of length $(| V (Γ (R_{1})) | - (2^{n} - 2)) + | V (Γ (R_{1})) | \cdot (| V (Γ (R_{2})) | - (2^{m} - 2))$ .

Clearly, $r (x | W)$ is distinct for each $x \in W$ , as the vector $r (x | W)$ contains exactly one $^{'} 0^{'}$ entry with the position of $^{'} 0^{'}$ in distinct co-ordinate for each metric representation of $x \in W$ . It is enough to show that for each $y \in S$ , the metric representation $r (y | W)$ is distinct.

For $y_{1}, y_{2} \in S = S_{0} \cup [\cup_{j = 1}^{| V (Γ (R_{1})) |} S_{j}]$ , if $y_{1} \in S_{j_{1}}, y_{2} \in S_{j_{2}}, j_{1} \neq j_{2}$ , then clearly $d (y_{1}, w) \neq d (y_{2}, w), \forall w \in W_{j}$ , since $W_{j_{1}}$ is in the $j_{1}^{t h}$ copy of $Γ (R_{2})$ and $W_{j_{2}}$ is in the $j_{2}^{t h}$ copy of $Γ (R_{2})$ in corona product $Γ (R_{1}) \circ Γ (R_{2})$ . Now suppose there exists distinct $y_{1}, y_{2} \in S_{j} (0 ⩽ j ⩽ | V (Γ (R_{1})) |)$ such that $r (y_{1} | W) = r (y_{2} | W)$ . In other words, $d (y_{1}, w) = d (y_{2}, w), \forall w \in W = W_{0} \cup [\cup_{j = 1}^{| V (Γ (R_{1})) |} W_{j}]$ .

Since the entries in $y_{1}$ and $y_{2}$ are only $0^{'} s$ and $1^{'} s$ and $y_{1}, y_{2} \in S_{j}$ , this implies $y_{1}$ and $y_{2}$ will differ in at least one position containing $^{'} 0^{'}$ . Suppose $y_{1}$ contains $^{'} 0^{'}$ in the $r^{t h}$ co-ordinate position and $y_{2}$ contains $^{'} 1^{'}$ in the $r^{t h}$ co-ordinate position. Then $y_{1}$ is adjacent to a vertex $w_{1} \in W_{j}$ , with a non-zero entry other than $^{'} 1^{'}$ in the $r^{t h}$ position and $^{'} 0^{'}$ in the remaining positions (as each field contains at least three elements). This implies $d (y_{1}, w_{1}) = 1 = d (y_{2}, w_{1})$ as $r (y_{1} | W) = r (y_{2} | W)$ . But since $y_{2}$ and $w_{1}$ both contain non-zero entry in the $k^{t h}$ position, this implies $d (y_{2}, w_{1}) = 2 o r 3$ . This is a contradiction to $d (y_{1}, w_{2}) = 1 = d (y_{2}, w_{1})$ . Therefore, the metric representation $r (y | W)$ is distinct for each $y \in S$ . Thus, $W$ is a resolving set for the corona product graph $Γ (R_{1}) \circ Γ (R_{2})$ .

Now consider $W^{'} = W ∖ {x}, x \in W$ . Suppose $x$ contains $r, 0^{'} s$ in positions $i_{1}, i_{2}, \dots, i_{r}$ and non-zero entries in remaining positions with at least one non-zero entry other than $1$ , and let $y \in S = S_{0} \cup [\cup_{j = 1}^{| V (Γ (R_{1})) |} S_{j}]$ with $r, 0^{'} s$ in positions $i_{1}, i_{2}, \dots, i_{r}$ and $^{'} 1^{'}$ in remaining positions. This implies $x \neq y$ and $x, y$ contains $r, 0^{'} s$ in same co-ordinate positions $i_{1}, i_{2}, \dots, i_{r}$ . This implies the vertices adjacent(non-adjacent) to $x$ are also adjacent(non-adjacent) to $y$ , implies $d (x, u) = d (y, u), \forall u \in V (Γ (R_{1}) \circ Γ (R_{2})) ∖ {x, y}$ implies $d (x, w) = d (y, w), \forall w \in W^{'}$ implies $r (x | W^{'}) = r (y | W^{'})$ . Thus, $W^{'} = W ∖ {x}$ is not a resolving set for each $x \in W$ . This implies $W$ is a minimal resolving set. Thus, the metric dimension, $β (Γ (R_{1}) \circ Γ (R_{2})) ⩽ | W | = (| V (Γ (R_{1})) | - (2^{n} - 2)) + | V (Γ (R_{1})) | \cdot (| V (Γ (R_{2})) | - (2^{m} - 2))$ .

Now there are exactly $C (n, r)$ vertices in $S_{j} (0 ⩽ j ⩽ | V (Γ (R_{1})) |)$ , such that any two vertices with $r$ zero entries will differ in at least one position containing $^{'} 0^{'}$ . Since $| S_{j} | = 2^{n} - 2$ if $j = 0$ and $| S_{j} | = 2^{m} - 2$ if $(1 ⩽ j ⩽ | V (Γ (R_{1})) |)$ , any two vertices in $S_{j}$ will either differ in the number of $^{'} 0^{'}$ entries or if the two vertices contain same number of $0^{'} s$ , then the two vertices will differ in at least one position containing $^{'} 0^{'}$ . Thus, if $S_{j}^{'} \subset V (Γ (R_{1}))$ with $| S_{j}^{'} | = (2^{n} - 2) + 1$ when $j = 0$ or $S_{j}^{'} \subset V (Γ (R_{2}))$ with $| S_{j}^{'} | = (2^{m} - 2) + 1$ where $1 ⩽ j ⩽ | V (Γ (R_{1})) |$ , then there exists at least two vertices, say, $x, y \in S_{j}^{'}$ such that both $x, y$ contains same number of $0^{'} s$ and position of $0^{'} s$ is also same in both $x$ and $y$ . This implies positions of non-zero entries is also same, but since $x$ and $y$ are distinct, they will differ in at least one position containing non-zero entry. Since $x, y$ both contains $0^{'} s$ in same co-ordinate positions, by a similar argument above, we get, $d (x, u) = d (y, u), \forall u \in V (Γ (R_{1}) \circ Γ (R_{2})) ∖ {x, y}$ .

Let $S^{'}$ be the set obtained from $S = S_{0} \cup [\cup_{j = 1}^{| V (Γ (R_{1})) |} S_{j}]$ , by replacing the set $S_{j}$ with $S_{j}^{'}$ . Then $| S^{'} | = | S | + 1$ . Therefore, if $T = V (Γ (R_{1}) \circ Γ (R_{2})) ∖ S^{'}$ with $| T | = (| V (Γ (R_{1})) | - (2^{n} - 2)) + | V (Γ (R_{1})) | \cdot (| V (Γ (R_{2})) | - (2^{m} - 2)) - 1,$ then there exists at least two vertices, say, $x, y \in V (Γ (R_{1}) \circ Γ (R_{2})) ∖ T,$ such that, $d (x, v) = d (y, v), \forall v \in T,$ implies $r (z | T) = r (w | T)$ . This implies $T$ cannot be a resolving set with $| T | = (| V (Γ (R_{1})) | - (2^{n} - 2)) + | V (Γ (R_{1})) | \cdot (| V (Γ (R_{2})) | - (2^{m} - 2)) - 1$ implies $β (Γ (R_{1}) \circ Γ (R_{2})) > | T |$ implies $β (Γ (R_{1}) \circ Γ (R_{2})) > (| V (Γ (R_{1})) | - (2^{n} - 2)) + | V (Γ (R_{1})) | \cdot (| V (Γ (R_{2})) | - (2^{m} - 2)) - 1$ implies $β (Γ (R_{1}) \circ Γ (R_{2})) ⩾ (| V (Γ (R_{1})) | - (2^{n} - 2)) + | V (Γ (R_{1})) | \cdot (| V (Γ (R_{2})) | - (2^{m} - 2))$ .

Hence, the metric dimension, $β (Γ (R_{1}) \circ Γ (R_{2})) = (| V (Γ (R_{1})) | - (2^{n} - 2)) + | V (Γ (R_{1})) | \cdot (| V (Γ (R_{2})) | - (2^{m} - 2)) .$

4. Metric Dimension of Join Graph of Zero Divisor Graphs of Direct Product of Finite Fields

Theorem 5. If $R_{1} = F_{1} \times \dots \times F_{n}, (n ⩾ 2)$ and $R_{2} = J_{1} \times \dots \times J_{m}, (m ⩾ 2)$ where $F_{i}, (1 ⩽ i ⩽ n), J_{k}, (1 ⩽ k ⩽ m)$ are finite fields with $| F_{i} | = 2, | J_{k} | = 2$ , then the Metric dimension of Join graph of $Γ (R_{1})$ and $Γ (R_{2})$ is $β (Γ (R_{1}) + Γ (R_{2})) ⩽ n + m$ .

Proof. According to [9, Proposition 6.2], the metric dimension $β (Γ (R_{1})) ⩽ n$ and $β (Γ (R_{2})) ⩽ m$ . Let $\begin{matrix} W_{1} = {v_{i} \in V (Γ (R_{1})) : v_{i} contains;^{'} 0^{'} in i^{th} position and^{'} 1^{'} inremaining positions, (1 ⩽ i ⩽ n)} . \end{matrix}$ In the proof of Theorem 3, we proved that, $W_{1}$ is resolving set for $Γ (R_{1})$ . Let $\begin{matrix} W_{2} = {v_{i} \in V (Γ (R_{1})) : v_{i} contains^{'} 0^{'} in i^{th} position and^{'} 1^{'} in remainingpositions, (1 ⩽ i ⩽ m)} . \end{matrix}$ Similarly, $W_{2}$ is resolving set for $Γ (R_{2})$ .

Let $W = W_{1} \cup W_{2}$ . Then, clearly $W$ is resolving set for the Join graph of $Γ (R_{1})$ and $Γ (R_{2})$ and for $x \in V (Γ (R_{1}) + Γ (R_{2}))$ , the metric representation of $x$ with respect to $W$ is the vector of length $n + m$ . Hence, the Metric dimension of Join graph of $Γ (R_{1})$ and $Γ (R_{2})$ is
$β (Γ (R_{1}) + Γ (R_{2})) ⩽ n + m$ .

Remark 2.

If $n = 2, 3, 4$ and $m = 2, 3, 4$ and order of each field is two, then according to [10], $β (Γ (R_{1}) + Γ (R_{2})) = (n - 1) + (m - 1)$ .
If $n = 5$ and $m = 5$ , and order of each field is two, then according to [9, Theorem 6.3], $β (Γ (R_{1}) + Γ (R_{2})) = 5 + 5 = 10$ .

Theorem 6. If $R_{1} = F_{1} \times \dots \times F_{n}, (n ⩾ 2)$ and $R_{2} = J_{1} \times \dots \times J_{m}, (m ⩾ 2)$ where $F_{i}, (1 ⩽ i ⩽ n), J_{k}, (1 ⩽ k ⩽ m)$ are finite fields with $| F_{i} | ⩾ 3, | J_{k} | ⩾ 3$ , then the Metric dimension of Join graph of $Γ (R_{1})$ and $Γ (R_{2})$ is $β (Γ (R_{1}) + Γ (R_{2})) = (| V (Γ (R_{1})) | - (2^{n} - 2)) + (| V (Γ (R_{2})) | - (2^{m} - 2))$ .

Proof. Let $\begin{matrix} S_{1} = {(a_{1}, \dots, a_{n}) \in V (Γ (R_{1})) : a_{i} \in {0, 1} with not all a_{i} = 0 and not all a_{i} = 1} . \end{matrix}$ Then $| S_{1} | = 2^{n} - 2$ . Let $W_{1} = V (Γ (R_{1})) ∖ S_{1}$ . According to [10, Theorem 2.4], $W_{1}$ is minimum resolving set for $Γ (R_{1})$ and $| W_{1} | = | V (Γ (R)) | - (2^{n} - 2)$ . Let $\begin{matrix} S_{2} = {(a_{1}, \dots, a_{m}) \in V (Γ (R_{2})) : a_{i} \in {0, 1} with not all a_{i} = 0 and not all a_{i} = 1} . \end{matrix}$ Then $| S_{2} | = 2^{m} - 2$ . Let $W_{2} = V (Γ (R_{2})) ∖ S_{2}$ . Then by [10, Theorem 2.4], $W_{2}$ is minimum resolving set for $Γ (R_{2})$ and $| W_{2} | = | V (Γ (R)) | - (2^{m} - 2)$ .

Consider the Join graph of $Γ (R_{1})$ and $Γ (R_{2})$ and let $W = W_{1} \cup W_{2}$ . For each $x \in V (Γ (R_{1})), r (x | W_{1})$ is distinct, and $d (x, z) = 1$ for all $z \in W_{2}$ in the Join graph of $Γ (R_{1})$ and $Γ (R_{2})$ . Similarly, for each $y \in V (Γ (R_{2})), r (x | W_{2})$ is distinct, and $d (y, z) = 1$ for all $z \in W_{1}$ in the Join graph of $Γ (R_{1})$ and $Γ (R_{2})$ . Thus, $W = W_{1} \cup W_{2}$ is resolving set for the Join graph of $Γ (R_{1})$ and $Γ (R_{2})$ and for $w \in V (Γ (R_{1}) + Γ (R_{2}))$ , the metric representation of $w$ with respect to $W$ is the vector of length $(| V (Γ (R_{1})) | - (2^{n} - 2)) + (| V (Γ (R_{2})) | - (2^{m} - 2))$ .

Now consider $W^{'} = W ∖ {x}, w \in W$ . Either $x \in W_{1}$ or $x \in W_{2}$ . Without loss of generality suppose $x \in W_{1}$ . Suppose $x$ contains $r, 0^{'} s$ in positions $i_{1}, i_{2}, \dots, i_{r}$ and non-zero entries in remaining positions with at least one non-zero entry other than $1$ , and let $y \in S_{1}$ with $r, 0^{'} s$ in positions $i_{1}, i_{2}, \dots, i_{r}$ and $^{'} 1^{'}$ in remaining positions. This implies $x \neq y$ and $x, y$ contains $r, 0^{'} s$ in same co-ordinate positions $i_{1}, i_{2}, \dots, i_{r}$ . This implies the vertices adjacent(non-adjacent) to $x$ are also adjacent(non-adjacent) to $y$ , implies $d (x, u) = d (y, u), \forall u \in V (Γ (R_{1}) + Γ (R_{2})) ∖ {x, y}$ implies $d (x, w) = d (y, w), \forall w \in W^{'}$ implies $r (x | W^{'}) = r (y | W^{'})$ . Similarly, if $x \in W_{2}$ then $r (x | W^{'}) = r (y | W^{'})$ . Thus, $W^{'} = W ∖ {x}$ is not a resolving set for each $x \in W$ . This implies $W$ is a minimal resolving set. Thus, the metric dimension is $β (Γ (R_{1}) + Γ (R_{2})) ⩽ | W | = (| V (Γ (R_{1})) | - (2^{n} - 2)) + (| V (Γ (R_{2})) | - (2^{m} - 2))$ .

Now there are exactly $C (n, r)$ vertices in $S_{j} (j = 1, 2)$ , such that any two vertices with $r$ zero entries will differ in at least one position containing $^{'} 0^{'}$ . Since $| S_{j} | = 2^{n} - 2$ if $j = 1$ and $| S_{j} | = 2^{m} - 2$ if $j = 2$ , any two vertices in $S_{j}$ will either differ in the number of $^{'} 0^{'}$ entries or if the two vertices contain same number of $0^{'} s$ , then the two vertices will differ in at least one position containing $^{'} 0^{'}$ . Thus, if $S_{j}^{'} \subset V (Γ (R_{1}))$ with $| S_{j}^{'} | = (2^{n} - 2) + 1$ where $j = 1$ or $S_{j}^{'} \subset V (Γ (R_{2}))$ with $| S_{j}^{'} | = (2^{m} - 2) + 1$ where $j = 2$ , then there exists at least two vertices, say, $x, y \in S_{j}^{'}$ such that both $x, y$ contains same number of $0^{'} s$ and position of $0^{'} s$ is also same in both $x$ and $y$ . This implies positions of non-zero entries is also same, but since $x$ and $y$ are distinct, they will differ in at least one position containing non-zero entry. Since $x, y$ both contains $0^{'} s$ in same co-ordinate positions, by a similar argument above, we get, $d (x, u) = d (y, u), \forall u \in V (Γ (R_{1}) + Γ (R_{2})) ∖ {x, y}$ .

Let $S^{'}$ be the set obtained from $S = S_{1} \cup S_{2}$ , by replacing the set $S_{j}$ with $S_{j}^{'}$ . Then $| S^{'} | = | S | + 1$ . Therefore, if $T = V (Γ (R_{1}) + Γ (R_{2})) ∖ S^{'}$ with $| T | = (| V (Γ (R_{1})) | - (2^{n} - 2)) + (| V (Γ (R_{2})) | - (2^{m} - 2)) - 1$ , then there exists at least two vertices, say, $x, y \in V (Γ (R_{1}) + Γ (R_{2})) ∖ T$ , such that, $d (x, v) = d (y, v), \forall v \in T$ , implies $r (z | T) = r (w | T)$ . This implies $T$ cannot be a resolving set with $| T | = (| V (Γ (R_{1})) | - (2^{n} - 2)) + (| V (Γ (R_{2})) | - (2^{m} - 2)) - 1$ implies $β (Γ (R_{1}) + Γ (R_{2})) > | T |$ implies $β (Γ (R_{1}) + Γ (R_{2})) > (| V (Γ (R_{1})) | - (2^{n} - 2)) + (| V (Γ (R_{2})) | - (2^{m} - 2)) - 1$ implies $β (Γ (R_{1}) + Γ (R_{2})) ⩾ (| V (Γ (R_{1})) | - (2^{n} - 2)) + (| V (Γ (R_{2})) | - (2^{m} - 2))$ .

Hence, the metric dimension is $β (Γ (R_{1}) + Γ (R_{2})) = (| V (Γ (R_{1})) | - (2^{n} - 2)) + (| V (Γ (R_{2})) | - (2^{m} - 2))$ .

5. Conclusion

We have determined the Metric dimension of Corona product and Join graph of zero divisor graphs of direct product of finite fields.

Author Contributions

Both authors Dr. Nithya Sai Narayana and Subhash Mallinath Gaded wrote the main manuscript text and reviewed the manuscript. Both authors have contributed equally to the work. Both authors read and approved the final manuscript.

Declaration of Competing Interest

The authors declare that they have no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper.

References:

Beck, I., 1988. Coloring of commutative rings. Journal of Algebra, 116(1), pp.208-226.
Anderson, D. F. and Livingston, P. S., 1999. The zero-divisor graph of a commutative ring. Journal of Algebra, 217(2), pp.434-447.
Slater, P. J., 1975. Leaves of trees. Congressus Numerantium, 14, pp.549-559.
Harary, F. and Melter, R.A., 1976. On the metric dimension of a graph. Ars combinatoria, 2(191-195), p.1.
Chartrand, G., Eroh, L., Johnson, M.A. and Oellermann, O.R., 2000. Resolvability in graphs and the metric dimension of a graph. Discrete Applied Mathematics, 105(1-3), pp.99-113.
Jannesari, M. and Omoomi, B., 2011. Characterization of n-vertex graphs with metric dimension $n - 3.$ arXiv preprint arXiv:1103.3588.
Saputro, S.W., Simanjuntak, R., Uttunggadewa, S., Assiyatun, H., Baskoro, E.T. and Salman, A.N.M., 2024. Complete characterization of graphs with order-n and metric dimension $n - 3.$ preprint.
Currie, J. and Oellerman, O.R., 2001. The metric dimension and metric independence of a graph. Journal of Combinatorial Mathematics and Combinatorial Computing, 39, pp.157–167.
Raja, R., Pirzada, S. and Redmond, S., 2016. On locating numbers and codes of zero divisor graphs associated with commutative rings. Journal of Algebra and Its Applications, 15(01), p.1650014.
Gaded, S.M. and Narayana, N.S., 2023. On metric dimension and resolving-domination number of zero-divisor graphs of direct product of finite fields. JP Journal of Algebra, Number Theory and Applications, 61(2), pp.171-182.
Gaded, S.M. and Narayana, N.S., 2023. On corona product of zero-divisor graphs of direct product of finite fields. Advances and Applications in Discrete Mathematics, 40(1), pp.113-123.

[1] Beck, I., 1988. Coloring of commutative rings. Journal of Algebra, 116(1), pp.208-226.

[2] Anderson, D. F. and Livingston, P. S., 1999. The zero-divisor graph of a commutative ring. Journal of Algebra, 217(2), pp.434-447.

[3] Slater, P. J., 1975. Leaves of trees. Congressus Numerantium, 14, pp.549-559.

[4] Harary, F. and Melter, R.A., 1976. On the metric dimension of a graph. Ars combinatoria, 2(191-195), p.1.

[5] Chartrand, G., Eroh, L., Johnson, M.A. and Oellermann, O.R., 2000. Resolvability in graphs and the metric dimension of a graph. Discrete Applied Mathematics, 105(1-3), pp.99-113.

[6] Jannesari, M. and Omoomi, B., 2011. Characterization of n-vertex graphs with metric dimension $n - 3.$ arXiv preprint arXiv:1103.3588.

[7] Saputro, S.W., Simanjuntak, R., Uttunggadewa, S., Assiyatun, H., Baskoro, E.T. and Salman, A.N.M., 2024. Complete characterization of graphs with order-n and metric dimension $n - 3.$ preprint.

[8] Currie, J. and Oellerman, O.R., 2001. The metric dimension and metric independence of a graph. Journal of Combinatorial Mathematics and Combinatorial Computing, 39, pp.157–167.

[9] Raja, R., Pirzada, S. and Redmond, S., 2016. On locating numbers and codes of zero divisor graphs associated with commutative rings. Journal of Algebra and Its Applications, 15(01), p.1650014.

[10] Gaded, S.M. and Narayana, N.S., 2023. On metric dimension and resolving-domination number of zero-divisor graphs of direct product of finite fields. JP Journal of Algebra, Number Theory and Applications, 61(2), pp.171-182.

[11] Gaded, S.M. and Narayana, N.S., 2023. On corona product of zero-divisor graphs of direct product of finite fields. Advances and Applications in Discrete Mathematics, 40(1), pp.113-123.

Contents

Utilitas Mathematica

Metric Dimension of Corona Product and Join Graph of Zero Divisor Graphs of Direct Product of Finite Fields

Abstract

1. Introduction and Preliminaries

2. Results on Metric Dimension of Zero Divisor Graph of Direct Product of Finite Fields

3. Metric Dimension of Corona Product of Zero Divisor Graphs of Direct Product of Finite Fields

4. Metric Dimension of Join Graph of Zero Divisor Graphs of Direct Product of Finite Fields

5. Conclusion

Author Contributions

Declaration of Competing Interest

References:

Information

Guidelines

CP Initiatives

Follow CP