# Some properties on the lexicographic product of graphs obtained by monogenic semigroups

- Nihat Akgunes
^{1}Email author, - Kinkar C Das
^{2}, - Ahmet Sinan Cevik
^{1}and - Ismail Naci Cangul
^{3}

**2013**:238

https://doi.org/10.1186/1029-242X-2013-238

© Akgunes et al.; licensee Springer. 2013

**Received: **6 February 2013

**Accepted: **24 April 2013

**Published: **13 May 2013

## Abstract

In (Das *et al.* in J. Inequal. Appl. 2013:44, 2013), a new graph $\Gamma ({\mathcal{S}}_{M})$ on monogenic semigroups ${\mathcal{S}}_{M}$ (with zero) having elements $\{0,x,{x}^{2},{x}^{3},\dots ,{x}^{n}\}$ was recently defined. The vertices are the non-zero elements $x,{x}^{2},{x}^{3},\dots ,{x}^{n}$ and, for $1\le i,j\le n$, any two distinct vertices ${x}^{i}$ and ${x}^{j}$ are adjacent if ${x}^{i}{x}^{j}=0$ in ${\mathcal{S}}_{M}$. As a continuing study, in an unpublished work, some well-known indices (first Zagreb index, second Zagreb index, Randić index, geometric-arithmetic index, atom-bond connectivity index, Wiener index, Harary index, first and second Zagreb eccentricity indices, eccentric connectivity index, the degree distance) over $\Gamma ({\mathcal{S}}_{M})$ were investigated by the same authors of this paper.

In the light of the above references, our main aim in this paper is to extend these studies to the lexicographic product over $\Gamma ({\mathcal{S}}_{M})$. In detail, we investigate the diameter, radius, girth, maximum and minimum degree, chromatic number, clique number and domination number for the lexicographic product of any two (not necessarily different) graphs $\Gamma ({\mathcal{S}}_{M}^{1})$ and $\Gamma ({\mathcal{S}}_{M}^{2})$.

**MSC:**05C10, 05C12, 06A07, 15A18, 15A36.

## Keywords

## 1 Introduction and preliminaries

The base of the graph $\Gamma ({\mathcal{S}}_{M})$ is actually zero-divisor graphs (*cf.* [1]). In fact, the history of studying zero-divisor graphs began over commutative rings by the paper [2], and then it was followed over commutative and noncommutative rings by some of the joint papers [3–5]. After that the same terminology has been converted to commutative and noncommutative semigroups [6, 7].

Then, by following the definition given in [7], an undirected (zero-divisor) graph $\Gamma ({\mathcal{S}}_{M})$ associated to ${\mathcal{S}}_{M}$ was obtained as in the following. The vertices of the graph are labeled by the nonzero zero-divisors (in other words, all nonzero element) of ${\mathcal{S}}_{M}$, and any two distinct vertices ${x}^{i}$ and ${x}^{j}$, where ($1\le i,j\le n$) are connected by an edge in the case ${x}^{i}{x}^{j}=0$ with the rule ${x}^{i}{x}^{j}={x}^{i+j}=0$ if and only if $i+j\ge n+1$. The fundamental spectral properties such as the diameter, girth, maximum and minimum degree, chromatic number, clique number, degree sequence, irregularity index and dominating number for this new graph are presented in [1]. Furthermore, in an unpublished work, the same authors of this paper studied the first and second Zagreb indices, Randić index, geometric-arithmetic index and atom-bond connectivity index, Wiener index, Harary index, the first and second Zagreb eccentricity indices, eccentric connectivity index and the degree distance to indicate the importance of the graph $\Gamma ({\mathcal{S}}_{M})$.

*extension*of graphs is also an important tool (see, for instance, [8, 9]) since there are so many applications in science. With this idea, the

*lexicographic product*$G[H]$ of any two simple graphs

*G*and

