Some New Results Concerning Power Graphs and Enhanced Power Graphs of Groups I. Boˇsnjak, R. Madar´asz, S. Zahirovi´c Abstract The directed power graph G~(G) of a group G is the simple digraph with vertex set G such that x → y if y is a power of x. The power graph of G, denoted by G(G), is the underlying simple graph. The enhanced power graph Ge(G) of G is the simple graph with vertex set G in which two elements are adjacent if they generate a cyclic subgroup. In this paper it is proved that, if two groups have isomorphic power graphs, then they have isomorphic enhanced power graphs too. A suffi- cient condition for a group to have perfect enhanced power graph is given. By this condition, any group having order divisible by at most two primes has perfect enhanced power graph. 1 Introduction The directed power graph of a group G is the simple directed graph whose vertex set is G, and in which x → y if y is a power of x. Its underlying simple graph is called the power graph of the group. The directed power graph was introduced by Kelarev and Quinn [15], while the power graph was first studied by Chakrabarty, Ghosh and Sen [11]. The power graph has been subject of many papers, including [1, 6–10, 16–18, 22, 23]. In these papers, combinatorial and algebraic properties of the power graph have received great attention. For more details the survey [2] is recommended. The enhanced power graph of a group is the simple graph whose vertices are elements of the group, and in which two vertices are adjacent if they are powers of some element of the group, i.e. if they generate a cyclic subgroup. The enhanced power graph was introduced by Aalipour et al. [1], and it was further studied in [5, 14, 20, 21, 25]. In these papers combinatorial properties of the enhanced power graph, its relation to the power graph of the group, as well as algebraic properties of its automorphism group, have received significant attention. Another graph closely related to the enhanced power graph of a group is the cyclic graph of a semigroup, in which two elements are adjacent when they generate a monogenic subsemigroup. The cyclic graph of a semigroup was studied in [4, 13], but it was studied in the case of groups too in [3, 19]. Cameron [6] proved that two finite groups that have isomorphic power graphs also have isomorphic directed power graphs. Cameron, Guerra and Jurina [8] arXiv:2012.02851v1 [math.CO] 4 Dec 2020 proved that, for torsion-free groups G and H of nilpotency class 2, G(G) =∼ G(H) implies G~(G) =∼ G~(H). Zahirovi´c[23] proved that this implication holds whenever at least one of the two groups is torsion-free and of nilpotency class 2, and in [24] he generalized this result by proving the same implication when at least one of the groups does not contain a Pr¨ufer group as a subgroup. Boˇsnjak, Madar´asz and Zahirovi´c[25] proved that the enhanced power graph of a finite group determines the directed power graphs. Therefore, by [6] and [25], in the case of finite groups, the power graph, the directed power graph and the enhanced power graph determine each other. By the result from [24], if a group does not contain a Pr¨ufer group as a subgroup, then its enhanced power graph 2 is determined by the power graph. In Section 3 we are going to prove that the power graph of any group determines the enhanced power graph. Many combinatorial properties of the power graph have been studied, and all that has motivated similar research for the enhanced power graph. Aalipour et al. [1] showed that the power graph of every group of bounded exponent is perfect. They also proved that the clique number of the power graph of any group is at most countable, and they posed the question whether the chromatic number of the power graph of any group is at most countable too. Shitov [22] gave the affirmative answer to their question by proving that every power- associative groupoid, i.e. groupoid whose all one-generated subgroupoids are semigroups, has power graph whose chromatic number is at most countable. Aalipour at al. [1] proved that the clique number of the enhanced power graph is at most countable. In [25] the authors proved that a finite nilpotent group has perfect enhanced power graph if and only if it has at most two non-cyclic Sylow subgroups. In Section 4 of the present paper it is proved that, if a finite group G has a unique and cyclic Sylow subgroup for all but at most two prime divisors of |G|, then G has perfect enhanced power graph. Consequently, for any primes p and q, every group of order pnqm has perfect enhanced power graph. Further in this section, a characterization of finite symmetric and alternative groups with perfect enhanced power graph is given. Namely, Ge(Sn) is perfect if and only if n ≤ 7, and Ge(An) is perfect if and only if n ≤ 8 2 Basic Notions and Notations In this paper, by a graph we mean a simple graph. For a graph Γ, V (Γ) and E(Γ) denote the vertex set and the edge set of Γ, respectively. If two vertices x and y of Γ are adjacent, we denote this by x ∼Γ y, or shortly by x ∼ y. Subgraph of Γ induced by a set X ⊆ V (Γ) we shall denote by Γ[X]. The complement of a graph Γ is graph Γ with vertex set V (Γ) and such that x ∼Γ y if and only if x 6∼Γ y. For graphs Γ and ∆, the strong product of Γ and ∆ is the graph Γ ⊠ ∆ with vertex set V (Γ) × V (∆) such that (x1,y1) ∼Γ⊠∆ (x2,y2) if (x1 = x2 ∨ x1 ∼Γ x2) ∧ (y1 = y2 ∨ y1 ∼∆ y2) whenever (x1,y1) 6= (x2,y2). The vertex set of a directed graph, or a digraph, ~Γ is denoted by V (~Γ). Its edge set, which consists of ordered pairs of different vertices of ~Γ, is denoted by E(~Γ). Its edges are also called directed edges or arcs. If (x, y) ∈ E(~Γ), we denote this by x →Γ y, or shortly by x → y. Then we say that x is a direct predecessor of y, and that y is a direct successor of x. For vertices x and y of a graph Γ, dΓ(x, y), or shortly d(x, y) denotes the distance between x and y in the graph Γ, and diam(Γ) denotes the diameter of Γ. Closed neighborhood of a vertex x of a graph Γ is the set N Γ(x)= {y | y ∼Γ x or y = x}, and we shall shortly denote it by N(x). If two vertices x and y of Γ have the same closed neighborhood, we shall denote it by x ≡Γ y, or simply by x ≡ y. All through this paper, algebraic structures such as groups will be denoted by bold capitals, and their universes will be denoted by respective regular capital 3 letters. For elements x and y of a group G we shall write x ≈G y, or simply x ≈ y, if hxi = hyi, where hxi denotes the subgroup generated by x. By o(x) we shall denote the order of the element x of a group. Now we introduce the definitions of the power graph and the enhanced power graph of a group. Definition 2.1 The directed power graph of a group G is the digraph G~(G) whose vertex set is G, and in which there is a directed edge from x to y, x 6= y, if there exists n ∈ Z \{0} such that y = xn. If there is a directed edge from x to y in G~(G), we shall denote that by x →G y, or shortly by x → y. The power graph of a group G is the graph G(G) whose vertex set is G, and whose vertices x and y, x 6= y, are adjacent if there exists n ∈ Z \{0} such that y = xn or x = yn. If x and y are adjacent in G(G), we shall denote that p p by x ∼G y, or shortly by x ∼ y. Definition 2.2 The enhanced power graph of a group G is the graph Ge(G) whose vertex set is G, and whose vertices x and y, x 6= y, are adjacent if there exist z ∈ G and n,m ∈ Z such that x = zn and y = zm. If x and y are adjacent e e in Ge(G), we shall denote it by x ∼G y, or shortly by x ∼ y. We note that the directed power graph and the power graph of a group are p usually defined such that x → y if y = xn for some n ∈ Z, and such that x ∼ y if y = xn or x = yn for some n ∈ Z. Here we use slightly different definition of the power graph by which the identity element of the group is adjacent to no element of infinite order. This way it will be more convenient to state some of our arguments, and it is justified because, by [23, Theorem 5], the power graphs by these two definitions determine each other up to isomorphism. 3 The Power Graph and the Enhanced Power Graph of a Group In this section we prove that the enhanced power graph of a group is de- termined by the power graph.