Abstract
For a finite group with a normal subgroup , the enhanced quotient graph of , denoted by is the graph with vertex set and two vertices and are edge connected if or for some . In this article, we characterize the enhanced quotient graph of . The graph is complete if and only if is cyclic, and is Eulerian if and only if is odd. We show some relation between the graph and the enhanced power graph that was introduced by Sudip Bera and A.K. Bhuniya (2016). The graph is complete if and only if is cyclic if and only if is complete. The graph is Eulerian if and only if is odd if and only if is Eulerian, i.e., the property of being Eulerian does not depend on the normal subgroup .
Keywords: enhanced power graph; enhanced quotient graph; Eulerian graph; planar graph.
AMS Mathematics Subject Classification: 05C25, 05C38, 05C45.
The enhanced quotient graph of the quotient of a finite group
^{2}^{2}footnotetext: This work was partially supported by CONACYT.Luis A. Dupont, Daniel G. Mendoza and Miriam Rodríguez.
Facultad de Matemáticas, Universidad Veracruzana
Circuito Gonzalo Aguirre Beltrán S/N;
Zona Universitaria;
Xalapa, Ver., México, CP 91090.
email: ldupont@uv.mx
1 Introduction
The investigation of graphs related to groups as
well as other algebraic structures is an exciting research topic in
the last few decades, [1, 2, 3, 4, 5, 6, 9, 11, 14, 16, 17, 18]. Only basic concepts about graphs will be needed for
this paper. They can be found in any book about graph theory, for example [10].
Given a finite group , there are many ways to associate a graph to by
taking families of elements or subgroups as vertices and letting two vertices be
joined by an edge if and only if they satisfy a property. All groups in this paper are finite. The enhanced power graph of a group was introduced by Sudip Bera and A. K. Bhuniya [7].
Definition 1.1.
Given a finite group , the enhanced power graph of denoted by is the graph with vertex set and two distinct vertices are edge connected in if there exists such that .
We will apply the idea of studying the enhanced power graph through the graphs of the quotient groups, as was carried out by the authors for the normal subgroup based power graph of a finite group in [8].
Definition 1.2.
For a finite group with a normal subgroup , the enhanced quotient graph of , denoted by with vertex set and two vertices and are edge connected, (i.e. ), if or for some .
Let be a finite group of order and be a normal subgroup of with . In this paper we provide some results on the basic structure of the enhanced quotient graph and we show the interplay between the graph and the enhanced power graph .
2 Definitions and structure
In this section we provide the first results of the two graphs of groups that we will study in this article, the enhanced power graph of denoted by and the enhanced quotient graph of , denoted by . We will see the results of the graph in comparison to the graph which was introduced in [7].
Proposition 2.1.
is connected.
Proof.
Since and consequently is and edge of for all ∎
Proposition 2.2.
For all is a clique of the graph
Proof.
Let and be elements of then hence ∎
Corollary 2.3.
The graph contains at least isomorphic subgraphs to
Proposition 2.4.
If with and some element of forms an edge of some element with then is a clique of
Proof.
Suppose that with Then, for some that is, and for all and for all Therefore, ∎
Corollary 2.5.
The graph contains at least isomorphic subgraphs to
Definition 2.6.
A clique , in a graph is a subset of the vertices of such that every two distinct vertices are adjacent. This is equivalent to the condition that the induced subgraph of induced by is a complete graph. A maximum clique of a graph is a clique such that there is no clique with more vertices. The clique number of a graph is the number of vertices in a maximum clique in .
Corollary 2.7.
For , , where is the highest order of a cyclic subgroup of .
Proof.
It follows from the proof of Proposition 2.4. ∎
Proposition 2.8.
Let be elements of Then, if and only if or
Proof.
If then for some Then, if we would have that On one hand, implies that for some thus On the other hand, implies that Hence, ∎
Corollary 2.9.
The graph contains at least isomorphic subgraphs to
Definition 2.10.
For a finite group and an element of , we denote by the set of generators of .
Proposition 2.11.
[7] For with and we have that none of the vertices in is adjacent with vertices in in the graph of
Proposition 2.12.
For with and we have that none of the vertices in is adjacent with vertices in in the graph of and the graph
Proof.
For the graph it follows from Proposition 2.11. For we see that if and are adjacent in then for some Then with and a contradiction. ∎
Proposition 2.13.
[7] The graph contains a cycle if and only if for some
Proposition 2.14.
The graph contains a cycle if and only if for some
Proof.
Suppose that is a cycle with and for in Thus implies that there is such that Hence, The converse is trivial. ∎
Corollary 2.15.
Let be a group and let be a normal subgroup of Then the following conditions are equivalent.

is bipartite;

is bipartite;

is a tree;

is a tree;


is a star graph;

