Journal of Mathematics
Volume 2021 (2021), Article ID 6630011, 4 pages
https://doi.org/10.1155/2021/6630011

Research Article

Line Graphs of Monogenic Semigroup Graphs

Nihat Akgunes,¹ Yasar Nacaroglu,² and Sedat Pak¹

¹Department of Mathematics-Computer Sciences, Necmettin Erbakan University, Konya 42090, Turkey
²Department of Mathematics, Kahramanmaras Sutcu Imam University, Kahramanmaras 46100, Turkey

Correspondence should be addressed to Nihat Akgunes; nakgunes@konya.edu.tr

Received 25 January 2021; Revised 12 March 2021; Accepted 30 March 2021; Published 17 April 2021

Academic Editor: Ismail Naci Cangul

Copyright © 2021 Nihat Akgunes et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

The concept of monogenic semigroup graphs is firstly introduced by Das et al. (2013) based on zero divisor graphs. In this study, we mainly discuss the some graph properties over the line graph of . In detail, we prove the existence of graph parameters, namely, radius, diameter, girth, maximum degree, minimum degree, chromatic number, clique number, and domination number over .

1. Introduction

The history of studying zero-divisor graphs has began over commutative rings by Beck’s paper [1], and then, it is followed over commutative and noncommutative rings by some of the joint papers (cf. [2–4]). After that, DeMeyer et al. [5, 6] studied these graphs over commutative and noncommutative semigroups. Since zero-divisor graphs have taken so much attention, the researchers added a huge number of studies to improve the literature. In [7], the authors introduced monogenic semigroup graphs based on actually zero-divisor graphs. In detail, to define , the authors first considered a finite multiplicative monogenic semigroup with zero as the set:

By considering the definition given in [5], it has been obtained an undirected (zero-divisor) graph associated to as in the following. The vertices of the graph are labeled by the nonzero zero divisors (in other words, all nonzero element) of , and any two distinct vertices and , where , are connected by an edge in case with the rule if and only if . The fundamental spectral properties of graph , such as the diameter, girth, maximum and minimum degree, chromatic number, clique number, degree sequence, irregularity index, and dominating number, are presented in [7]. Furthermore, in [8], first and second Zagreb indices, Randić index, geometric-arithmetic index, and atom-bond connectivity index, Wiener index, Harary index, first and second Zagreb eccentricity indices, eccentric connectivity index, and the degree distance which emphasize the importance of graph have been studied.

It is known that the line graph of is a graph whose vertices are the edges of , and any two vertices are incident if and only if they have a common end vertex in . Although line graphs were firstly introduced by the papers [9, 10], the details of these studies started by Harary [11] and after that by Harary (Chapter 8 in [12]). In fact the line graph is an active topic of research studies at this moment. For example, some topological indices of line graphs have been considered in [13, 14].

In Section 2, we will mainly deal with the special parameters, namely, radius, diameter, girth, maximum and minimum degree, domination number, and chromatic and clique numbers over the line graph of monogenic semigroup graph associated with as given in (1). We note that [15] will be followed for unexplained terminology and notation in this paper.

2. Main Results

In this part, our aim is to reach previously mentioned goals. At this point, we remind that, for any simple graph , the graph properties such as radius, diameter, and girth are obtained by calculating the distance between any two vertices or the total number of whole vertices. So, our proofs will be based on this idea.

The eccentricity of a vertex , denoted by , in a connected graph is the maximum distance between and any other vertex of (for a disconnected graph, all vertices are defined to have infinite eccentricity). It is clear that is equal to the maximum eccentricity among all vertices of . On the contrary, the minimum eccentricity is called the radius [16, 17] of and denoted by

Theorem 1. Let be a monogenic semigroup graph. Then, the radius of the line graph is given by

Proof. We can easily see that the result is true for by Figure 1. So, let us consider , and let us take into account any two vertices and from the graph . By the definition of , we have and , since .
If , then .
If , then since .
So, we obtain for all . Thus, is a 2-self-centered graph for .
Hence, the result is obtained.

Figure 1: Line graphs for .

It is known that the diameter of is defined by the set

Theorem 2. Let be a monogenic semigroup graph. Then, the diameter of is

Proof. The proof can be obtained in a similar way as in the proof of Theorem 1.

We recall that the girth of a graph is the length of a shortest cycle contained in . Moreover, the girth is defined to be infinity if does not contain any cycle.

Theorem 3. For a monogenic semigroup graph , the girth of line graph is 3.

Proof. Since for , we have . So, we assume that which implies the set is a complete subgraph of . Hence, , as required.

The maximum degree of is the number of the largest degree in , and the minimum degree of is the number of the smallest degree in (see, for instance, [15]). According to these reminders, we can state and prove the following theorem in terms of the line graph.

Theorem 4. Let be a monogenic semigroup graph. Then, .

Proof. We know that for . From definition, the monogenic semigroup graph , we have . Therefore, the vertex of maximum degree in must be the vertex . As a result, we have

as required.

Theorem 5. Let be a monogenic semigroup graph. Then, .

Proof. By definition of the degree sequences of monogenic semigroup graphs in the studies [7, 8], we obtain that the set vertices with minimum degree are

Therefore, we have

Hence, we get the proof.

A subset of the vertex set of any graph is called a dominating set if every vertex is joined to at least one vertex of by an edge. Additionally, the domination number is the number of vertices in a smallest dominating set for (we may refer [15] for the fundamentals of domination number).