*H*(in some references, it is also called

*composition product*[10]) is defined which has the vertex set $V(G)\times V(H)$ such that any two vertices $u=({u}_{1},{u}_{2})$ and $v=({v}_{1},{v}_{2})$ are connected to each other by an edge if and only if ${u}_{1}{v}_{1}\in E(G)$ or ${u}_{1}={v}_{1}$ and ${u}_{2}{v}_{2}\in E(H)$ (see, for instance, [11–13]). In here, we replace ${G}_{1}$ by $\Gamma ({\mathcal{S}}_{M}^{1})$ and ${G}_{2}$ by $\Gamma ({\mathcal{S}}_{M}^{2})$ (as defined in (1)), where ${\mathcal{S}}_{M}^{1}=\{x,{x}^{2},{x}^{3},\dots ,{x}^{n}\}$ with 0 and ${\mathcal{S}}_{M}^{2}=\{y,{y}^{2},{y}^{3},\dots ,{y}^{m}\}$ with 0 such that $n\ge m$. Hence, the lexicographic product $\Gamma ({\mathcal{S}}_{M}^{1})[\Gamma ({\mathcal{S}}_{M}^{2})]$ has a vertex set $V(\Gamma ({\mathcal{S}}_{M}^{1})[\Gamma ({\mathcal{S}}_{M}^{2})])=V(\Gamma ({\mathcal{S}}_{M}^{1}))\times V(\Gamma ({\mathcal{S}}_{M}^{2}))$ which is given by

In this paper, by considering $\Gamma ({\mathcal{S}}_{M}^{1})[\Gamma ({\mathcal{S}}_{M}^{2})]$, we present some certain results for the diameter, radius, girth, maximum and minimum degrees, and finally chromatic, clique and domination numbers.

## 2 Main results

It is known that the *girth* of a simple graph *G* is the length of the shortest cycle contained in that graph. However, if *G* does not contain any cycle, then the girth of it is assumed to be infinity. Thus the first theorem of this paper is the following.

**Theorem 1**

*Proof*By considering (3), we easily conclude that

- (i)
${x}^{n}{x}^{n-1}=0$ implies $({x}^{n},{y}^{m})\sim ({x}^{n-1},{y}^{m})$,

- (ii)
${x}^{n-1}{x}^{2}=0$ implies $({x}^{n-1},{y}^{m})\sim ({x}^{2},{y}^{m})$,

- (iii)
${x}^{2}{x}^{n}=0$ implies $({x}^{2},{y}^{m})\sim ({x}^{n},{y}^{m})$.

as desired. □

The degree ${deg}_{G}(v)$ of a vertex *v* of *G* is the number of vertices adjacent to *v*. Among all degrees, the *maximum* $\Delta (G)$ (or the *minimum* $\delta (G)$) degrees of *G* is the number of the largest (or the smallest) degree in *G* [14].

**Theorem 2**

*The maximum and minimum degrees of*$\Gamma ({\mathcal{S}}_{M}^{1})[\Gamma ({\mathcal{S}}_{M}^{2})]$

*are*

*respectively*.

*Proof*It is obvious that the vertex set $V(\Gamma ({\mathcal{S}}_{M}^{1})[\Gamma ({\mathcal{S}}_{M}^{2})])$ in (2) has a total of

*nm*vertices. Among these vertices, let us take the vertex $({x}^{n},{y}^{m})$. So, the maximum degree

*Δ*of the graph $\Gamma ({\mathcal{S}}_{M}^{1})[\Gamma ({\mathcal{S}}_{M}^{2})]$ is equal to

since the vertex $({x}^{n},{y}^{m})$ is adjacent to all the other vertices.

On the other hand, let us take the vertex $(x,y)$. Then, again by (3), the adjacency of $(x,y)$ with a vertex $({x}^{i},{y}^{j})$ holds only if we have $i=n$ or $i=1$ and $j=m$. That means the vertex $(x,y)$ is connected to $({x}^{n},y),({x}^{n},{y}^{2}),\dots ,({x}^{n},{y}^{m})$ and $(x,{y}^{m})$. Thus $\delta (\Gamma ({\mathcal{S}}_{M}^{1})[\Gamma ({\mathcal{S}}_{M}^{2})])=m+1$, as required. □