is a star graph.
3 Completeness
In this section we characterize when the graphs studied are complete graphs.
Theorem 3.1.
The graph is complete if and only if is cyclic.
Proof.
Suppose that Let vertices of Then, Thus, and therefore is complete. Conversely, suppose that is complete. Let us consider that with We claim that Let If is complete, then for some Thus, and By maximality and Therefore ∎
Corollary 3.2.
[7] is complete if and only if is cyclic.
Proof.
Take ∎
Corollary 3.3.
is complete if and only if is cyclic if and only if is complete.
Definition 3.4.
Define a set as invertible if is closed under inverses and
The Cayley’s graph is defined by:
where if and only if
We can summarize the theme of the graphs in the following result.
Theorem 3.5.
We have that

where is the graph induced by in

The following propositions are equivalent


is cyclic.

is regular.

is complete.

is regular.

4 Cone Property
Definition 4.1.
We say that a vertex of a graph is a cone vertex if is a edge of the graph for each vertex of A graph having a cone vertex is said to satisfy the cone property.
Remark 4.2.
For all finite groups we have that since one graph has more vertices than the other.
Theorem 4.3.
[7] Let be a finite group and . If , then has a cone vertex.
Theorem 4.4.
Let be a group and let be a normal subgroup of If with then each with is a cone vertex.
Proof.
The argument is similar to the proof of the Theorem 4.3. ∎
Theorem 4.5.
[7] Let be a finite abelian group. Then has a cone vertex if and only if has a cyclic Sylow subgroup.
Theorem 4.6.
Let be a finite abelian group, with , and . Then has a cone vertex if and only if has a cyclic Sylow subgroup.
Proof.
If then By Theorem 4.4 is a cone vertex.
Conversely, suppose that has not the cyclic Sylow subgroup, we can assume that
Let be the cone vertex and consider with element of maximum order in . So if is a cone vertex, then which implies that for some element By maximality, Then, with otherwise, it would be such that concluding that and similarly with implies that with a contradiction. ∎
Theorem 4.7.
[7] Let G be a nonabelian âgroup. satisfies the cone property if and only if is generalized quaternion group.
Theorem 4.8.
Let be a normal subgroup of where is a group and Then has the cone property if and only if is a generalized quaternion group.
Proof.
Suppose that is a generalized quaternion group. Thus, is the only subgroup of order Let then with Hence, Thus and therefore is a cone element. Conversely, let a cone element de for all with i.e., Therefore, Henceforth each element of of order belongs to a cyclic group. We conclude that has an unique subgroup of order ∎
Theorem 4.9.
[7] Let be any simple group. Then does not satisfy the cone property.
Theorem 4.10.
Let be a maximal normal subgroup of . Then does not satisfy the cone property.
Proof.
Suppose that is a cone element, and is a prime such that Let with . Since , cyclic implies Therefore there exists a unique subgroup of order in the not simple group a contradiction. ∎
5 The properties: Eulerian, Hamiltonian and planar
A closed walk in a graph containing all the edges of is called an Euler path in . A graph containing an Euler path is called an Euler graph or Eulerian graph. The following theorem due to Euler [12], characterises Eulerian graphs. Euler proved the necessity part and the sufficiency part was proved by Hierholzer, [13].
Theorem 5.1.
(Euler) A connected graph is an Euler graph if and only if all vertices of are of even degree.
Theorem 5.2.
[7] Let be a group of order . Then the enhanced power graph is Eulerian if and only if is odd.
Theorem 5.3.
The graph is Eulerian if and only if is odd.
Proof.
If is odd, then is Eulerian. If are the maximal cyclic subgroups of that contain , with . Then
where is the maximum of that is contained in some
, for . Thus, is even and is even.
Suppose that is Eulerian, consequently is even.
Therefore and are both even or they are both odd.
Suppose that and are both even, then for
where and are both even. Therefore, the degree of is odd, a contradiction. ∎
We conclude that the property of being Eulerian does not depend on the normal subgroup .
Corollary 5.4.
is Eulerian if and only if is odd if and only if is Eulerian.
Definition 5.5.
A graph is called Hamiltonian if it has a cycle that meets every vertex. Such a cycle is called a Hamiltonian cycle.
Theorem 5.6.
Let be a finite group and be a normal subgroup. Then the enhanced quotient graph is Hamiltonian if the enhanced power graph is Hamiltonian.
Proof.
Let the enhanced power graph be Hamiltonian. Suppose . Since is Hamiltonian, there exists a Hamiltonian cycle . So, implies that for all and every coset is a clique in . Hence, we can construct a Hamiltonian cycle in as follows:
∎
Definition 5.7.
A planar graph is a graph that can be embedded in the plane, i.e., it can be drawn on the plane in such a way that its edges intersect only at their endpoints.
Theorem 5.8.
(Kuratowski 1930, [15]) A finite graph is planar if and only if it does not contain a subgraph that is homeomorphic to or .
Theorem 5.9.
[7] Let a group. Then the enhanced power graph is planar if and only if
Theorem 5.10.
The graph is not planar if and only if or and or and or and , where is the highest order of a cyclic subgroup of .
6 Deleted enhanced quotient graph
Definition 6.1.
In this section we consider the graphs obtained by deleting the vertex from the graphs , respectively. We call the deleted enhanced power graph and the deleted enhanced quotient graph. The deleted graphs are not necessarily connected. [7].
Theorem 6.2.
[7] Let be a finite –group. Then is connected if and only if has a unique minimal subgroup.
Theorem 6.3.
Let be a finite –group. Then is connected if and only if has a unique minimal subgroup.
Proof.
The argument is similar to the proof of the Theorem 6.2. ∎
For a finite group G, you have the following definitions:
and let be the set of all maximal element of under the divisibility relation.
Theorem 6.4.
[7] Let . Then the graph is connected.
Theorem 6.5.
For with , is connected.
Proof.
If is abelian then We consider such that We claim that for each

