arXiv:2104.06694v1 [math.CO] 14 Apr 2021 h rpriso nagbacstructure investig algebraic decades, an two of last the examp properties During for the (see, enrich [25]. these applications theory like automata important graphs have as they theory, Moreover, graph algebraic in topic ento 1.1 Definition follows. as with associated graph xlie ntesre 2,ti ento locvrdthe covered Chakrabarty g also power follows definition a paper this of present concept [2], the The survey 21]. the gro 13, in 12, finite 11, explained of 10, graphs [2, t context power graph this graph the in power using is structures them enhanced algebraic amongst [5], representation bas study subgroup to group normal introduced of been [26], graph [4], group semiring power 27], [3], intersection [13, ring semigroup a of of graph graph zero-divisor specifically em 1.1 Lemma following; the proved h ls fsemigroups of class the n nyi either if is only set and vertex whose graph, simple fadol if only and if IEGAHCAATRZTO FPWRGAH FFINITE OF GRAPHS POWER OF CHARACTERIZATION GRAPH LINE e od n phrases. and words Key 2010 h netgto fgahrpeettosi n fteint the of one is representations graph of investigation The h uhr n[3 tde aiu rpriso h oe g power the of properties various studied [13] in authors The ahmtc ujc Classification. Subject Mathematics Abstract. n rprpwrgah of graphs power proper and odto nteodro h ierlgop o hc h p the which for groups dihedral graphs. the line of are order groups dihedral the ar on grap groups condition line quaternion fin generalized a are of all graph graphs categorize power power we proper proper the Also whose 2-groups) graphs. abelian line non are graphs power whose Term21,[13]) 2.12, (Theorem G scli ru forder of group cylcic is [,1,26]) 13, ([2, hspprdaswt h lsicto fgroups of classification the with deals paper This u m = S, iptn ru;Ln rp;Pwrgah rprpwrgrap power Proper graph; Power graph; Line group; Nilpotent S v a ena xiigtpco eerh ieettpso gra of types Different research. of topic exciting an been has or o which for . v n Let G IPTN GROUPS NILPOTENT = r iegah.I at ecasf l nt iptn gro nilpotent finite all classify We fact, In graphs. line are S u, . S o nt group finite a For 1. P n w itntvertices distinct two and where easmgop hnthe then semigroup, a be 52;20D10. 05C25; ( S tal et Introduction UI BERA SUDIP 1 scnetdo opee sacneunethey consequence a As complete. or connected is ) S or ,n m, n sstebiftr pwrgah defined graph” “power term brief the uses and . n h rp-hoei rpriso Γ( of properties graph-theoretic the and p 1 m , ∈ o oeprime some for N . G, iegah.Bsds ederive we Besides, graphs. line e h oe graph power the eiru 1] oe 2] power [23], poset [16], semigroup nietdgah.Accordingly, graphs. undirected ohagbaadgahtheory. graph and algebra both s oevr esuythat study we Moreover, hs. er.Oeo h ao graph major the of One heory. t iptn rus(except groups nilpotent ite ahwsitoue n[6.As [26]. in introduced was raph to fteitrlybetween interplay the of ation e 2 4)adaerltdto related are and 24]) [2, le, G rsigadpplrresearch popular and eresting u p.W on eea papers several found We ups. oe oe rpso the of graphs power roper dpwrgaho ru [7], group of graph power ed oe graph power and uhta oe graphs power that such fgop[,6 t.have etc. 6] [1, group of ah hycharacterized They raph. p n o some for and v r decnetdif connected edge are P ( P h. G ( ) S scomplete is of ) m ups ∈ S, S N phs, ) . sa is , a 2 SUDIP BERA ∼ ∼ It is cleared that for the two groups G1 and G2,G1 = G2 implies that P(G1) = P(G2). One natural question is that, does the converse hold? In [10], the authors showed that the non-isomorphic finite groups may have isomorphic power graphs, but that finite abelian groups with isomorphic power graphs must be isomorphic. Also they conjectured that two finite groups with isomorphic power graphs have the same number of elements of each order. Then Cameron proved this conjecture in [9]. In [15], Curtin et al. introduced the concept of deleted power graphs. They introduced deleted power graph as follows; Definition 1.2. Given a group G, the proper power graph of G, denoted by P∗∗(G), is the graph obtained by deleting all the dominating vertices from the power graph P(G). Moreover, by P∗(G) we denote the graph obtained by deleting only the identity element of G and this is called deleted power graph of G. Note that if there is no such dominating vertex other than identity, then P∗(G)= P∗∗(G).

Curtin et al. discussed the diameter of the proper power graph of the symmetric group Sn on n symbols. For more information related to proper power graphs we refer to [15, 17, 28]. Then Aalipour et al. in [1, Question 40] asked about the connectivity of proper power graphs. Recently, Cameron and Jafari in [11] answered this question. Moreover, they wrote a theorem (below) in which they classified all groups G such that some non-identity vertex is joined to all others. Lemma 1.2 (Theorem 4, [11]). Let G be a finite group. Suppose that x ∈ G has the property that for all y ∈ G, either x is a power of y or vice versa. Then one of the following holds: (a) x = e; (b) G is cyclic and x is a generator; (c) G is a cyclic p-group for some prime p and x is arbitrary; (d) G is a generalized quaternion group and x has order 2. 1.1. Basic Definitions, Notations and Main Results. We begin this section with some standard definitions from and group theory. For the convenience of the reader and also for later use, we recall some basic definitions and notations about graphs. Let Γ=(V, E) be a graph where V is the set of vertices and E is the set of edges. A graph Γ′ =(V ′, E′) is a subgraph of another graph Γ = (V, E) if and only if V ′ ⊂ V, and E′ ⊂ E. An induced subgraph of a graph is another graph, formed from a subset of the vertices of the graph and all of the edges connecting pairs of vertices in that subset. Two elements u and v are said to be adjacent if (u, v) ∈ E. The standard distance between two vertices u and v in a connected graph Γ is denoted by d(u, v). Clearly, if u and v are adjacent, then d(u, v)=1. For a graph Γ, its diameter is defined as diam(Γ) = maxu,v∈V d(u, v). That is, the diameter of graph is the largest possible distance between pair of vertices of a graph. A path of length k between two vertices v0 and vk is an alternating sequence of vertices and ′ edges v0, e0, v1, e1, v2, ··· , vk−1, ek−1, vk, where the vis are distinct (except possibly the first and last vertices) and ei is the edge (vi, vi+1). A graph Γ is said to be connected if for any pair of vertices u and v, there exists a path between u and v. Γ is said to be complete if any two distinct vertices are adjacent. A clique of a graph Γ is an induced subgraph of Γ that is complete. The with n vertices is denoted by Kn. A CHARACTERIZATION OF POWER GRAPHS OF FINITE GROUPS 3

(or bigraph) is a graph whose vertices can be divided into two disjoint and independent sets V1 and V2 such that every edge connects a vertex in V1 to one in V2. Vertex sets V1 and V2 are usually called the parts of the graph. A complete bipartite graph or biclique is a special kind of bipartite graph where every vertex of the first set is connected to every vertex of the second set. The star graph with n + 1 vertices is denoted by Γ1,n which consists of a single vertex with n neighbours. A star graph with the vertex set v, v′, v′′, v′′′ is ′ ′′ ′′′ ′ ′′ ′′′ denoted by Γ1,3(v, v , v , v ), where v is edge connected to each of the vertices v , v , v and there is no edge between the vertices v′, v′′, v′′′. A vertex of a graph Γ = (V, E) is called a dominating vertex if it is adjacent to every other vertex. For a graph Γ, let Dom(Γ) denote the set of all dominating vertices in Γ. The vertex connectivity of a graph Γ, denoted by κ(Γ) is the minimum number of vertices which need to be removed from the vertex set Γ so that the induced subgraph of Γ on the remaining vertices is disconnected. The complete graph with n vertices has connectivity n − 1. A graph Γ is a cograph if it has no induced subgraph isomorphic to the four-vertex path P4. A graph Γ is chordal if it contains no induced cycles of length greater than 3; in other words, every cycle on more than 3 vertices has a chord. A threshold graph is a graph containing no induced subgraph isomorphic to P4,K4 or 2K2( or K2 L K2) (two disjoint edges with no further edges connecting them) . In general, let Γ1, ··· , Γm be m graphs such that V (Γi) ∩ V (Γj) = ∅, for i =6 j. Then Γ=Γ1 L ··· L Γm be a graphs with vertex set is V (Γ) = V (Γ1) ∪···∪ V (Γm) and E(Γ) = E(Γ1) ∪···∪ E(Γm). Two graphs Γ1 and Γ2 are isommphic if there is a bijection, f (say) ′ ′ from V (Γ1) to V (Γ2) such that v ∼ v in Γ1 if and only if f(v) ∼ f(v )inΓ2. for the vertices v, v′, v ∼ v′ denotes that v and v′ are edge connected. Also v ≁ v′ means that v and v′ are not edge connected. For more on graph theory we refer [8, 19, 31]. Throughout this paper we consider G as a finite group. |G| denotes the cardinality of the set G. For a prime p, a group G is said to be a p-group if |G| = pr,r ∈ N. Recall that a finite group G is nilpotent if and only if it is a direct product of its Sylow p-subgroups over primes p dividing |G|. Note that, in a nilpotent group, elements of different prime orders commute. For more on nilpotent group we refer [22, 29, 30]. Lemma 1.3 (Proposition 7.5, [22]). A finite group is nilpotent if and only if it is the direct product of its Sylow subgroups. Lemma 1.4 (Corollary 7.6, [22]). If G is a finite nilpotent group and m divides |G|, then G has a subgroup of order m. We need the structures of dihedral groups and generalized quarternion groups. For n ≥ 2, the dihedral group of order 2n is defined by the following presentation: n 2 −1 D2n = hr, s : r = s = e,rs = sr i.

We also consider the generalized quarternion groups Q2n . Let x = (1, 0) and y = (0, 1). Then Q2n = hx, yi, where (a) x has order 2n−1 and y has order 4, a a (b) every element of Q2n can be written in the form x or x y for some a ∈ Z, − (c) x2n 2 = y2, n (d) for each g ∈ Q2 such that g ∈hxi, such that gxg−1 = x−1. 4 SUDIP BERA

For more information about D2n, and Q2n see [14, 18, 30]. Lemma 1.5 (Theorem 5.4.10, [20]). If G is a p-group with a unique subgroup of order p for an odd prime p, then G is cyclic.

For any element g ∈ G, o(g) denotes the order of the element g ∈ G. Throughout this article v(m) denotes a vertex of order m of G. Let m and n be any two positive integers, then the greatest common divisor of m and n is denoted by gcd(m, n). The exponent of a group G, denoted by exp(G) is defined as the least common multiple of the orders of all elements of the group. If there is no least common multiple, the exponent is taken to be infinity (or sometimes zero, depending on the convention). The Euler’s phi function φ(n) is the number of integers k in the range 1 ≤ k ≤ n for which the gcd(n, k) is equal to 1. The set {1, 2, ··· , n} is denoted by [n]. Throughout this paper, the group operation of any abelian group is taken to be additive. A number of important graph classes, including line graphs (defined later), cographs, chordal graphs, split graphs, and threshold graphs, can be defined either structurally or in terms of forbidden induced subgraphs. Recently, Cameron, Manna and Mehatari in [12], determined completely the groups whose power graph is a threshold or split graph. Moreover, they determined completely the finite nilpotent groups whose power graph is a cograph. Motivated by this work, in this paper our focus is on the following problems: (a) Characterize all finite groups G such that P(G) is a line graph of some graph Γ. (b) Characterize all finite groups G such that P∗∗(G) is a line graph of some graph Γ.

Definition 1.3 ([19, 31]). The line graph of a graph Γ is the graph L(Γ) with the edges of Γ as its vertices, and where two edges of Γ are adjacent in L(Γ) if and only if they are incident in Γ. If a graph Γ′ is a line graph of some graph then we can call the graph Γ′ a line graph.

v4 e3 v3 e5 e3 e7

e5 e7

v5 e4 e2 v6 e4 e2

e6 e8

v1 e1 v2 e6 e1 e8 Figure 1. A graph and its line graph

The star graph Γ1,n has the complete graph Kn as its line graph. The path graph Pn has line graph equal to the shorter path Pn−1. The cycle Cn is isomorphic to its own line graph. One of the most important result related to the characterization of line graph is Lemma 1.6. For more information on line graph we refer [19, 31].

Lemma 1.6 (Theorem 7.1.18, [31]). A graph Γ is the line graph of some graph if and only if Γ does not have any of the nine graphs in Figure 2 as an induced subgraph. LINE GRAPH CHARACTERIZATION OF POWER GRAPHS OF FINITE GROUPS 5

4 3 9 8 30 29 36 35

53 54 32 38

37 5 10 31 1 2 6 7 27 28 33 34

Γ1 Γ2 Γ5 Γ6 51

14 13 20 19 42 41 48 47

16 22 44 52 50 21 Γ9 15 43 49 11 12 17 18 39 40 45 46

Γ3 Γ4 Γ7 Γ8 Figure 2. In this figure there are nine graphs namely, Γ1, Γ2, Γ3, Γ4, Γ5, Γ6, Γ7, Γ8, Γ9 and the numbers appear in this figure are the vertices of the corresponding graphs.

In this article, we completely describe all nilpotent groups G for which the power graph of G is line graph. In fact our result on power graphs is the following: Theorem 1.7. Let G be a nilpotent group. Then P(G) is a line graph of some graph Γ if and only if G is cyclic p-group. Besides, we distinguish all nilpotent groups G (except non abelian 2-groups), for which the proper power graph is line graph. Theorem 1.8. Let G be a nilpotent group (except non abelian 2-groups). Then P∗∗(G) is a line graph of some graph Γ if and only if G is one of the following: ∼ (a) G = Zpt , t ≥ 1 ∼ (b) G = Zpq ∼ (c) G = Z2 × Z22 ∼ (d) G = Z22 × Z22 ∼ (e) G = Zp ×···× Zp | k times,{z k≥2 } Z Z (f) G is non abelian p group and G = pt1 ∪···∪ ptℓ , where ℓ is the number of distinct subgroups of order p.

If one takes a, b, c in Zp for an odd prime p, then one has the Heisenberg group modulo p. It is a group of order p3 with generators x, y and relations: z = xyx−1y−1, xp = yp = zp =1, xz = zx, yz = zy. Corollary 1. Let G be the Heisenberg group modulo p. Then P∗∗(G) is a line graph. 6 SUDIP BERA

Proof. In the Heisenberg group modulo p, the order of each element is p. Therefore by the part (f) of Theorem 1.8, P∗∗(G) is a line graph.  Corollary 2. Let G be a non abelian group such that exp(G) = p. Then P∗∗(G) is a line graph. Proof. G is non abelian group and exp(G) = p. So G is non abelian p-group and order of each element of G is p. Hence by by the part (f) of Theorem 1.8, P∗∗(G) is a line graph.  Moreover, for the case non-abelian 2-groups, we prove two theorems.

∗∗ Theorem 1.9. Let Q2n be the generalized quaternion group. Then P (Q2n ) is a line graph. ∗∗ Theorem 1.10. Let Dn be the dihedral group of order 2n, (n ≥ 3). Then P (Dn) is a line graph if and only if n =2k,k ∈ N. Now, let us briefly summarize the content. In Section 2, we consider the power graphs of finite nilpotent groups and classify all those power graphs which are line graphs. In Section 3, we focus on the proper power graphs of finite nilpotent groups (except non abelian 2- groups) and characterize all those proper power graphs which are line graphs. Moreover, in this section, we study that the proper power graph of generalized quaternion group is line graph. Also we derive the condition on the order of the dihedral group such that the proper power graph is line graph.

2. Proof of main theorem for the power graphs Here we give the proof of Theorem 1.7. To prove this theorem we need to go through three theorems. The first theorem describes the cyclic group case. Theorem 2.1. Let G be a finite cyclic group. Then there exists a graph Γ such that P(G)= L(Γ) if and only if G is a p-group. Proof. Let G be a cyclic p-group with |G| = pr. Then by Lemma 1.1, P(G) is complete. As a result the star graph Γ1,pr serves the purpose. Conversely, let |G| has at least two distinct prime factors say p,q. Now G is cyclic, so G has a unique subgroup H of order pq. Again φ(pq) ≥ 2 implies that H has at least two (pq) (pq) (pq) (pq) elements namely v1 , v2 of order pq. Again the cyclic subgroup H = hv1 i = hv1 i has elements v(p) and v(q) (say) of order p and q respectively. Now we replace the vertices of the graph Γ2 in Figure 2 in the following way:

(pq) (pq) (p) (q) 6 by v1 , 10 by e, the identity of G, 8 by v2 , 7 by v and 9 by v .

Then the resulting graph also isomorphic to the graph Γ2 in the Figure 2. Therefore, P(G) contains an induced subgraph isomorphic to Γ2. Hence the theorem.  The next theorem answers for the non cyclic abelian group G. Theorem 2.2. Let G be a non-cyclic abelian group. Then there does not exists any graph Γ such that P(G)= L(Γ). LINE GRAPH CHARACTERIZATION OF POWER GRAPHS OF FINITE GROUPS 7

Proof. We prove this theorem by showing that the power graph P(G) has no induced sub- graph isomorphic to the graph Γ1,3. Now it is given that G is non cyclic abelian. So,

∼ Z t Z t Z t Z t Z t Z t G = 11 ×···× 1k × 21 ×···× 2k ×···× r1 ×···× rkr , p 1 p 2 pr p 1 p1 2 p2 r where ki ≥ 1, 1 ≤ ti1 ≤ ti2 ≤···≤ tiki , for all i ∈ [r] and there exists at least one ki such that ki ≥ 2 (if each ki =1, then G would be cyclic). Without loss of generality, we assume that (p1) (p1) k1 ≥ 2. Let H1 = hv1 i, ··· ,Hs = hvs i be the complete list of distinct cyclic subgroups of order p1 of G. Now k1 ≥ 2 implies that s ≥ 3. Therefore we can choose three distinct vertices (p1) (p1) (p1) vi1 , vi2 , vi3 (order of each vertex is p1) from three distinct cyclic subgroups Hi1 ,Hi2 ,Hi3 (p1) (p1) (p1) respectively. Now we show that e, vi1 , vi2 , vi3 form an induced subgraph isomorphic to (p1) (p1) (p1) the graph Γ1,3(e, vi1 , vi2 , vi3 ). From the definition of the power graph e is edge connected (p1) (p1) (p1) (p1) (p1) (p1) with vi1 , vi2 and vi3 . Now vi1 , vi2 and vi3 are the generators of three distinct cylcic subroups Hi1 ,Hi1 and Hi1 respectively. Also order of each cyclic subgroup is p1. As a result, (p1) ≁ (p1)  vij vik , for each i, j ∈{1, 2, 3} and i =6 j. Hence the theorem. Here we focus on the finite group G such that G is non abelian nilpotent. In this case, we have the following: Theorem 2.3. Let G be a non abelian nilpotent group. Then there does not exists any graph Γ such that P(G)= L(Γ). ∼ Proof. It is given that G is nilpotent. So, by Lemma 1.3, G = P1 ×···× Pr, where each Pi is αi N a Sylow subgroup of order pi and αi ∈ . Now divide the prove of this theorem in several cases. Case 1: First let r ≥ 3. In this case |G| has at least three distinct prime divisors p1,p2 (p1) (p2) (p3) (p1) and p3 (say). Then by Lemma 1.4, G has three elements v , v , v such that o(v )= (p2) (p3) p1, o(v )= p2 and o(v )= p3. Now from the definition of the power graph, it is clear that (p1) (p2) (p3) (p1) (p2) (p3) the vertices e, v , v , v form an induced subgraph Γ1,3(e, v , v , v ) in P(G). ∼ Case 2: Let r = 2, then G = P1 × P2. Now it is given that G is non abelian. Therefore, either P1 or P2 is non-cyclic. Without loss of generality we assume that P1 is non cyclic. α Now P1 is non cyclic group of order p1 , for some α ≥ 2, (α = 1 implies that P1 is cyclic). As ′ ′ a result, P1 has at least two elements v, v such that v ≁ v in P(G). Otherwise by Lemma ′ ′′ 1.1 P1 would be a cyclic group. Clearly, o(v) and o(v ) are power of the prime p1. Let v be ′′ an element of order p2 in P2. Now from the definition of the power graph v is edge connected ′ ′ ′′ ′ ′′ to neither v nor v . Also e is edge connected to the vertices v, v , v . Hence Γ1,3(e, v, v , v ) is an induced subgraph of P(G). Case 3: Let r = 1. In this case, G is a non abelian p-group. To prove this case we first prove a claim. (p) (p) Claim: Let H1 = hv1 i, ··· ,Hℓ = hvℓ i be the collection of all distinct cyclic subgroups of order p of G. We prove that either ℓ = 1 or ℓ ≥ 3. So, we have to prove that ℓ can not be 2. So suppose ℓ = 2. Since G is p-group, the center of G is Z(G) is non trivial. (p) (p) Therefore, Z(G) has a subgroup Hi1 = hvi1 i (say) of order p. Let Hi2 = hvi2 i be another cyclic subgroup of order p, (as ℓ ≥ 2, we can choose more than one subgroup of order p). 8 SUDIP BERA

(p) (p) (p) (p) (p) (p) (p) (p) Then vi1 vi2 = vi2 vi1 and o(vi1 vi2 ) = p. Take Hi3 = hvi1 vi2 i and it is easy to see that H1 =6 H3 and H2 =6 H3. Hence ℓ> 2. Now using the claim we finish the proof of this case. First suppose that ℓ ≥ 3. Then (p) (p) (p) we can choose three p-ordered elements vi1 , vi2 and vi3 from Hi1 ,Hi2 and Hi3 respectively. Clearly they are not adjacent to each other. Therefore, P(G) has an induced subgraph (p) (p) (p) Γ1,3(e, vi , vi , vi ). Now let ℓ =1. i.e., G has exactly one cyclic subgroup of order p. Now 1 2 3 ∼ by Lemma 1.5, p can not be an odd prime. Therefore p = 2. Then, G = Q2n , where Q2n n is the generalized quaternion group of order 2 , n ≥ 3. Now Q2n has exactly one subgroup (2n−1) n−1 n−1 H = hv i of order 2 . Also, the number of 4-ordered elements in Q2n \ H is 2 . n−2 Now, the number of distinct 4-ordered cyclic subgroups in Q2n \ H is 2 . Let these are (4) (4) n−2 (4) n−2 − H1 = hv1 i, ··· ,H2 = hv2n 2 i. Clearly 2 ≥ 2. So, we can choose two vertices vi1 (4) (4) (4) and vi2 from Hi1 and Hi2 respectively, where i1 =6 i2 and o(vi1 )=4 =o(vi2 ). Now (4) (4) (2n−1) (4) (4) n vi1 , vi2 ∈ Q2 \ H implies that v neither edge connected to vi1 nor to vi2 . Moreover, (4) ≁ (4) (2n−1) (4) (4) vi1 vi2 in P(G). Therefore, P(G) has an induced subgraph Γ1,3(e, v , vi1 , vi2 ). This completes the proof.  3. Proof of main theorem for the proper power graphs In this portion we give the attention for the proof of Theorem 1.8. Here we first characterize all cyclic groups, for which P∗∗(G)= L(Γ). Then we do same thing for the cases non cyclic abelian and non abelian nilpotent groups. Theorem 3.1. Let G be a finite cyclic group. Then there exists a graph Γ such that P∗∗(G)= L(Γ) if and only if G is one of the following: ∼ (a) G = Zpt ∼ (b) G = Zpq, where p, q are distinct primes and t ≥ 1. To prove this theorem first we need to prove the following propositions: Proposition 3.2. Let G be a finite cyclic group. Then P∗∗(G) does not contain the star graph Γ1,3 as an induced subgraph if and only if G is one of the following: ∼ (a) G = Zpt ∼ (b) G = Zpqr ∼ (c) G = Zp2q2 ∼ (d) G = Zptq, where p,q,r are primes such that p =6 q =6 r and t ≥ 1. Proof. We divide the proof of this proposition in several cases. Case 1: Let |G| has at least four distinct prime divisors say p,q,r,p′. Since G is cyclic, then G has an element v(pqr) such that o(v(pqr))= pqr. Also the cyclic subgroup hv(pqr)i has elements v(p), v(q), v(r) of order p,q,r respectively. Clearly, the vertices v(pqr), v(p), v(q) and v(r) are not the generators of the group G. Therefore, by Lemma 1.2 v(pqr), v(p), v(q) and v(r) ∈ V (P∗∗(G)). Now v(p), v(q) and v(r) ∈ hv(pqr)i implies that v(pqr) is edge connected to the vertices v(p), v(q) and v(r). Again, p,q,r are three distinct primes, therefore from the definition LINE GRAPH CHARACTERIZATION OF POWER GRAPHS OF FINITE GROUPS 9

of power graph the vertices v(p), v(q) and v(r) are not adjacent to each other. As a result, ∗∗ (pqr) (p) (q) (r) P (G) has an induced subgraph Γ1,3(v , v , v , v ). α β γ Case 2: Let |G| = p q p3 , where at least one of α,β,γ ≥ 2. Then applying the same argument as in the Case 1, we can conclude that P∗∗(G) has an induced subgraph (pqr) (p) (q) (r) Γ1,3(v , v , v , v ). ∼ ∗∗ Now we show that if G = Zpqr, then P (Zpqr) does not contain any induced subgraph isomorphic to Γ1,3. Note that by Lemma 1.2, identity and all the generators of the group Zpqr are the complete list of domminating vertices of the graph P(Zpqr). Therefore, identity and all ∗∗ ∗∗ the generators of the group Zpqr are not in the vertex set V (P (Zpqr)). If possible P (Zpqr) ∗∗ contains an induced subgraph Γ1,3(v, v1, v2, v3), for some vertices v, v1, v2, v3 ∈ V (P (Zpqr)). So, v ∼ vi for each i ∈ {1, 2, 3} and vi ≁ vj for each pair i, j(i =6 j) ∈ {1, 2, 3}. Now the ∗∗ possible order of the vertices of the graph P (Zpqr) are either p or q or r or pq or pr or qr. Now order of v could either p or q or r or pq or qr or pr. First suppose that o(v)= pq. Then it is cleared (from the definition of power graph) that v is edge connected only with each ∗∗ pq-ordered, p-ordered and q-ordered vertices in P (Zpqr). Let V (t) be the collection of all vertices of order t. So we have to choose v1, v2, v3 from V (p) ∪ V (q) ∪ V (pq) such that no two of them are adjacent. Note that we can not choose more than one vertex from any one of the set V (p),V (q),V (pq). In fact, all the vertices in any one of the set V (p),V (q),V (pq) form a clique. So, without loss of generality we assume that v1 ∈ V (p), v2 ∈ V (q) and v3 ∈ V (pq). But it is cleared that v3 is edge connected to both of the vertices v1 and v2. This violates the condition vi ≁ vj for each pair i, j ∈ {1, 2, 3}. Similarly, we can show that the graph ∗∗ P (Zpqr) don’t have any induced subhgraph isomorphic to Γ1,3(v, v1, v2, v3) for the other possible choices of the o(v), o(v1), o(v2), o(v3). ∼ Z Z Case 3: Let |G| has two distinct prime divisors p and q. Suppose G = pt1 × qt2 . First we consider that t1 ≥ 3 and t2 ≥ 2, (if t1 ≥ 2 and t2 ≥ 3, then also similar result holds). ∗∗ Z Z (p) (p3) (p2q) (pq2) In this case, P ( pt1 × qt2 ) have an induced subgraph Γ1,3(v , v , v , v ), where o(v(p))= p, o(v(p3))= p3, o(v(p2q))= p2q, o(v(pq2))= pq2. ∼ If G = Zptq, where t ≥ 1. If we proceed exactly same way as in the proof of the case ∼ ∗∗ G = Zpqr, we can conclude that P (Zptq) does not have any induced subgraph isomorphic to star graph Γ1,3. ∼ ∼ ∗∗ If G = Zp2q2 . Similarly as the case G = Zpqr we can prove that P (Zp2q2 ) does not have any induced subgraph isomorphic to Γ1,3. ∼ ∗∗ Case 4: Let |G| has exactly one prime divisor p say. Now G = Zpt as a result P (Zpt ) is complete. Hence the result. 

∗∗ Proposition 3.3. Let G be a cyclic group. Then P (G) does not contain the graph Γ2 (a graph in Figure 2) as an induced subgraph if and only if G is one of the following: ∼ (a) G = Zpt ∼ (b) G = Zpq ∼ (c) G = Z12 ∼ (d) G = Z18. Proof. Let G be a cyclic group of order n such that n has at least three distinct prime divisors (qr) (qr) (qr) (q) (r) (qr) (qr) (qr) p

qr, o(v(q))= q, o(v(r))= r (since G is cylcic and |G| has at least three distinct prime divisors (qr) (qr) (qr) (q) (r) ∗∗ p,q,r with p < q < r, then clearly φ(qr) ≥ 3). Clearly, v1 , v2 , v3 , v , v ∈ V (P (G)). Now we replace the vertices of the graph Γ2 in Figure 2 in the following way: (qr) (qr) (qr) (q) (r) 6 by v1 , 8 by v2 , 10 by v3 , 7 by v , 9 by v .

Clearly, the resulting induced graph isomorphic to Γ2. ∼ ∗∗ If G = Zptq, t ≥ 3, in this case P (G) have the vertices namely, 2 2 2 2 2 2 (p q) (p q) (p q) (p2) (q) (p q) (p q) (p q) 2 2 v1 , v2 , v3 , v , v , where o(v1 ) = o(v1 ) = o(v1 ) = p q, ( as φ(p q) ≥ (p2) 2 (q) 3)o(v ) = p , o(v ) = q. Now we replace the vertices of the graph Γ2 in the following way: (p2q) (p2q) (p2q) (p2) (q) 6 by v1 , 8 by v2 , 10 by v3 , 7 by v , 9 by v .

Clearly, the resulting induced graph is isomorphic to Γ2 (in Figure 2). ∼ Z ∗∗ (pq) (pq) (pq) Let G = p2q. Suppose φ(pq) ≥ 3, then P (G) has three vertices v1 , v2 , v3 such that (pq) (pq) (pq) (p) (q) (p) o(v1 )= pq = o(v2 )=o(v3 ). Also it has two vertices v and v such that o(v )= p (q) and o(v )= q. Now we replace the vertices of the graph Γ2 in the following way: (pq) (pq) (pq) (p) (q) 6 by v1 , 8 by v2 , 10 by v3 , 7 by v , 9 by v .

Clearly, the resulting induced graph is isomorphic to Γ2 (in Figure 2). ∼ Now φ(pq) = 2 if and only if either p = 2, q = 3 or q = 2,p = 3. So, either G = Z12 or ∼ ∗∗ ∗∗ G = Z18. In these two cases we prove that P (Z12) and P (Z18) don’t have an induced ∗∗ subgraph isomorphic to the graph Γ2 in Figure 2. In fact, in P (Z12) there are exactly (3) (3) two vertices namely, v1 , v2 of order 3 and they generate same cyclic group. Also in ∗∗ (3) (3) (3) (3) P (G), deg(v1 ) = 3 = deg(v2 ) and v1 , v2 are the only vertices of degree 3. But the ∗∗ graph Γ2 has two vertices of degree 3 and they are not edge connected. Therefore, P (Z12) ∗∗ has no induced subgraph isomorphic to Γ2. Again, in P (Z18) there is no vertex v such that ∼ ∗∗ deg(v)=3. Hence in both of the cases it is not possible. Now if G = Zpt , then P (Zpt ) is ∗∗ complete. So P (Zpt ) does not have any induced subgraph isomorphic to Γ2. Also for the ∼ ∗∗ ∗∗ group G = Zpq, the graph P (Zpq) is disjoint union of two cliques. Therefore, P (Zpq) does not have any induced subgraph isomorphic to the graph Γ2 (in Figure 2). This completes the proposition.  Proof of Theorem 3.1. Clearly, from propositions 3.2 and 3.3, we can say that P∗∗(G) is a ∼ ∼ ∼ ∼ line graph of some graph Γ if and only if either G = Zpt or G = Zpq or G = Z12 or G = Z18. ∼ ∗∗ Now we show that if G = Z12 or Z18, then there exists no graph Γ such that P (G) is line ∼ ∗∗ graph of Γ. Let G = Z12, then we show that P (Z12) has an induced subgraph isomorphic Z (6) (6) (3) (3) (2) (4) to the graph Γ4 in Figure 2. Clearly 12 has elements v1 , v2 , v1 , v2 , v , v such that (6) (6) (3) (3) (2) (4) o(v1 ) = o(v2 )=6, o(v1 ) = o(v2 )=3, o(v )=2 and o(v )=4. Now it is easy to see ∗∗ that P (Z12) contains the graph Γ4 as an induced subgraph by replacing the vertices of the graph Γ4 in the following way: (6) (2) (6) (3) (4) (3) 17 by v1 , 18 by v , 19 by v2 , 20 by v1 , 21 by v , and 22 by v2 . ∼ ∗∗ Let G = Z18, then we show that P (G) has an induced subgraph isomorphic to the graph Z (3) (3) (6) (6) (9) (9) (3) Γ3 in Figure 2. The group 18 has elements v1 , v2 , v1 , v2 , v1 , v2 such that o(v1 ) = LINE GRAPH CHARACTERIZATION OF POWER GRAPHS OF FINITE GROUPS 11

(3) (6) (6) (9) (9) o(v2 )=3, o(v1 ) = o(v2 ) = 6ando(v1 ) = o(v2 )=9. Now we replace the vertices of the graph Γ3 in the following way: (3) (6) (3) (9) (6) (9) 11 by v1 , 12 by v1 , 13 by v2 , 14 by v1 , 15 by v2 , and 16 by v2 . ∗∗ Then the resulting graph is isomorphic to the graph Γ3. Hence the graphs P (Z12) and ∗∗ P (Z18) are not line graph. ∼ Z ∗∗ Z Let G = pq, in this case P ( pq) is the line graph of the graph Γ1,φ(p) L Γ1,φ(q). Also ∗∗ ∗∗ for the cyclic p-group Zpr , P (Zpr ) is complete. Therefore, P (Zpr ) is the line graph of the r r graph Γ1,t, where t = p − (φ(p )+1). Hence the theorem.  Now we want to describe all non cyclic abelian groups G for which P∗∗(G) is a line graph. For that case we have the following: Theorem 3.4. Let G be a non cyclic abelian group. Then P∗∗(G) is a line graph of some graph Γ if and only if G is one of the following: ∼ (a) G = Z2 × Z22 ∼ (b) G = Z22 × Z22 ∼ (c) G = Zp ×···× Zp,p is prime . To prove Theorem 3.4, we use Lemma 1.6. According to this lemma we have to characterize all non cyclic abelian groups for which P∗∗(G) has an induced subgraph isomorphic to the star graph Γ1,3. Now proposition 3.5 completely describes this case. ∗∗ Proposition 3.5. Let G be a non cyclic abelian group. Then P (G) does not contain Γ1,3 as an induced subgraph if and only if G is one of the following: ∼ (a) G = Z2 × Z22 ∼ (b) G = Z22 × Z22 ∼ (c) G = Zp ×···× Zp,p is prime . Proof. First let |G| has at least two distinct prime divisors. In this case, we show that P∗∗(G) ′ ′′ ′′′ ′ ′′ ′′′ has an induced subgraph isomorphic to Γ1,3(v, v , v , v ), for some vertices v, v , v , v ∈ V (P∗∗(G)). It is given that G is non-cyclic abelian group. Therefore, ∼ Z Z Z Z Z Z G = t11 ×···× t1k × t21 ×···× t2k ×···× tr1 ×···× trk , p 1 p 2 pr p r 1 p1 2 p2 r

where 1 ≤ ti1 ≤ ti2 ≤···≤ tiki , for all i ∈ [r],r ≥ 2,ki ≥ 1 and there exists at least one ki such that ki ≥ 2. So, without loss of generality, we assume that k1 ≥ 2. Consider

V = {(¯a, ¯b, 0¯, ··· , 0¯, c,¯ 0¯, ··· , 0):¯¯ a, ¯b, c¯ ∈ G and o(¯a)=o(¯b)= p1, o(¯c)= p2}.

| k1 times{z } 2 Clearly, V is a subset of G with each element of V is of order p1p2 and |V | =(p1 − 1)(p2 − 1). (p2−1)(p −1) Again these (p2 − 1)(p − 1) number of elements form 1 2 = p + 1 number of 1 2 φ(p1p2) 1 distinct cyclic groups say H1,H2, ··· ,Hp1+1, where order of each Hi is p1p2. Now, it is easy to see that, the cyclic group h(0¯, ··· , 0¯, c,¯ 0¯ ··· , 0)¯ i is contained in each of the

|k1 times{z }

cyclic groups H1, ··· ,Hp1+1, where o(¯c) = p2. Since p1 + 1 ≥ 3, we can choose three (p1p2) (p1p2) (p1p2) distinct vertices vi1 , vi2 and vi3 from Hi1 ,Hi2 and Hi3 (respectively) such that 12 SUDIP BERA

(p1p2) o(vij ) = p1p2, for j ∈ {1, 2, 3} and i1, i2, i3 ∈ {1, ··· ,p1 +1}. Also we take the ver- (p2) ′ ′′ ′′′ tex v =(0¯, ··· , 0¯, c,¯ 0¯ ··· , 0)¯ . Then we get Γ1,3(v, v , v , v ) as an induced subgraph in the

|k1 times{z } ∗∗ (p2) ′ (p1p2) ′′ (p1p2) ′′′ (p1p2) graph P (G), where v = v , v = vi1 , v = vi2 , v = vi3 . Now suppose that G is a non cyclic abelian p-group. Then we can say that G =∼ Z Z Z Z p ×···× p × pt1 ×···× ptr , where t1 ≤ t2 ≤ ··· ≤ tr, ti ≥ 2 for all i. For this par- | k(≥0){z times } ticular groups ( non cyclic abelian p-groups), we break the prove in several cases. Case 1: First suppose that r ≥ 3. In this case, we show that P∗∗(G) has an induced (t ) (t ) (t ) (p) (p 1 ) (p 1 ) (p 1 ) subgraph Γ1,3(v , v1 , v2 , v3 ), where v(p) =(0¯, ··· , 0¯, a,¯ 0¯, 0¯, 0¯, ··· , 0)¯ |k times{z } (p(t1)) ¯ v1 =(0¯, ··· , 0¯, 1¯, b, c,¯ 0¯, ··· , 0)¯ |k times{z } (p(t1)) ¯ ¯ ¯ ¯ ¯ ¯ ¯ v2 =(0, ··· , 0, 1, b, 0, 0, ··· , 0) |k times{z } (p(t1)) v3 =(0¯, ··· , 0¯, 1¯, 0¯, 0¯, 0¯, ··· , 0)¯ , |k times{z }

t1−1 ¯ Z a = p and o(b) = o(¯c)= p. Clearly, o(¯a)= p. Again 1¯ is a generator of the group pt1 and t1−1 we can writea ¯ = p 1¯. Also t1 ≥ 2 implies that t1 − 1 ≥ 1. Now o(¯b) = o(¯c) = p implies (t1) (t1) (t1) t1−1 (p ) (p) (p ) (p) (p ) (p) that p v1 = v . Therefore, v1 ∼ v . Similarly, we can show that v2 ∼ v (t ) (t ) (t ) (p 1 ) (p) (p 1 ) ≁ (p 1 ) and v3 ∼ v . Now we show that vi vj , for all i, j ∈ {1, 2, 3}. Note that (t1) (t1) (t1) (t1) (t1) (p ) t1 (p ) (p ) (p ) (p ) o(vi ) = p for each i. So vi ∼ vj if and only if hvi i = hvj i. But clearly it is not possible from the construction of the vertices. ∼ Z Z Z Z Case 2: Let r =2, so G = p ×··· p × pt1 × pt2 , where t1 ≤ t2, ti ≥ 2 for all i. |k(≥0){z times } Subcase 1: First suppose that p is an odd prime. Since φ(p) ≥ 2, we can choose two ¯ Z ¯ distinct elements b andc ¯ from pt2 such that o(b) = o(¯c) = p. Also we can take another Z t1−1 p-ordered elementa ¯ ∈ pt1 such that a = p . Now we consider the vertices

(p) ¯ ¯ ¯ (pt1 ) ¯ ¯ ¯ ¯ v =(0, ··· , 0, a,¯ 0), v1 =(0, ··· , 0, 1, b), (pt1 ) (pt1 ) v2 =(0¯, ··· , 0¯, 1¯, c¯), v3 =(0¯, ··· , 0¯, 1¯, 0)¯ . Continuing as the Case 1, we can show that P∗∗(G) has an induced subgraph t t t (p) (p 1 ) (p 1 ) (p 1 ) Γ1,3(v , v1 , v2 , v3 ). ∼ Z Z Z Z Subcase 2: Here we focus on the case p = 2. So, G = 2 ×···× 2 × 2t1 × 2t2 . In this | k(≥0){z times } case we first consider that at least one t1 and t2 ≥ 3. Without loss of generality we assume LINE GRAPH CHARACTERIZATION OF POWER GRAPHS OF FINITE GROUPS 13

that t1 ≥ 3. Here we consider the vertices ¯ v =(0¯, ··· , 0¯, a,¯ 0)¯ , v1 =(0¯, ··· , 0¯, 1¯, b),

v2 =(0¯, ··· , 0¯, 1¯, c¯), v3 =(0¯, ··· , 0¯, 1¯, 0)¯ , where a = 2t1−1, o(¯b) = 2, o(¯c) = 4. Clearly, P∗∗(G) has an induced subgrap t (2) (2 1 ) (t1) (t1) Γ1,3(v , v1 , v2 , v3 ). ∼ ∗∗ Let G = Z2 ×···× Z2 ×Z22 × Z22 . It is easy to see that P (G) has an induced subgraph | k≥0{z times } (2) (4) (4) (4) Γ1,3(v , v1 , v2 , v3 ), where (2) ¯ ¯ ¯ ¯ ¯ (4) ¯ ¯ ¯ ¯ ¯ v =(0, ··· , 0, 0, 0, 2), v1 =(0, ··· , 0, 1, 0, 1) (4) (4) v2 =(0¯, ··· , 0¯, 0¯, 0¯, 1)¯ , v3 =(0¯, ··· , 0¯, 0¯, 2¯, 1)¯ ∼ Case 3: Let r =1. In this case G = Zp ×···× Zp ×Zpt , t ≥ 2. | k(≥1){z times } Subcase 1: First suppose that p ≥ 3. Then P∗∗(G) has an induced subgraph t t t (pt−1) (p ) (p ) (p ) Γ1,3(v , v1 , v2 , v3 ), where (pt−1) (pt) v =(0¯, ··· , 0¯, 0¯, p¯), v1 =(0¯, ··· , 0¯, 2¯, 1)¯ , (pt) ¯ ¯ ¯ ¯ (pt) ¯ ¯ ¯ ¯ v2 =(0, ··· , 0, 0, 1), v3 =(0, ··· , 0, 1, 1) ∼ Subcase 2: Let p = 2. Then G = Z2 ×··· Z2 ×Z2t , t ≥ 2. In this case, first suppose that | k(≥1){z times } t t t (2t−1) (2 ) (2 ) (2 ) k ≥ 2. Then the following vertices form an induced subgraph Γ1,3(v , v1 , v2 , v3 ), where (2t−1) (2t) v =(0¯, ··· , 0¯, 0¯, 0¯, 2)¯ , v1 =(0¯, ··· , 0¯, 0¯, 1¯, 1)¯ (2t) ¯ ¯ ¯ ¯ ¯ (2t) ¯ ¯ ¯ ¯ ¯ v2 =(0, ··· , 0, 0, 0, 1), v3 =(0, ··· , 0, 1, 0, 1). ∼ ∗∗ Now let k = 1. Then G = Z2 × Z2t , t ≥ 2. In this case, we show that P (G) has an induced subgraph isomorphic to Γ1,3 if and only if t ≥ 3. In fact, for t ≥ 3 we have the induced subgraph Γ1,3(v, v1, v2, v3), where v = (0¯, 4)¯ , v1 = (1¯, 2)¯ , v2 = (0¯, 1)¯ , v3 = (1¯, 1)¯ . Let ∼ ∗∗ G = Z2 × Z22 . Clearly, P (G) is the graph in Figure 3

(0¯, 3¯) (1¯, 3¯)

(1¯, 0¯) (1¯, 2¯)

(0¯, 1¯) (0¯, 2¯) (1¯, 1¯)

∗∗ 2 Figure 3. The proper power graph P (Z2 × Z2 ) 14 SUDIP BERA

∗∗ ∗∗ Now we show that there is no vertices v, v1, v2, v3 in V (P (G)) such that P (G) has an induced subgraph Γ1,3(v, v1, v2, v3). The graph in Figure 3 has only one vertex namely, (0¯, 1)¯ such that deg(0¯, 1)¯ = 4 and the degree of all other vertices are 2. So, to form Γ1,3(v, v1, v2, v3) we should take v =(0¯, 1)¯ . Now it is clear that we can not choose v1, v2, v3 such that no two of these three vertices are adjacent. ∼ ∗∗ Let G = Z22 × Z22 , then we show that P (G) does not have any induced subgraph isomorphic to Γ1,3. If possible there is an induced subgraph Γ1,3(v, v1, v2, v3) for some ∗∗ v, v1, v2, v3 ∈ P (G). Then we show that o(v)=2. First note that v ∼ vi(i = 1, 2, 3) implies hvi⊂hvii, for all i. If hv1i⊂hvi, then v ∼ v2 implies that either hvi⊂hv2i or hv2i⊂hvi. Since G is a p-group, then in any cases v1 ∼ v2, which is not possible. So, o(v) = 2 and o(vi)=4, for all i. First consider the two ordered element v = (2¯, 0)¯ . Our claim is that v is edge connected with exactly two four ordered elements v1, v2 (say) such that hv1i= 6 hv2i. Clearly, (2¯, 0)¯ ≁ (¯a, ¯b), where ¯b =4. By our condition o(¯a)=4. Therefore, (2¯, 0)¯ is edge connected with the vertices (1¯, 0)¯ , (3¯, 0)¯ , (1¯, 2)¯ , (3¯, 2)¯ . Also, h(1¯, 0)¯ i = h(3¯, 0)¯ i and h(1¯, 2)¯ i = h(3¯, 2)¯ i. This proves our claim. The same claim holds for the vertex (0¯, 2)¯ . The re- maining two ordered element is (2¯, 2)¯ . Let (2¯, 2)¯ ∼ (¯a, ¯b). Then we show that o(¯a)=4=o(¯b). It is easy to see neithera ¯ = 0¯ nor ¯b = 0¯. Ifa ¯ = 2¯, then (2¯, 2)¯ ∼ (2¯, ¯b) implies there exists k ∈ N such that k2¯ = 2¯ ⇒ k2¯ = 2¯ ⇒ k = 4ℓ +1 ⇒ (4ℓ + 1)¯b =6 2¯. Similar result holds if ¯b = 2¯. As a result, (2¯, 2)¯ ∈h(1¯, 3)¯ i = h(3¯, 1)¯ i and h(1¯, 1)¯ i = h(3¯, 3)¯ i. ∼ ∗∗ Let G = Zp ×···× Zp . Here the graph P (G) isomorphic to the graph | k times{z } Kφ(p) M ··· M Kφ(p) . This completes the proof.  | k times{z } Proof of Theorem 3.4. Let P∗∗(G) be a line graph of some graph Γ. Then by Proposition ∼ ∼ ∼ 3.5, we can say that either G = Z2 × Z22 or G = Z22 × Z22 or G = Zp ×···× Zp. Conversely, we show that if G is one of the above, then P∗∗(G) is line graph of some graph. ∼ ∗∗ If G = Z2 × Z22 , then P (G) is the graph in Figure 3 and it is the line graph of the graph Γ, described as in Figure 4

v6 v5

e(1¯, 3¯) e(1¯, 1¯)

v4

e(1¯, 0¯) e(1¯, 2¯) v7 v8 e(0¯, 2¯) v9 v10

v1

e(0¯, 1¯) e(0¯, 3¯)

v2 v3

∗∗ Figure 4. The graph Γ such that P (Z2 × Z22 )= L(Γ). LINE GRAPH CHARACTERIZATION OF POWER GRAPHS OF FINITE GROUPS 15 ∼ Let G = Z22 × Z22 . The group G has 6 distinct cyclic subgroups of order 4, namely

H1 = h(1¯, 0)¯ i,H2 = h(0¯, 1)¯ i,H3 = h(1¯, 1)¯ i

H4 = h(1¯, 3)¯ i,H5 = h(1¯, 2)¯ i,H6 = h(2¯, 1)¯ i.

∗∗ Again (2¯, 0)¯ ∈ H1 ∩ H5, (2¯, 2)¯ ∈ H3 ∩ H4, (0¯, 2)¯ ∈ H2 ∩ H6. Therefore, P (G) is the graph in Figure 5

(3¯, 0¯) (3¯, 2¯) (0¯, 1¯) (2¯, 3¯) (1¯, 1¯) (1¯, 3¯)

L L

(1¯, 0¯) (2¯, 0¯) (1¯, 2¯) (0¯, 3¯)(0¯, 2¯) (2¯, 1¯) (3¯, 3¯)(2¯, 2¯) (3¯, 1¯)

∗∗ Figure 5. The graph P (Z22 × Z22 )

Clearly, P∗∗(G) is the line graph of the graph described as in Figure 6

v6 v5 v12 v11 v18 v17

e(2¯, 1¯) e(3¯, 1¯) e(1¯, 2¯) e(3¯, 2¯) e(2¯, 3¯) e(1¯, 3¯)

v4 v10 v16

e 2¯ 0¯ e 0¯ 2¯ e 2¯ 2¯ ( , ) L ( , ) L ( , )

v1 v7 v13

e(1¯, 0¯) e(3¯, 0¯) e(0¯, 3¯) e(3¯, 3¯) e(0¯, 1¯) e(1¯, 1¯)

v2 v3 v8 v9 v14 v15

∗∗ Figure 6. The graph Γ such that P (Z22 × Z22 )= L(Γ).

∼ ∗∗ ∼ Let G = Zp ×···× Zp . In this case P (G) = Kφ(p) M ··· M Kφ(p) . Clearly, it is the line | k times{z } | k times{z } k−1 k−2 graph of the graph Γ1,φ(p) M ··· M Γ1,φ(p), where k = p + p + ··· + p +1. Hence the | k times{z } theorem.  In this portion we study the non ablien nilpotent groups G for which P∗∗(G) is line graph. Theorem 3.6. Let G be a non abelian nilpotent group such that |G| has at least three distinct prime divisors. Then there is no graph Γ such that P∗∗(G)= L(Γ). 16 SUDIP BERA

Proof. Let p1,p2,p3 be three distinct prime divisors of |G|. Now G nilpotent implies that G (p1p2p3) (p1p2p3) (p1) (p2) (p3) has an element v such that o(v)= p1p2p3. Now hv i has elements v , v , v (p1) (p2) (p3) ∗∗ such that o(v )= p1, o(v )= p2, o(v )= p3. Clearly, P (G) has an induced subgraph (p1p2p3) (p1) (p2) (p3) Γ1,3(v , v , v , v ). Hence the theorem.  Theorem 3.7. Let G be non abelian nilpotent group such that |G| has exactly two distinct prime divisors. Then there is no graph Γ such that P∗∗(G)= L(Γ). Proof. It is given that G is non abelian nilpotent and |G| has two distinct prime divisors. Let ∼ the prime divisors are p1 and p2. Note that G = P1 × P2, where P1,P2 are Sylow subgroups α1 α2 α1 α2 of G with |P1| = p1 and |P2| = p2 . So |G| = p1 p2 , where at least one αi ≥ 2(i = 1, 2). Otherwise, G would be cyclic. First suppose that p1 and p2 are odd primes. Now G is (p1p2) nilpotent, therefore G has an element v of order p1p2. Consider the cyclic subgroup H = hv(p1p2)i. (Note that all the elements of the cyclic group H belong to V (P∗∗(G)).) Again (p1) (p2) (p1) H has elements v and v of order p1 and p2 respectively. Also no elements in hv i is (p2) edge connected with the element in hv i. Now p1 and p2 are odd primes, which imply that (p1) (p1) (p2) (p2) (p1p2) (p1p2) φ(p1p2),φ(p1),φ(p2) ≥ 2. Let v1 , v2 , v1 v2 and v1 , v1 are elements of H such (p1) (p1) (p2) (p2) (p1p2) (p1p2) that o(v1 )=o(v2 )= p1, o(v1 )=o(v2 )= p2, and o(v1 ) =o(v2 )= p1p2. Now we replace the vertices of the graph Γ3 in Figure 2 in the following way:

(p1p2) (p1p2) (p1) (p1) (p2) (p2) 11 by v1 , 13 by v2 , 12 by v1 , 15 by v2 , 14 by v1 and 16 by v2 .

It is easy to see that the resulting graph is isomorphic to the graph Γ3 in Figure 2. k r N Now let at least one of p1 and p2 be 2. Let p1 = 2. Then |G| = 2 p2, for some r, k ∈ with at least one of r, k ≥ 2. First suppose that G has an element of order 2k,k ≥ 2. k k (2 p2) (2 p2) k k Now G has an element v such that o(v )=2 p2. As φ(2 p2) ≥ 2, we can choose k k k k k (2 p2) (2 p2) (2 p2) (2 p2) k (2 p2) k two elements v1 , v2 form hv i such that o(v1 )=2 p2 and o(v1 )=2 p2. k k k (2 p2) (2 ) (2 ) k (p2) (p2) Also hv i has elements namely, v1 , v2 ( as k ≥ 2,φ(2 ) ≥ 2), v1 , v2 such that k k (2 ) k (2 ) k (p2) (p2) o(v1 )=2 , o(v2 )=2 , o(v1 ) = p2, o(v2 ) = p2 ( p2 is an odd prime, so it is possible (2p2) to find at least two elements of order p2 in hv i). Now we replace the vertices of the graph Γ3 in Figure 2 in the following way: k k k k (2 p2) (2 p2) (2 ) (2 ) (p2) (p2) 11 by v1 , 13 by v2 , 12 by v1 , 15 by v2 , 14 by v1 and 16 by v2 . ∗∗ As a result P (G) has an induced subgraph isomorphic to the graph Γ3. Therefore, in this case P∗∗(G) is not a line graph. ∼ Now suppose that order of each element of the Sylow subgroup P1 is 2. Then either P1 = ∼ ∼ ∼ Z2 ×···× Z2 or P1 = Z2. Therefore, either G = Z2 ×···× Z2 ×P2 or G = Z2×P2. In both of | k(≥2){z times } | k(≥2){z times } (2) (p2) (p2) the cases, G has at least one element v (say) of order 2. Let H1 = hv1 i, ··· ,Hℓ = hvℓ i be the complete list of distinct cyclic subgroups of order p2 of the Sylow subgroup P2. Now by the claim in Case 3 of the proof of Theorem 2.3 ℓ =6 2. Again ℓ = 1 implies that G is (2) (p2) (2) (p2) abelian by Lemma 1.5. Therefore, ℓ ≥ 3. Consider K1 = hv v1 i, ··· ,Kℓ = hv vℓ i. Clearly, each Ki is a cyclic group of order 2p2. Moreover, for all i =6 j, Ki =6 Kj and (2) Ki ∩ Kj = hv i, where i, j ∈ {1, ··· ,ℓ}, (ℓ ≥ 3). Now we choose three generators LINE GRAPH CHARACTERIZATION OF POWER GRAPHS OF FINITE GROUPS 17

(2) (p2) (2) (p2) (2) (p2) v vi1 , v vi2 and v vi3 from three distinct cyclic subgroups Ki1 ,Ki2 and Ki3 respec-

tively, where i1, i2, i3 ∈{1, ··· ,ℓ}. Since Ki1 ,Ki2 and Ki3 are distinct cyclic subgroups, then (2) (p2) (2) (p2) (2) (p2) ∗∗ (2) v vi1 , v vi2 and v vi3 are not adjacent to reach other in P (G). Also hv i is con- ∗∗ tained in each of the cyclic subgroups Ki1 ,Ki2 and Ki3 . As a result, P (G) contains an (2) (2) (p2) (2) (p2) (2) (p2)  induced subgraph Γ1,3(v , v vi1 , v vi2 , v vi3 ). This completes the proof. Theorem 3.8. Let G be a non abelian p-group, where p is an odd prime. Then there is a ∗∗ Z Z graph Γ such that P (G)= L(Γ) if and only if G = pt1 ∪···∪ ptℓ , where ℓ is the number of distinct subgroups of order p. Z Z Proof. First suppose that G = pt1 ∪···∪ ptℓ , where ℓ is the number of distinct subgroups Z Z of order p. Now for any i =6 j, pti ∩ ptj = {e}, the identity of the group G. In fact, for a non Z Z Z Z identity element a ∈ pti ∩ ptj , the p-order cyclic subgroup of hai is contained in pti ∩ ptj . Z Z And this contradicts that G = pt1 ∪···∪ ptℓ , where ℓ is the number of distinct subgroups Z Z ∗∗ of order p. As a result, for any i =6 j, pti ∩ ptj = {e}. So, P (G) is a line graph of the graph Γ1,pt1 L ··· L Γ1,ptℓ . Conversely, suppose that there is a graph Γ such that P∗∗(G) = L(Γ). We show that Z Z G = pt1 ∪···∪ ptℓ , where ℓ is the number of distinct subgroups of order p. Now G is a p-group. So we can write G = K1 ∪···∪ Kr, where

K1 = {x(1) ∈ G : ha(1)i⊂hx(1)i and o(a(1))= p}∪{e}

K2 = {x(2) ∈ G : ha(2)i⊂hx(2)i, a(2) ∈ G \ha(1)i and o(a(2))= p}∪{e} . . . .

Kr = {x(r) ∈ G : ha(r)i⊂hx(r)i, a(r) ∈ G \ha(1)i∪···∪ha(r−1)i, and o(a(r))= p}∪{e} (Note that r =16 . If r =1, then G is a group with unique minimal subgroup. Again p is an odd prime, therefore, G is a cyclic p-group, it contradicts that G is non abelian). Clearly, Z Ki ∩ Kj = {e} for any i =6 j. Now it is enough to show that each Ki = pti , for some ti ≥ 1. Let there is at least one j such that Kj is not a cyclic subgroup of G. Then we can write Kj as a union cyclic subgroups of G. In fact, since Kj is not a cyclic group there exists at r r (p ) (p ) r least one element say x(j) ∈ Kj such that o(x(j) ) = p ,r ≥ 2, (if order of each element of r r (p ) Kj is p then Kj would be cyclic by the construction of Kj). Consider K(j) = hx(j) i. Clearly, it is a cyclic subgroup of Kj. Since Kj is not cyclic group then there is an element say (˜pr) r (˜pr) s Z s (˜ps) x(j) ∈ Kj \ K(j) such that o(x(j) ) = p ,s ≥ 2(s = 1 implies Kj = pr ). Let K(j) = hx(j) i. r s s r r s Note that neither K(j) is a subgroup of K(j) nor K(j) is a subgroup of K(j) and K(j) ∩ K(j) r s contains the cyclic subgroup ha(j)i. Now p ≥ 3 implies that φ(p),φ(p ) and φ(p ) ≥ 2. Let r r (p ) (p ) r r a(j)1, a(j)2 be two p-ordered elements of Kj, x(j)1, x(j)2 be two p -ordered elements of K(j) and s s (p ) (p ) s s x(j)1, x(j)2 be two p -ordered elements of K(j). Now we replace the vertices of the graph Γ3 in Figure 2 in the following way: (pr) (pr) (ps) (ps) 11 by a(j)1, 13 by a(j)2, 12 by x(j)1, 15 by x(j)2, 14 by x(j)1 and 16 by x(j)2. ∗∗ Clearly the resulting graph is isomorphic to the graph Γ3. Therefore, P (G) has an induced ∗∗ subgraph isomorphic to Γ3. This contradicts that P (G) is a line graph. Therefore, each 18 SUDIP BERA

Z N Z Z Ki = pti , for some ti ∈ . Clearly r = ℓ and hence G = pt1 ∪···∪ ptℓ , where ℓ is the number of distinct cyclic subgroup of order p.  Proof of Theorem 1.8. Clearly, Theorems 3.1 3.4, 3.6, 3.7, 3.8 complete the proof.  Now we concentrate on non abelian 2-group. For that we first consider the generalized quaternion group.

n−1 Proof of Theorem 1.9. We know that Q2n has exactly one cyclic subgroup H of order 2 . n−2 Also each element in Q2n \ H is of order 4. So, there are 2 distinct 4-ordered cyclic sub- ∗∗ ∗∗ groups in Q2n . Clearly, P (Q2n ) is the graph K2n−1 L K2 M ··· M K2 . Therefor, P (Q2n ) | 2n−2{ztimes } −  is the line graph of the graph Γ1,2n 1 L Γ1,2 M ··· M Γ1,2 . | 2n−2{ztimes }

Proof of Theorem 1.10. Suppose n is not a power of 2. Then clearly |Dn| has a prime divisor ∗∗ p =26 . Therefore by Theorem 3.7 P (Dn) is not a line graph. k Z Z Z Conversely, let n = 2 , then Dn is 2-group. Also Dn = 2k ∪ 2 ∪···∪ 2 and the | 2k times{z } k+1 ∗∗ number of distinct 2-ordered cyclic subgroup is 2 . Then by Theorem 1.8, P (Dn) is line graph.  Acknowledgment. I would like to thank my mentor Prof. Arvind Ayyer for his constant support and encouragement. Also I would like to thank Dr. Sumana Hatui for the helpful discussions on p-groups. The author was supported by NBHM Post Doctoral Fellowship grant 0204/52/2019/RD-II/339.

References 1. G. Aalipour, S. Akbari, P. J. Cameron, R. Nikandish, and F. Shaveisi, On the structure of the power graph and the enhanced power graph of a group, The Electronic J. Combinatorics 24 (2017), no. 3, P3.16. 2. J. Abawajy, A. V. Kelarev, and M. Chowdhury, Power graphs: a survey, Electron. J. Graph Theory Appl 1 (2013), 125–147. 3. D. F. Anderson and P. S. Livingston, The zero-divisor graph of a commutative ring, J. Algebra 217 (1999), 434–447. 4. S. E. Atani, An ideal based zero divisor graph of a commutative semiring, Glasnik Matematicki 44 (2009), no. 64, 141–153. 5. S. Bera, On the intersection power graph of a finite group, Electron. J. Graph Theory Appl. 6 (2018), no. 1, 178–189. 6. S. Bera, H. K. Dey, and S. K. Mukherjee, On the connectivity of enhanced power graphs of finite groups, Graphs Combin 37 (2021), 591–603. 7. A. K. Bhuniya and S. Bera, Normal subgroup based power graphs of a finite group, Communications in Algebra 45 (2016), 3251–3259. 8. J. A. Bondy and U. S. R. Murty, Graph theory, Springer-Verlag, 2008. 9. P. J. Cameron, The power graph of a finite group, ii, J. Group Theory 13 (2010), 779–783. 10. P. J. Cameron and S. Ghosh, The power graph of a finite group, Discrete Mathematics 311 (2011), 1220–1222. 11. P. J. Cameron and S. H. Jafari, On the connectivity and independence number of power graphs of groups, Graphs Combin 36 (2020), 895–904. LINE GRAPH CHARACTERIZATION OF POWER GRAPHS OF FINITE GROUPS 19

12. P. J. Cameron, P. Manna, and R. Mehatari, Forbidden subgraphs of power graphs, arXiv:2010.05198v2 [math.Co] (2020). 13. I. Chakrabarty, S. Ghosh, and M. K. Sen, Undirected power graphs of semigroups, Semigroup Forum 78 (2009), 410–426. 14. K. Conrad, Generalized quaternions, http://www.math.uconn.edu/ kconrad/blurbs/, 2014. 15. B. Curtin, G. R. Pourgholi, and H. Y. ousefi Azari, On the punctured power graph of a finite group, Australas. J. Comb. 62 (2015), 1–7. 16. F. DeMeyer and L. DeMeyer, Zero divisor graph of a semigroup, J. Algebra 283 (2005), 190–198. 17. A. Doostabadi, M. Farrokhi, and D. Ghouchan, On the connectivity of proper power graph of finite group, Comm. in Algebra 43 (2015), 4305–4319. 18. D. S. Dummit and R. M. Foote, Abstract algebra, Wiley, 2003. 19. C. Godsil and G. Royle, Algebraic graph theory, Springer-Verlag Inc., New York, 2001. 20. D. Gorenstein, Finite groups, Chelsea Publishing Co., New York, 1980. 21. A. Hamzeh and A. R. Ashrafi, Automorphism groups of supergraphs of the power graph of a finite group, Eur. J. Comb. 60 (2017), 82–88. 22. T. W. Hungerford, Algebra, Springer-Verlag New York, Inc., 1974. 23. V. Joshi, Zero divisor graph of a poset with respect to an ideal, Order 29 (2012), 499–506. 24. A. Kelarev, J. Ryan, and J. Yearwood, Cayley graphs as classifiers for data mining: The influence of asymmetries, Discrete Mathematics 309 (2009), no. 17, 5360–5369. 25. A. V. Kelarev, Graphs algebras and automata, Marcel Dekker, New York, 2003. 26. A. V. Kelarev and S. J. Quin, A combinatorial property and power graphs of groups, Contrib. General Algebra 12 (2000), 229–235. 27. , Directed graph and combinatorial properties of semigroups, J. Algebra 251 (2002), 16–26. 28. A. R. Moghaddamfar, S. Rahbariyan, and W. J. Shi, Certain properties of the power graph associated with a finite group, J. Algebra. Appl. 13 (2014), 1450040. 29. D. J. S. Robinson, A course in the theory of groups, Second edition, Springer-Verlag, New York, 1995. 30. W. R. Scott, Group theory, Dover Publ., New York, 1987. 31. D. B. West, Introduction to graph theory, Pearson Education Inc., 2001.

(Sudip Bera) Department of Mathematics, Indian Institute of Science, Bangalore 560 012 Email address: [email protected]