*distance*(length of the shortest path) between two vertices

*u*and

*v*of

*G*is denoted by ${d}_{G}(u,v)$. Moreover, the

*diameter*of a simple graph

*G*is defined by

We then have the next result.

**Theorem 3**

*Proof*Obviously, the vertex $(x,y)$ in (2) has at least one neighborhood, and so the diameter can be figured out by considering the distance between $(x,y)$ and one of the other vertices in the vertex set. Therefore, by (3), the vertex $(x,y)$ is adjacent only to the vertices $({x}^{n},y),({x}^{n},{y}^{2}),\dots ,({x}^{n},{y}^{m})$ and $(x,{y}^{m})$. However $({x}^{n},{y}^{m})$ is adjacent to all the vertices defined in (2). Therefore the diameter should be obtained by considering the distance between $(x,y)$ and $({x}^{i},{y}^{j})$, where $1\le i\le n-1$, $1\le j\le m$. In here, we must assume that the case $i=1$ and $j=m$ does not hold at the same time since there exists an adjacency

Hence the result. □

*eccentricity*of a vertex

*v*, denoted by $\epsilon (v)$, in a connected graph

*G*is the maximum distance between

*v*and any other vertex

*u*of

*G*. (For a disconnected graph, all vertices are defined to have infinite eccentricity.) It is clear that $diam(G)$ is equal to the

*maximum eccentricity*among all the vertices of

*G*. On the other hand, the

*minimum eccentricity*is called the

*radius*[15, 16] of

*G*and denoted by

**Theorem 4**

*Proof*We know that the vertex $({x}^{n},{y}^{m})$ is adjacent to all the vertices in (2). Thus the radius can be figured out by considering the distance between $({x}^{n},{y}^{m})$ and one of the other vertices in the set (2). So,

Hence, the eccentricity $\epsilon [({x}^{n},{y}^{m})]$ is equal to 1, which implies the required result. □

A subset *D* of the vertex set $V(G)$ of a graph *G* is called a *dominating set* if every vertex $V(G)\mathrm{\setminus}D$ is joined to at least one vertex of *D* by an edge. Additionally, the *domination number* $\gamma (G)$ is the number of vertices in the smallest dominating set for *G*. (We may refer to [14] for the fundamentals of a domination number.)

In our case, by (2), the dominating set is defined by $\{({x}^{n},{y}^{m})\}$ since the vertices $({x}^{n},{y}^{m})$ are adjacent to all the other vertices. Hence we obtain the next result.

**Theorem 5** $\gamma (\Gamma ({\mathcal{S}}_{M}^{1})[\Gamma ({\mathcal{S}}_{M}^{2})])=1$.

Basically, the coloring of *G* is to be an assignment of colors (elements of some set) to the vertices of *G*, one color to each vertex, so that adjacent vertices are assigned distinct colors. If *n* colors are used, then the coloring is referred to as an *n*-*coloring*. If there exists an *n*-coloring of *G*, then *G* is called *n*-*colorable*. The minimum number *n* for which *G* is *n*-colorable is called the *chromatic number* of *G* and is denoted by $\chi (G)$.

In addition, there exists another graph parameter, namely the *clique* of a graph *G*. In fact, depending on the vertices, each of the maximal complete subgraphs of *G* is called a clique. Moreover, the largest number of vertices in any clique of *G* is called the *clique number* and denoted by $\omega (G)$. In general, by [14], it is well known that $\chi (G)\ge \omega (G)$ for any graph *G*. For every induced subgraph *H* of *G*, if $\chi (H)=\omega (H)$ holds, then *G* is called a *perfect graph* [17].

By constructing the next result (see Theorem 6 below) for the chromatic number over the lexicographic product of the graphs $\Gamma ({\mathcal{S}}_{M}^{1})$ and $\Gamma ({\mathcal{S}}_{M}^{2})$, we shall present a negative answer of a result given in [18] (see Remark 1).