implies that there are and prime numbers such that and
and implies that
Therefore 
Thus there is or
Let be primes with with a similar argument we have that The other subcase is similar.

∎
A last result of the same nature, concerning the deleted enhanced power graph which has its analogue for the deleted enhanced quotient graph is the following:
Theorem 6.6.
[7] Let and for some prime . Then the graph is connected if and only if for some non–central element of order there exists a non –element such that in the graph .
Finally, the Corollary 2.15 for deleted graphs can be rewritten as follows:
Theorem 6.7.
Let be a group. Then the following conditions are equivalent.

is bipartite;

is a forest;

has no cycle;

for every .
The circumference of a graph is the length of the longest cycle.
Theorem 6.8.
Let be a group and let be a normal subgroup of , with . Then the following conditions are equivalent.

is partite with partition ; where for all .

The circumference of is ;

The clique number ) of is ;

for every ;

.
References
 [1] A. Abdollahi, S. Akbari, and H. R. Maimani. Noncommuting graph of a group. J. Algebra. 298(2):468â492, 2006.
 [2] S. Abe and N. Iiyori. A generalization of prime graphs of finite groups. Hokkaido Math. J., 29(2):391â407, 2000.
 [3] D. F. Anderson, P. S, Livingston. The zerodivisor graph of a commutative ring. J. Algebra. 217:434–447, 1999.
 [4] S. E. Atani. A ideal based zero divisor graph of a commutative semiring. Glasnik Matematicki. 44(64):141–153, 2009.
 [5] A. BallesterBolinches and J. Cossey. Graphs, partitions and classes of groups. Monatsh. Math., 166:309â318, 2012.
 [6] A. BallesterBolinches, J. Cossey, and R. EstebanRomero. On a graph related to permutability in finite groups. Ann. Mat. Pura Appl., 189(4):567â570, 2010.
 [7] S. Bera, A. K. Bhuniya. On some properties of enhanced power graph. arXiv:1606.03209v1, 2016.
 [8] S. Bera, A. K. Bhuniya. Normal subgroup based power graph of a finite Group. Communications in Algebra, 45 (8): 3251–3259, 2017.
 [9] I. Chakrabarty, S. Ghosh, M. K. Sen. Undirected power graphs of semigroups. Semigroup Forum. 78:410–426, 2009.
 [10] R. Diestel. Graph theory. volume 173 of Graduate Texts in Mathematics. SpringerVerlag, Berlin, third edition, 2005.
 [11] B. Elavarasan, K. Porselvi. An ideal based zero divisor graph of posets. Commun. Korean Math. Soc. 28:79–85, 2013.
 [12] L. Euler. Solutio problematics ad geometriamsitus pertinents. Comment. Academiae Sci. I Petropolitanae 8 128â140, (1736).
 [13] C. Heirholzer. Ueber die Moglickkeit, Einen Linienzug ohne Wiederholung and ohne Unterrechung zu umfahren. Math. Ann. 6 30â32, (1893).
 [14] M. Herzog, P. Longobardi, and M. Maj. On a commuting graph on conjugacy classes of groups. Comm. Algebra, 37(10):3369â3387, 2009.
 [15] K. Kuratowski, Kazimierz Sur le problme des courbes gauches en topologie. Fund. Math. (in French), 15: 271â283, 1930.
 [16] S. P. Redmond. An idealbased zero divisor graph of a commutative ring. Communication in algebra. 31:4425–4443, 2003.
 [17] J. S. Williams. Prime graph components of finite groups. J. Algebra, 69:487â513, 1981.
 [18] Y. F. Wu. Groups in which commutativity is a transitive relation. J. Algebra, 207:165â181, 1998.