Theorem 6. Let be a monogenic semigroup graph. The domination number of is

Proof. Let us consider the set , where or . In fact, is the domination set in .

 Case 1: suppose :

 Case 2: now, suppose :

The above steps complete the proof.

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

In addition, there exists another graph parameter, namely, the clique of a graph . In fact, depending on the vertices, each of the maximal complete subgraphs of is called a clique. Moreover, the largest number of vertices in any clique of is called the clique number and denoted by . In general, by [15], it is well known that for any graph . For every induced subgraph of , if holds, then is called a perfect graph [18].

Theorem 7. Let be a monogenic semigroup graph. Then, .

Proof. Due to the definition of , if the vertex is adjacent to the vertex , then . Therefore, the vertex sets of complete graphs in must be the form of

So, since the vertex with maximum degree in is , the maximum complete subgraph in is the subgraph with vertex set , where

such that the number of elements in it is . Thus, , as required.

Theorem 8. For a monogenic semigroup graph , the chromatic number of line graph of is determined by .

Proof. Since the set is the complete subgraph of , we must paint each vertex in this set with a different color. That means we need to use colors for this set . The graph has at least one vertex that is not adjacent to for all of the vertices in , where . Therefore, we can use one of the colors which used in the set for the vertex . Thus, , as required.

Example 1. The graph is given in Figure 2.

Figure 2: Line graph of for .

Let us consider the semigroup

Now, by considering the graph as drawn in Figure 2, we can list the following results as example:

(i) (obtained by Theorem 1)(ii) (obtained by Theorem 2)(iii) (obtained by Theorem 3)(iv) (obtained by Theorem 4)(v) (obtained by Theorem 5)(vi) (obtained by Theorem 6)(vii) (obtained by Theorem 7)(viii) (obtained by Theorem 8)

3. Conclusions

The aim of the study is to investigate the concept of monogenic semigroup graphs , which is firstly introduced by Das et al. [7], based on zero-divisor graphs. We examine the some graph properties over the line graph of . The existences of graph parameters, namely, radius, diameter, girth, maximum degree, minimum degree, chromatic number, clique number, and domination number over are proved, respectively.

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

References

I. Beck, “Coloring of commutative rings,” Journal of Algebra, vol. 116, no. 1, pp. 208–226, 1988.

D. F. Anderson and A. Badawi, “On the zero-divisor graph of a ring,” Communications in Algebra, vol. 36, no. 8, pp. 3073–3092, 2008.

D. D. Anderson and M. Naseer, “Beck’s coloring of a commutative ring,” Journal of Algebra, vol. 159, pp. 500–514, 1991.

D. F. Anderson and P. S. Livingston, “The zero-divisor graph of a commutative ring,” Journal of Algebra, vol. 217, no. 2, pp. 434–447, 1999.

F. R. DeMeyer, T. McKenzie, and K. Schneider, “The zero-divisor graph of a commutative semigroup,” Semigroup Forum, vol. 65, no. 2, pp. 206–214, 2002.

F. DeMeyer and L. DeMeyer, “Zero divisor graphs of semigroups,” Journal of Algebra, vol. 283, no. 1, pp. 190–198, 2005.

K. C. Das, N. Akgunes, and A. S. Cevik, “On a graph of monogenic semigroup,” Journal of Inequalities and Application, vol. 44, p. 13, 2013.

N. Akgunes, K. C. Das, A. S. Cevik, and I. N. Cangul, “Some properties on the lexicographic product of graphs obtained by monogenic semigroups,” Journal of Inequalities and Applications, vol. 238, pp. 1–9, 2013.

J. Krausz, “Démonstration nouvelle d’un théorème de Whitney sur les réseaux,” Matematikai és Fizikai Lapok, vol. 50, pp. 75–85, 1943.

H. Whitney, “Congruent graphs and the connectivity of graphs,” American Journal of Mathametics, vol. 54, no. 1, pp. 150–168, 1932.

F. Harary and R. Z. Norman, “Some properties of line digraphs,” Rendiconti del Circolo Matematico di Palermo, vol. 9, no. 2, pp. 161–168, 1960.

F. Harary, Graph Theory, Addison-Wesley, Boston, MA, USA, 1972.

G. Su and L. Xu, “Topological indices of the line graph of subdivision graphs and their Schur-bounds,” Applied Mathematics and Computation, vol. 253, pp. 395–401, 2015.

P. S. Ranjini, V. Lokesha, and I. N. Cangül, “On the Zagreb indices of the line graphs of the subdivision graphs,” Applied Mathematics and Computation, vol. 218, no. 3, pp. 699–702, 2011.

J. L. Gross and J. Yellen, Handbook of Graph Theory, Chapman Hall, CRC Press, Boca Raton, FL, USA, 2004.

P. Erdös, J. Pach, R. Pollack, and Z. Tuza, “Radius, diameter, and minimum degree,” Journal of Combinatorial Theory, Series B, vol. 47, pp. 73–79, 1989.

N. Akgunes and A. S. Cevik, “A new bound of radius of irregularity index,” Applied Mathematics and Computation, vol. 219, pp. 5750–5753, 2013.

L. Lovász, “Normal hypergraphs and the perfect graph conjecture,” Discrete Mathematics, vol. 2, no. 3, pp. 253–267, 1972.