We recall that for a real number *r*, the notation $\lceil r\rceil $ denotes the least integer ≥*r*. This fact will be needed for some of our results below.

The proof of the following lemma can be found in [[1], Theorem 6].

**Lemma 1** ([1])

*For a monogenic semigroup*${\mathcal{S}}_{M}$

*as in*(1),

*the chromatic number of the graph*$\Gamma ({\mathcal{S}}_{M})$

*is given by*

The next result is an extension of the above lemma to the lexicographic product.

**Theorem 6**

*The chromatic number of*$\Gamma ({\mathcal{S}}_{M}^{1})[\Gamma ({\mathcal{S}}_{M}^{2})]$

*is equal to*

*In other words*, $\chi (\Gamma ({\mathcal{S}}_{M}^{1})[\Gamma ({\mathcal{S}}_{M}^{2})])=\chi (\Gamma ({\mathcal{S}}_{M}^{1}))\chi (\Gamma ({\mathcal{S}}_{M}^{2}))$.

*Proof* *First step*: The list of vertices that the vertex $({x}^{n},{y}^{m})$ is adjacent to all the other vertices was given in (2). That means the color that was used for $({x}^{n},{y}^{m})$ cannot be used for any other vertices. So, let us suppose that the color used for the vertex $({x}_{1}^{n},{x}_{2}^{m})$ is labeled by ${\mathcal{C}}_{1}^{1}$. Secondly, if we consider the vertex $({x}^{n},{y}^{m-1})$, then it is easy to see that $({x}^{n},{y}^{m-1})$ is adjacent to all the vertices except the vertex $({x}^{n},y)$. Thus, the color for $({x}^{n},{y}^{m-1})$, say ${\mathcal{C}}_{1}^{2}$, can be also used only for $({x}^{n},y)$. As a similar idea, the vertex $({x}^{n},{y}^{m-2})$ is adjacent to all the vertices except the vertices $({x}^{n},y)$ and $({x}^{n},{y}^{2})$. Thus the color, say ${\mathcal{C}}_{1}^{3}$, for $({x}^{n},{y}^{m-2})$ can be also used only for the vertex $({x}^{n},{y}^{2})$. (Notice that the color ${\mathcal{C}}_{1}^{2}$ has been already used for $({x}^{n},y)$ in the previous step.) After that, following the same progress, we see that the total of $1+\lceil \frac{m-1}{2}\rceil $ different colors is needed to handle the coloring of all vertices in the set $\{({x}^{n},{y}^{j});1\le j\le m\}$.

*Second step*: Except the set of vertices $\{(x,y),(x,{y}^{2}),\dots ,(x,{y}^{m})\}$, the vertex $({x}^{n-1},{y}^{m})$ is adjacent to all the other vertices defined in (2). On the other hand, while each element in the sets

is labeled by ${\mathcal{C}}_{2}^{1}$.

Thus the color, say ${\mathcal{C}}_{2}^{3}$, for $({x}^{n-1},{y}^{m-2})$ can be also used only for the vertices $(x,{y}^{\lceil \frac{m}{2}\rceil +2})$ and $({x}^{n-1},{y}^{2})$. (Again, notice that the color ${\mathcal{C}}_{2}^{2}$ has been already used for $({x}^{n-1},y)$ previously.)

*Third step*: The vertex $({x}^{n-2},{y}^{m})$ cannot be adjacent to the vertices

as desired. □

**Remark 1** It is clear that $\chi (G[H])\le \chi (G)\chi (H)$. This trivial upper bound is attained for any *G* and *H* with $\chi (G)=\omega (G)$ and $\chi (H)=\omega (H)$. However, in Theorem 6, we obtained an equality between $\chi (\Gamma ({\mathcal{S}}_{M}^{1})[\Gamma ({\mathcal{S}}_{M}^{2})])$ and $\chi (\Gamma ({\mathcal{S}}_{M}^{1}))\chi (\Gamma ({\mathcal{S}}_{M}^{2}))$. But it was shown in [18], that there is not any product ∗ of graphs for which the equality $\chi (G\ast H)=\chi (G)\chi (H)$ holds for all graphs *G* and *H*.

In [[10], Theorem 3.1], the authors proved that the clique number is preserved under the lexicographic product for any graphs *G* and *H*. In the following, we deal with this result by considering our special graphs. Before that, we need to present the following lemma, the truthfulness of which is quite clear.

**Lemma 2**

*For any*$m\in {\mathbb{N}}^{+}$,

*there always exists*

**Theorem 7**

*The clique number of*$\Gamma ({\mathcal{S}}_{M}^{1})[\Gamma ({\mathcal{S}}_{M}^{2})]$

*is equal to*

*Proof*In the proof, we must first check whether the subgraph is complete or not (which means any two distinct vertices in the vertex set of this subgraph are adjacent). Now let us consider the graph $\Gamma ({\mathcal{S}}_{M}^{1})[\Gamma ({\mathcal{S}}_{M}^{2})]$. According to the definition, a subgraph will be complete if, for all distinct vertices $({x}^{i},{y}^{j})$ and $({x}^{a},{y}^{b})$,

*i.e.*, $({x}^{i},{y}^{j})\sim ({x}^{a},{y}^{b})$ for all *i*, *j*, *a*, *b*.

*A*, with the vertex set

Hence we obtain $\omega (\Gamma ({\mathcal{S}}_{M}^{1})[\Gamma ({\mathcal{S}}_{M}^{2})])=(1+\lceil \frac{n-1}{2}\rceil )(1+\lceil \frac{m-1}{2}\rceil )$, as required. □

**Remark 2**By Theorems 6 and 7,

which implies that the lexicographic product preserves the perfectness property for the special graphs $\Gamma ({\mathcal{S}}_{M}^{1})$ and $\Gamma ({\mathcal{S}}_{M}^{2})$. We note that each graph in here is perfect by [1]. Actually, Eq. (5) implies a special case of the result in [19] since in this reference the authors proved that the lexicographic product $G[H]$ is perfect iff *G* and *H* are perfect.

**Example 1**For the semigroups

- (i)
$girth(\Gamma ({\mathcal{S}}_{M}^{5})[\Gamma ({\mathcal{S}}_{M}^{4})])=3$ (by Theorem 1).

- (ii)
$\Delta (\Gamma ({\mathcal{S}}_{M}^{5})[\Gamma ({\mathcal{S}}_{M}^{4})])=19$ and $\delta (\Gamma ({\mathcal{S}}_{M}^{5})\otimes \Gamma ({\mathcal{S}}_{M}^{4}))=5$ (by Theorem 2).

- (iii)
$diam(\Gamma ({\mathcal{S}}_{M}^{5})[\Gamma ({\mathcal{S}}_{M}^{4})])=2$ (by Theorem 3).

- (iv)
$rad(\Gamma ({\mathcal{S}}_{M}^{5})[\Gamma ({\mathcal{S}}_{M}^{4})])=1$ (by Theorem 4).

- (v)
$\gamma (\Gamma ({\mathcal{S}}_{M}^{5})[\Gamma ({\mathcal{S}}_{M}^{4})])=1$ (by Theorem 5).

- (vi)
$\chi (\Gamma ({\mathcal{S}}_{M}^{5})[\Gamma ({\mathcal{S}}_{M}^{4})])=9$ (by Theorem 6).

- (vii)
$\omega (\Gamma ({\mathcal{S}}_{M}^{5})[\Gamma ({\mathcal{S}}_{M}^{4})])=9$ (by Theorem 7).

## Declarations

### Acknowledgements

Dedicated to Professor Hari M Srivastava.

The first, third and fourth authors are partially supported by Research Project Offices of Selcuk and Uludag universities. The second author is supported by the Faculty research Fund, Sungkyunkwan University, 2012 and Sungkyunkwan University BK21 Project, BK21 Math Modelling HRD Div. Sungkyunkwan University, Suwon, Republic of Korea.

## Authors’ Affiliations

## References

- Das KC, Akgunes N, Cevik AS: On a graph of monogenic semigroup.
*J. Inequal. Appl.*2013., 2013: Article ID 44. doi:10.1186/1029–242X-2013–44Google Scholar - Beck I: Coloring of commutating ring.
*J. Algebra*1988, 116: 208–226. 10.1016/0021-8693(88)90202-5MathSciNetView ArticleGoogle Scholar - Anderson DF, Livingston PS: The zero-divisor graph of commutative ring.
*J. Algebra*1999, 217: 434–447. 10.1006/jabr.1998.7840MathSciNetView ArticleGoogle Scholar - Anderson DF, Badawi A: On the zero-divisor graph of a ring.
*Commun. Algebra*2008, 36(8):3073–3092. 10.1080/00927870802110888MathSciNetView ArticleGoogle Scholar - Anderson DD, Naseer M: Beck’s coloring of a commutative ring.
*J. Algebra*1991, 159: 500–514.MathSciNetView ArticleGoogle Scholar - DeMeyer FR, DeMeyer L: Zero-divisor graphs of semigroups.
*J. Algebra*2005, 283: 190–198. 10.1016/j.jalgebra.2004.08.028MathSciNetView ArticleGoogle Scholar - DeMeyer FR, McKenzie T, Schneider K: The zero-divisor graph of a commutative semigroup.
*Semigroup Forum*2002, 65: 206–214. 10.1007/s002330010128MathSciNetView ArticleGoogle Scholar - Imrich W: Factoring cardinal product graphs in polynomial time.
*Discrete Math.*1998, 192(1–3):119–144. Discrete metric spaces (Villeurbanne, 1996) 10.1016/S0012-365X(98)00069-7MathSciNetView ArticleGoogle Scholar - Imrich W, Klavžar S Wiley-Interscience Series in Discrete Mathematics and Optimization. In
*Product Graphs. Structure and Recognition*. Wiley-Interscience, New York; 2000.Google Scholar - Doŝlić T, Ghorbani M, Hosseinzadeh MA: The relationships between Wiener index, stability number and clique number of composite graphs.
*Bull. Malays. Math. Sci. Soc.*2013, 36(1):165–172.MathSciNetGoogle Scholar - Čižek N, Klavžar S: On the chromatic number of the lexicographic product and the Cartesian sum of graphs.
*Discrete Math.*1994, 134: 17–24. 10.1016/0012-365X(93)E0056-AMathSciNetView ArticleGoogle Scholar - Li F, Wang W, Xu Z, Zhao H: Some results on the lexicographic product of vertex-transitive graphs.
*Appl. Math. Lett.*2011, 24: 1924–1926. 10.1016/j.aml.2011.05.021MathSciNetView ArticleGoogle Scholar - Klavžar S: Coloring graph products - a survey.
*Discrete Math.*1996, 155: 135–145. 10.1016/0012-365X(94)00377-UMathSciNetView ArticleGoogle Scholar - Gross JL, Yellen J (Eds):
*Handbook of Graph Theory*. CRC Press, Boca Raton; 2004.Google Scholar - Akgunes N, Cevik AS: A new bound of radius of irregularity index.
*Appl. Math. Comput.*2013, 219: 5750–5753. 10.1016/j.amc.2012.11.081MathSciNetView ArticleGoogle Scholar - Erdös P, Pach J, Pollack R, Tuza Z: Radius, diameter, and minimum degree.
*J. Comb. Theory, Ser. B*1989, 47: 73–79. 10.1016/0095-8956(89)90066-XView ArticleGoogle Scholar - Lovász L: Normal hypergraphs and the weak perfect graph conjecture.
*Discrete Math.*1972, 2: 253–267. 10.1016/0012-365X(72)90006-4MathSciNetView ArticleGoogle Scholar - Puš V: Chromatic number of products of graphs.
*Comment. Math. Univ. Carol.*1988, 29: 457–463.Google Scholar - Ravindra G, Parthasarathy KR: Perfect product graphs.
*Discrete Math.*1977, 20: 177–186.MathSciNetView ArticleGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.