## ON THE NILPOTENT GRAPH OF A FINITE GROUP

JAIME TORRES, ISMAEL GUTIERREZ, AND E. J. GARC ´ IA-CLARO

Abstract. If G is a non-nilpotent group and nil( G ) = { g ∈ G : ⟨ g, h ⟩ is nilpotent for all h ∈ G } , the nilpotent graph of G is the graph with set of vertices G -nil( G ) in which two distinct vertices are related if they generate a nilpotent subgroup of G . Several properties of the nilpotent graph associated with a finite non-nilpotent group G are studied in this work. Lower bounds for the clique number and the number of connected components of the nilpotent graph of G are presented in terms of the size of its Fitting subgroup and the number of its strongly self-centralizing subgroups, respectively. It is proved the nilpotent graph of the symmetric group of degree n is disconnected if and only if n or n -1 is a prime number, and no finite non-nilpotent group has a self-complementary nilpotent graph. For the dihedral group D n , it is determined the number of connected components of its nilpotent graph is one more than n when n is odd; or one more than the 2 -part of ′ n when n is even. In addition, a formula for the number of connected components of the nilpotent graph of PSL(2 , q ), where q is a prime power, is provided. Finally, necessary and sufficient conditions for specific subsets of a group, containing connected components of its nilpotent graph, to contain one of its Sylow p -subgroups are studied; and it is shown the nilpotent graph of a finite non-nilpotent group G with nil( G ) of even order is non-Eulerian.

## Introduction

Applying techniques and concepts from graph theory in the study of group theory has been a topic of growing interest in the last decades. This approach provides a visual perspective that can shed light on the group's properties in question. An outstanding example of this connection between groups and graphs is the non-commutative graph associated with a non-commutative group G , introduced by A. Abdollahi et al., in [1]. This is the graph with set of vertices G -Z G ( ) in which two distinct vertices are related if they do not commute. This graph captures several commutativity relations between the group elements and reveals interesting patterns in its inner structure. For example, if G is a finite non-abelian nilpotent group and H is a finite non-abelian group such that | G | = | H | and the non-commutative graph of

2010 Mathematics Subject Classification. 20D60, 05C25, 20D15, 20D20 .

Key words and phrases. Graphs associated with groups; nilpotent group; hypercenter of a group; nilpotentizer; strongly self-centralizing subgroups.

...

H is isomorphic to the non-commutative graph of G , then H is nilpotent. Later, A.K. Das et al. studied the genus of the commutative graph [9], which is precisely the complement of the non-commutative graph, i.e., the same set of vertices is considered, but two different vertices are related if they commute. That paper proved that the order of a finite non-abelian group is bounded by a function that depends on the genus of its respective commutative graph.

A few years later, A. Abdollahi et al. introduced in [2] the non-nilpotent graph associated with a group G , where the vertex set is G -nil( G ) and in which two distinct vertices are related if they generate a non-nilpotent subgroup of G . An interesting fact about this graph is that, for finite nonnilpotent groups, the graph is always connected. A generalization of this graph, involving formations of finite groups, was presented by A. Lucchini et al. in [14]. Sometime later, as in the case of the non-commutative graph, a research was carried out on the genus of the nilpotent graph (the complement of the non-nilpotent graph) [10].

This work studies further properties of the nilpotent graphs associated with finite non-nilpotent groups. The paper is organized as follows: Section 1 introduces several necessary concepts and results from graph and group theory that will be used later. In Section 2, a Sagemath algorithm to compute the nilpotent graph of a non-nilpotent group is provided along with some examples of nilpotent graphs that will be useful to illustrate later results. It is also proved that the nilpotent graph of a finite group G is bipartite if and only if G is isomorphic to the symmetric group of degree three, among other results. Section 3 establishes several lower bounds on the clique number and the number of connected components of the nilpotent graph of G in terms of the size of its Fitting subgroup and the number of its strongly self-centralizing subgroups, respectively. In particular, it is shown the nilpotent graph of S n (for n ≥ 5) is disconnected if and only if n or n -1 is a prime number. In Section 4, sufficient conditions to guarantee the connectedness of the nilpotent graph are provided. In addition, it is proved that the nilpotent graph of a finite group is connected if and only if the nilpotent graph of its direct product with any finite nilpotent group is connected. It is also proved that the nilpotent graph of any finite non-nilpotent group is never self-complementary (among other results). In Sections 5 and 6, it is demonstrated that the nilpotent graphs of the dihedral group D n and the projective special linear groups PSL(2 , q ) where q is a prime power are always disconnected by offering formulas for the number of the connected components of their respective graphs. Finally, necessary and sufficient conditions for certain subsets of a group (that contain connected components of its nilpotent graph) to contain one of its Sylow p -subgroups are studied, and it is shown that the nilpotent graph of a finite non-nilpotent group G with nil( G ) of even order is non-Eulerian.

## 1. Preliminaries

Basics on Graph Theory. We recall some definitions, notations, and results concerning elementary graph theory for the reader's convenience and later use. The reader is referred for undefined terms and concepts of graph theory to [5] or [12].

An undirected finite graph or simply a graph Γ = ( V, E ) consists of a non-empty finite set V whose elements are called vertices and a set E ⊆ ( V 2 ) whose elements are called edges. Here ( V 2 ) is the set of two-element subsets of V . Typically, the letters n and m are used so that | V | = n (the order of Γ) and | E | = m (the size of Γ). By this definition, an undirected graph cannot have self-loops since v ∈ V holds { v, v } = { v } ∈ / ( V 2 ) . Further, all the graphs considered in this work are simple; no multiple edges connect two vertices.

In the following, Γ always denotes a graph. If x and y are vertices of Γ, then it is said that x is adjacent (or related) to y if { x, y } is an edge. In this case, the edge's endpoints are x and y .

A subgraph of Γ is a graph Γ ′ whose vertices and edges form subsets of the vertices and edges of Γ. The neighbourhood of a vertex w in Γ, denoted by N Γ ( w ) is defined as the set

$$N _ { \Gamma } ( w ) \coloneqq \{ v \in V \colon \{ v, w \} \in E \}.$$

The degree of w , denoted by deg( w ), is the number of edges incident with w . That is, deg( w ) = | N Γ ( w ) . | A vertex of degree zero is called an isolated vertex or isolated point.

Two graphs Γ 1 = ( V , E 1 1 ) and Γ 2 = ( V , E 2 2 ) are said to be isomorphic if there is a bijection f : V 1 -→ V 2 such that

$$\{ u, v \} \in E _ { 1 } \iff \{ f ( u ), f ( v ) \} \in E _ { 2 }.$$

It means that if an edge joins two vertices in Γ 1 , the corresponding vertices are joined by an edge in Γ . 2

A path in Γ is a sequence of distinct vertices v , v 1 2 , . . . , v k such that { v , v i i +1 } ∈ E for 1 ≤ i &lt; k . If v , v 1 2 , . . . , v k is a path, it is said that it goes from v 1 to v k (or that it connects v 1 with v k ) and that the vertices v 1 and v k are its endpoints. It is said that Γ is connected if there exists a path connecting any two vertices; otherwise, Γ is disconnected. The relation defined over the set of vertices V in which two vertices are related if there exists a path between them is an equivalence relation. A connected component of Γ is an equivalence class under this relation; or equivalently, a maximal connected subgraph.

Some useful notation is the following:

κ (Γ) := the number of connected components of Γ

$$& \mathcal { C } ( \Gamma ) \coloneqq \{ C _ { 1 }, \dots, C _ { \kappa ( \Gamma ) } \}, \text{ the set of all connected components of } \Gamma \\ & \kappa _ { j } ( \Gamma ) \coloneqq | C _ { j } |, \text{ for } j = 1, \dots \kappa ( \Gamma ).$$

A clique in Γ is a subgraph in which any two vertices are adjacent, i.e., a complete subgraph of Γ. A clique with the largest possible size is called a maximum clique. The size ω (Γ) of a maximum clique in Γ is called the clique number of Γ.

A bipartite graph is a graph in which the vertices can be divided into two disjoint sets such that all edges connect a vertex in one set to a vertex in another. There are no edges between vertices in the disjoint sets.

The complement of Γ is a graph Γ on the same vertices such that two distinct vertices of Γ are adjacent if and only if they are not adjacent in Γ.

Basics on Group Theory. The symmetric group on a finite set Ω is the group whose elements are all permutations of Ω, that is, all bijective functions from Ω to Ω, and whose group operation is the composition. The symmetric group of degree n , denoted by S n , is the symmetric group defined on the set Ω = [ n ] := { 1 , ..., n } . For more details on notation and definitions see [4] or [7].

Let σ ∈ S n . The expression

$$\sigma = ( a _ { 1 } a _ { 2 } \cdots a _ { r } )$$

denotes the permutation σ that σ a ( 1 ) = a , . . . , σ 2 ( a r -1 ) = a r , σ a ( r ) = a 1 and σ a ( ) = a for other a . This permutation is called a k -cycle in S n . A 2-cycle τ = ( ab ) is a transposition. The support of the permutation σ ∈ S n , denoted by supp( σ ) is defined as follows:

̸

$$\text{supp} ( \sigma ) \coloneqq \{ j \in [ n ] \colon \sigma ( j ) \neq j \}.$$

So all the action takes place in the support. The identity permutation has empty support. Two permutations σ and π in S n are disjoint if their supports are disjoint. In particular, two cycles σ = ( a a 1 2 · · · a k ) and π = ( b 1 b 2 · · · b r ) are disjoint if the underlying sets { a , a 1 2 , · · · a k } and { b 1 , b 2 , · · · b r } , are disjoint. It is well known that disjoint permutations commute; that is, if σ and π are disjoint, then σπ = πσ . Finally, the fix of σ ∈ S n are defined by

$$\text{Fix} ( \sigma ) \coloneqq \{ x \in [ n ] \, \colon \sigma ( x ) = x \}.$$

Let X be a left G -set. If x ∈ X , its orbit is the set Orb G ( x ) = { g · x : g ∈ G } , and the stabilizer of x , denoted by Stab G ( x ) = { g ∈ G : g · x = x for all x ∈ X } .

For any group G a subgroup ζ j ( G ) is defined recursively by setting ζ 0 ( G ) = 1, ζ 1 ( G ) = Z G ( ), and ζ j +1 ( G /ζ ) j ( G ) = Z G/ζ ( j ( G )) for j ≥ 1. Every subgroup ζ j ( G ) is characteristic in G . The chain

$$1 = \zeta _ { 0 } ( G ) \leq \zeta _ { 1 } ( G ) \leq \zeta _ { 2 } ( G ) \leq \cdots$$

is called the upper, or ascending, central series of G . It is said that G is nilpotent, of nilpotency class c , if ζ c -1 ( G &lt; ζ ) c ( G ) = G for some integer c , depending of G . The characteristic subgroup

$$Z ^ { * } ( G ) \coloneqq \bigcup _ { j = 0 } ^ { \lambda } \zeta _ { j } ( G )$$

is called the hypercenter of G .

̸

For example, the hypercenter of the symmetric group of degree n , denoted by S n , is trivial for n = 2.

Example 1.1. [8, Example 2.9] . Let n ∈ Z &gt; 0 , with n = 2 k m m , ≥ 3 and gcd(2 , m ) = 1 . Then D /Z n ∗ ( D n ) = ∼ D m .

It is well known that G is nilpotent if and only if the central ascending series is stationary in G .

From now on, the symbol G denotes a finite group. Some of the fundamental characterizations of a finite nilpotent group are presented below. This list of equivalent statements to the nilpotency of G will be essential in later sections.

Theorem 1.2. [4, Theorem 5.2.4] . The following statements about G are equivalent:

- (1) G is nilpotent
- (2) Every subgroup of G is subnormal.
- (3) Every proper subgroup of G is properly contained in its normalizer.
- (4) Every maximal subgroup of G is normal.
- (5) Every Sylow subgroup of G is normal.
- (6) G is the direct product of its Sylow subgroups.
- (7) Any two elements whose orders are relative primes, commute.

Theorem 1.3. [8, Theorem 2.5] . Let N ⊴ G . If N ≤ ζ i ( G ) for some i ∈ N and G/N is nilpotent, then G is nilpotent.

The notation π G ( ) denotes the set of all primes that divide the order of G . For a prime number p , O p ( G ) denotes the intersection of all Sylow p -subgroups of G , and it is well known that O p ( G ) is the largest normal p -subgroup of G . The Fitting subgroup of G , denoted by Fit( G ) or F( G ) is defined as follows:

$$\mathbf F ( G ) \coloneqq \langle O _ { p } ( G ) \colon p \in \pi ( G ) \rangle.$$

It is clear from this definition that F( G ) is the direct product ∏ O p ( G ) over the prime divisors p of | G | and that O p ( G ) is a Sylow p subgroup of F( G ).

Then, using Theorem 1.2, the Fitting subgroup is a nilpotent subgroup of G . Further, it is the largest normal nilpotent subgroup of G .

## 2. The nilpotent graph of a finite group and some examples

This section provides a SageMath [13] algorithm to compute the nilpotent graph of a non-nilpotent group, along with some examples of nilpotent graphs that will be useful to illustrate later results. It is proved that the nilpotent graph of a finite group G is never a star and that it is bipartite if and only if G is isomorphic to the symmetric group of degree three. A formula for the degree of a nilpotent graph is offered.

The letter N denotes the class of all finite nilpotent groups through this paper. If h ∈ G , the nilpotentizer of h in G is the set nil G ( h ) := { g ∈ G : ⟨ g, h ⟩ is nilpotent } . The nilpotentizer of G is the set nil( G ) := ⋂ h ∈ G nil G ( h ) = { g ∈ G : ⟨ g, h ⟩ is nilpotent for all h ∈ G } .

It is not known exactly when the subset nil( G ) is a subgroup of G , but in some cases it is. For instance, if a group G satisfies the maximal condition on its subgroups or G is a finitely generated soluble group, then Z ∗ ( G ) = nil( G ) = R G ( ), where R G ( ) denotes the soluble radical of G , which is the largest soluble normal subgroup of G (see [1] or [10, Lemma 3.1]). In particular, if G is finite, this holds.

Let G be a non-nilpotent finite group. The nilpotent graph of G , denoted by Γ N ( G ), is an undirected graph whose vertex set is G -nil( G ), and two vertices g and h are adjacent if and only if ⟨ g, h ⟩ is a nilpotent subgroup of G .

Proposition 2.1. Γ N ( G ) is bipartite if and only if G ∼ = S 3 .

Proof. If Γ N ( G ) is bipartite, then it has no 3-cycles. Then, by [10, Proposition 3.2], G ∼ = S 3 .

Reciprocally, if G ∼ = S 3 , note that the unique edge in Γ N ( G ) is incident with (123) and (132), see Example 2.2. Then, the assertion holds. □

The following code in SageMath [13] is used to generate the nilpotent graph of a finite group G :

Algorithm 1: An algorithm to generate the nilpotent graph of a finite group G after removing its isolated points

```
                           ON THE NILPOTENT GRAPH OF A FINITE GROUP                7
```

Example 2.2 (The nilpotent graph of the symmetric group of degree three) . Γ N ( G ) has four connected components, three of which are isolated points.

(123) (132)

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00910v1-figure-1617376e-902f-4458-98eb-14de95a59964.jpg)

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00910v1-figure-223e4f65-31c5-472d-b425-9e70dfd9301e.jpg)

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00910v1-figure-7eeccf36-e86e-4e25-a052-15379ad31bed.jpg)

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00910v1-figure-ade2e207-841f-4846-996d-88ecd12986fb.jpg)

Figure 1. The nilpotent graph of S 3

Example 2.3 (The nilpotent graph of the symmetric group of degree four) . Γ N ( S 4 ) has five connected components.

Figure 2. The nilpotent graph of S 4 .

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00910v1-figure-bd7f072e-8168-4c35-90fa-a2b08dc2ebf9.jpg)

Example 2.4. The nilpotent graph of D 5 has 6 connected components.

Figure 3. The nilpotent graph of D 5

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00910v1-figure-489aac8d-bf52-404b-9dc8-05358ab96d0c.jpg)

Example 2.5. The nilpotent graph of D 12 has 4 connected components.

Figure 4. The nilpotent graph of D 12

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00910v1-figure-ad655126-7c12-4e67-a987-c210f9cac127.jpg)

Example 2.6 (The nilpotent graph of the projective special linear group of degree two over F 3 ) . Γ N ( G ) has five connected components.

Figure 5. The nilpotent graph of PSL(2 3) ,

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00910v1-figure-be208efa-a92a-4fce-b172-2f21e30969fc.jpg)

Remark 2.7. Contrary to what has been proven for the soluble graph of a non-soluble finite group (see for example [15] , [3] ), the nilpotent graph is generally not connected.

Lemmas 2.8 and 2.9 follow similar arguments to the ones given in [3, Lemma 2.1 and Proposition 2.2].

Lemma 2.8. For every x ∈ G -nil( G

$$\deg ( x ) = | \text{nil} _ { G } ( x ) | - | \text{nil} ( G ) | - 1.$$

$$\text{nil} ( G ) \\ \text{li} _ { G } ( x ) | -$$

Proof. Since nil( G ) ⊆ nil G ( x ) for all x ∈ G , then nil G ( x ) -nil( G ) ⊆ G -nil( G ). Thus if x ∈ G -nil( G ), the number of vertices h distinct form x such that ⟨ x, h ⟩ is nilpotent is | nil G ( x ) |-| nil( G ) | and so deg( x ) = | nil G ( x ) |-| nil( G ) | -1. □

Lemma 2.9. The graph Γ N ( G ) is not a star.

Proof. Suppose that Γ N ( G ) is a star. Then there exists x ∈ G -nil( G ) such that deg( x ) = | G -nil( G ) | -1 = | G | - | nil( G ) | -1. Thus, by Lemma 2.8, | nil G ( x ) | = | G | so that x ∈ nil( G ), which is a contradiction. □

## 3. Strongly self-centralizing subgroups and nilpotent graphs

This section provides several lower bounds on the clique number and the number of connected components of the nilpotent graph of a finite group. In addition, it is proved that the nilpotent graph of S n (for n ≥ 5) is disconnected if and only if n or n -1 is a prime number.

̸

A subgroup U of a finite group G is said to be strongly self-centralizing if C G ( x ) = U for all 1 = x ∈ U .

Form now on, G denotes a finite non-nilpotent group in the remainder of this work, unless stated otherwise.

Lemma 3.1. Let U be a nilpotent subgroup G such that U ⊈ nil( G ) . Then U -( U ∩ nil( G )) is the set of vertices of a clique of Γ N ( G ) . Moreover if N is a normal nilpotent subgroup of G , | N -( N ∩ nil( G )) | ≤ ω (Γ N ( G )) . In particular, | F( G ) -(F( G ) ∩ nil( G )) | ≤ ω (Γ N ( G )) .

Proof. Since any subgroup of a nilpotent group is nilpotent, ⟨ x, y ⟩ is nilpotent for all x, y ∈ U -( U ∩ nil( G )). Thus the subgraph of Γ N ( G ) having U -( U ∩ nil( G )) as its set of vertices is a clique. Moreover, if N is a normal nilpotent subgroup of G , then

$$| N - ( N \cap \text{nil} ( G ) ) | \ & \leq \ \max \{ | U - ( U \cap \text{nil} ( G ) ) | \, \colon U \leq G \wedge U \in \mathfrak { N } \} \\ & \leq \ \max \{ | U - ( U \cap \text{nil} ( G ) ) | \, \colon U \leq G \wedge U \in \mathfrak { N } \} \\ & \leq \ \omega ( \Gamma _ { \mathfrak { N } } ( G ) ).$$

The rest follows from the fact that the fitting subgroup F( G ) is the largest normal nilpotent subgroup of G . □

Theorem 3.2. If there exists a strongly self-centralizing subgroup U of G , then:

̸

- (1) nil G ( x ) = U for all 1 = x ∈ U .
- (2) Γ N ( G ) is a disconnected graph.
- (3) | F( G ) | -1 ≤ ω (Γ N ( G )) .

̸

̸

- Proof. (1) Suppose a strongly self-centralizing subgroup U of G exists. Note that Z G ( ) ≤ C G ( x ) = U , for all 1 = x ∈ U . Since U is abelian, then there is y ∈ G -U such that U ∩ C G ( y ) = 1; otherwise it would exist 1 = z ∈ U ∩ C G ( y ) and therefore y ∈ C G ( z ) = U , which is a contradiction. This implies that Z G ( ) ≤ U ∩ C G ( y ) = 1, and so Z ∗ ( G ) = 1.

̸

Let 1 = x ∈ U . If g ∈ nil G ( x ), then there exists 1 = z ∈ Z ( ⟨ x, g ⟩ ), and so z ∈ C G ( x ) = U , implying that g ∈ C G ( z ) = U . Thus nil G ( x ) ⊆ U and U = C G ( x ) ⊆ nil G ( x ), i.e., nil G ( x ) = U .

̸

- (2) By part 1, for every h ∈ G -U ⊆ G -Z ∗ ( G ) = G -1 and x ∈ U , ⟨ x, h ⟩ is not nilpotent, i.e., there is no edge from h to x , so Γ N ( G ) must be a disconnected graph.
- (3) Since G is finite, nil( G ) = Z ∗ ( G ). Thus, by the proof of part 1, nil G ( ) = Z ∗ ( G ) = 1. Therefore | F( G ) | -1 ≤ ω (Γ N ( G )) (by Lemma 3.1).

Theorem 3.3. Let U ̸ = ∅ be the set of the strongly self-centralizing subgroups of G . If U ∈ U , then U -1 is the set of vertices of a connected component of Γ N ( G ) and

̸

$$\kappa ( \Gamma _ { \mathfrak { N } } ( G ) ) \geq \begin{cases} | \mathcal { U } | \text{ if } \bigcup _ { U \in \mathcal { U } } U = G \\ | \mathcal { U } | + 1 \text{ if } \bigcup _ { U \in \mathcal { U } } U \neq G. \end{cases}$$

̸

Proof. Suppose U ̸ = . Then nil( ∅ G ) = Z ∗ ( G ) = 1 (by the proof of Theorem 3.2, part 1) and so the set of vertices of Γ N ( G ) is G -1. Let U ∈ U , then nil G ( x ) = U for all 1 = x ∈ U (by Theorem 3.2, part 1), that is, any vertex in G -1 that is adjacent to a vertex in U -1 must be in U -1. Note that if C is a connected component of Γ N ( G ) containing a vertex x ∈ U -1 and y ∈ C , then there exists a path from x to y , so the vertex of that path that is connected to x must be in U -1. Any other vertex connected to that one must be in U -1 as well. By applying this reasoning consecutively, one gets that y ∈ U -1. Thus, since U -1 is the set of vertices of a connected subgraph of Γ N ( G ) (by Lemma 3.1), such subgraph must be a connected component of Γ N ( G ).

If ⋃ U ∈U U ⊊ G , then any element h ∈ G -⋃ U ∈U U is a vertex Γ N ( G ) that is not related to an element of ⋃ U ∈U ( U -1) so that h belongs to a connected component whose set of vertices has trivial intersection with ⋃ U ∈U ( U -1), implying that |U| +1 ≤ κ (Γ N ( G )). Therefore

̸

$$\kappa ( \Gamma _ { \mathfrak { N } } ( G ) ) \geq \begin{cases} | \mathcal { U } | \text{ if } \cup _ { U \in \mathcal { U } } U = G \\ | \mathcal { U } | + 1 \text{ if } \cup _ { U \in \mathcal { U } } U \neq G \end{cases} \rightarrow \begin{cases} | \mathcal { U } | \text{ if } \cup _ { U \in \mathcal { U } } U = G \\ | \mathcal { U } | + 1 \text{ if } \cup _ { U \in \mathcal { U } } U \neq G \end{cases}$$

Example 3.4. Using SageMath [13] , one can see that the strongly selfcentralizing subgroups of S 4 are

$$\langle ( 1 3 2 ) \rangle, \langle ( 1 4 2 ) \rangle, \langle ( 1 4 3 ) \rangle, \langle ( 2 4 3 ) \rangle.$$

Thus, if U is defined as in Theorem 3.3, |U| +1 = 4+1 = 5 ≤ κ (Γ N ( G )) = 5 where the last equality is by Example 2.3.

Similarly, one can see that the strongly self-centralizing subgroups of D 5 are

⟨ (25)(34) ⟩ , ⟨ (12)(35) ⟩ , ⟨ (13)(45) ⟩ , ⟨ (14)(23) ⟩ , ⟨ (15)(24) ⟩ , ⟨ (12345) ⟩ .

Thus, if U is defined as in Theorem 3.3, |U| = 6 ≤ κ (Γ N ( G )) = 6 where the last equality is by Example 2.4.

Example 3.5. From the shape of Γ N ( S 4 ) and Γ N ( D 5 ) , that were computed in Examples 2.3 and 2.4, respectively, it can be seen that ω (Γ N ( S 4 ) ) = 5 and ω (Γ N ( D 5 )) = 4 . On the other hand, F S ( 4 ) = { 1 (12)(34) (14 , ,

)(23) , (13)(24) } and F D ( 5 ) = { 1 (12345) (13524) (14253) (15432) , , , , } . Thus, since S 4 and D 5 contain strongly self-centralizing subgroups (these were computed in Example 3.4),

$$| F ( S _ { 4 } ) | - 1 = 3 \leq 5 = \omega ( \Gamma _ { \mathfrak { N } } ( S _ { 4 } ) )$$

and

$$| F ( D _ { 5 } ) | - 1 = 4 \leq 4 = \omega ( \Gamma _ { \mathfrak { N } } ( D _ { 5 } ) ).$$

These inequalities illustrate Theorem 3.2 (part 3 ).

## Theorem 3.6. Let n ∈ Z &gt; 0 .

- (1) If n or n -1 is a prime number, then S n has self-centralizing cyclic subgroups. In particular, Γ N ( S n ) is a disconnected graph.
- (2) If n ≥ 5 and Γ N ( S n ) is disconnected, then n or n -1 is a prime number.
- Proof. (1) Suppose that n or n -1 is a prime number. Let G := S n and consider the action of G on itself by conjugation. It is known that the conjugacy classes of any r -cycle in G are determined by cycle type. Thus for 1 ≤ r ≤ n , the number of r -cycles in G is n ! r n ( -r )! . If σ is an r -cycle in G , then

$$| G \colon C _ { G } ( \sigma ) | = | \text{Orb} _ { G } ( \sigma ) | = \frac { n! } { r ( n - r )! }.$$

Let α and β be an n -cycle and an ( n -1)-cycle in G respectively. Then

$$| G \, \colon C _ { G } ( \alpha ) | = ( n - 1 )! \text{ and } | G \, \colon C _ { G } ( \beta ) | = ( n - 2 )! n.$$

Therefore | C G ( α ) | = n y | C G ( β ) | = n -1. It follows that C G ( α ) = ⟨ α ⟩ and C G ( β ) = ⟨ β ⟩ . If n is a prime number then C G ( α k ) = ⟨ α ⟩ for 1 ≤ k &lt; n -1. Analogously, if n -1 is a prime number then C G ( β k ) = ⟨ β ⟩ , for 1 ≤ k &lt; n . Thus, by Theorem 3.2 (part 2), Γ N ( S n ) is a disconnected graph.

- (2) Suppose that Γ N ( S n ) is a disconnected graph, and let σ be a ( n -1)cycle. If n -1 is an even number, then there exists an involution ι ∈ S n such that σ m = ι = ( s s 1 2 )( s s 3 4 ) · · · ( s l -1 s l ), for some integer number m . Let τ 1 := ( s s 1 2 ).

Let α ∈ S n and its decomposition in disjoints cycles given by

$$\alpha = ( a _ { 1 } \dots a _ { k _ { 1 } } ) ( a _ { k _ { 1 } + 1 } \dots a _ { k _ { 2 } } ) \cdots ( a _ { k _ { l - 1 } + 1 } \dots a _ { k _ { l } } ),$$

with k i ≤ n -2, i ∈ { 1 , . . . , l } . Let θ := ( a 1 . . . a k 1 ). Consider the following cases:

Case 1: supp( θ ) ∩ supp( τ 1 ) = ∅ . Then τ θ 1 = θτ 1 , and τ 1 ∈ nil G ( θ ).

Case 2: { s , s 1 2 } ⊆ supp( θ ). Since n ≥ 5, there exists another transposition τ 2 = ( s s ′ 1 ′ 2 ) such that θ s ( ′ 1 ) = s ′ 1 and θ s ( ′ 2 ) = s ′ 2 . Therefore, τ θ 2 = θτ 2 y τ τ 1 2 = τ τ 2 1 . Then θ ∈ nil G ( τ 2 ) and τ 2 ∈ nil G ( τ 1 ).

Case 3: s 1 ∈ supp( θ ), and θ s ( 2 ) = s 2 . Let τ 3 = ( s s 2 ), with s ∈ Fix( θ ), which exists, since n ≥ 5 and θ has length at most n -2. Then θ and τ 3 are disjoints. Thus, there exists τ 4 = ( b 1 b 2 ), where b 1 and b 2 are elements that τ 3 and τ 1 stabilize, since n ≥ 5. Therefore, τ θ 3 = θτ 3 , τ τ 4 1 = τ τ 1 4 , and τ τ 3 4 = τ τ 4 3 . It follows that θ ∈ nil G ( τ 3 ), τ 3 ∈ nil G ( τ 4 ) y τ 4 ∈ nil G ( τ 1 ).

Case 4: s 2 ∈ supp( θ ), and θ s ( 1 ) = s 1 . Similar to the above case. Since θ ∈ nil G ( α ), τ 1 ∈ nil G ( σ m ) and σ m ∈ nil G ( σ ), there is always a path between any ( n -1)-cycles and permutations that are the product of disjoint cycles of length less than n -1, other than 1. Therefore, Γ N ( S n ) has a connected component, say C , containing any permutation which is a product of disjoint cycles of length less than or equal to n -1. Since Γ N ( S n ) is disconnected, then there must exist at least one other connected component, which contains only n -cycles.

Suppose n is not a prime number. Any cyclic subgroup of S n generated by an n -cycle contains a different from 1 permutation, which is a product of disjoint cycles of length less than or equal to n -1 so that any n -cycle would be adjacent to vertices which are in the connected component C . That is, any n -cycle is in C , so all permutations other than the identity are in C , which contradicts that Γ N ( S n ) is disconnected. Then, n must be a prime number.

On the other hand, if n -1 is odd, then n is even, so analogously, n -1 is prime.

□

## 4. Directed product of groups and connectedness

In this section, necessary and sufficient conditions to guarantee the connectedness of the nilpotent graph (see Proposition 4.3 and Theorem 4.5); and for two nilpotent graphs to be isomorphic (see Theorem 4.8 and Corollary 4.10), are provided. It is also proved that the nilpotent graph of any finite non-nilpotent group is never self-complementary (Theorem 4.11), among other results.

Lemma 4.1. Let G and H be finite groups. Then ⟨ ( g , h 1 1 ) , ( g , h 2 2 ) ⟩ is a nilpotent subgroup of G × H if and only if ⟨ g , g 1 2 ⟩ and ⟨ h , h 1 2 ⟩ are nilpotent subgroups of G and H respectively.

Proof. Suppose U := ⟨ ( g , h 1 1 ) , ( g , h 2 2 ) ⟩ is a nilpotent subgroup of G × H , and ˜ H := 1 × H . Then U/ U ( ∩ ˜ ) = H ∼ ⟨ g , g 1 2 ⟩ , and so ⟨ g , g 1 2 ⟩ is nilpotent. Similarly ⟨ h , h 1 2 ⟩ is nilpotent.

Reciprocally, suppose ⟨ g , g 1 2 ⟩ and ⟨ h , h 1 2 ⟩ are nilpotent groups. Then ⟨ g , g 1 2 ⟩ × ⟨ h , h 1 2 ⟩ is nilpotent. Since ⟨ ( g , h 1 1 ) , ( g , h 2 2 ) ⟩ ≤ ⟨ g , g 1 2 ⟩ × ⟨ h , h 1 2 ⟩ , then ⟨ ( g , h 1 1 ) , ( g , h 2 2 ) ⟩ is a nilpotent group. □

Corollary 4.2. Let G and H be groups. Then nil( G × H ) = nil( G ) × nil( H ) .

Proof.

(

$$( g, h ) \in \text{nil} ( G ) \times \text{nil} ( H ) & \Leftrightarrow \langle g, x \rangle, \langle h, y \rangle \in \mathfrak { N } \ \forall x \in G \ \forall y \in H \\ & \Leftrightarrow \langle ( g, h ), ( x, y ) \rangle \ \in \mathfrak { N } \ \forall ( x, y ) \in G \times H \\ & \Leftrightarrow ( g, h ) \in \text{nil} ( G \times H ).$$

□

Proposition 4.3. Let G and H be non-nilpotent groups. Then Γ N ( G × H ) is connected.

Proof. Let ( g , h 1 1 ) , ( g , h 2 2 ) ∈ G × H -Z ∗ ( G × H ). Then g 1 / Z ∈ ∗ ( G ) or h 1 / Z ∈ ∗ ( H ) and g 2 / Z ∈ ∗ ( G ) or h 2 / Z ∈ ∗ ( H ). Consider the following cases:

Case 1. g 1 / Z ∈ ∗ ( G ) and h 2 / Z ∈ ∗ ( H ). In this case the path ( g , h 1 1 ), ( g , 1 1), (1 , h 2 ), ( g , h 2 2 ) connecting the vertices ( g , h 1 1 ) , ( g , h 2 2 ).

Case 2. g 1 ∈ Z ∗ ( G ) and g 2 ∈ Z ∗ ( G ). Since G is non-nilpotent, there exists g ∈ G -Z ∗ ( G ). Then ( g , h 1 1 ), ( g, 1), ( g , h 2 2 ) is a path connecting ( g , h 1 1 ) and ( g , h 2 2 ).

The remaining cases are analogous to one of the above. □

Example 4.4. An illustration of the above result is as follows:

Figure 6. Nilpotent graph of S 3 × S 3

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00910v1-figure-8bf544f0-48a3-4ca0-baef-3788ce507a39.jpg)

Let κ j (Γ N ( G )) denote the number of vertices of the j -th connected component of Γ N ( G ). To simplify the notation, from now on, it will be used C ( G ), κ G ( ), and k j ( G ), to denote C (Γ N ( G )), κ (Γ N ( G )) and κ j (Γ N ( G )), respectively.

Theorem 4.5. For every finite nilpotent group H , it holds κ G ( × H ) = κ G ( ) . In particular, Γ N ( G ) is connected if and only if Γ N ( G × H ) is connected for every finite nilpotent group H .

Proof. Let H be any finite nilpotent group. Then Z ∗ ( H ) = nil( H ) = H . So, by Corollary 4.2, nil( G × H ) = nil( G ) × H . Thus, by Lemma 4.1, ( g, h ) , ( x, y ) are adjacent in Γ N ( G × H ) if and only if g and x are adjacent in Γ N ( G ). Then, there is no path from g to x if and only if there is no path from ( g, h ) to ( x, y ), for all h, y ∈ H . This implies that κ G ( × H ) = κ G ( ). □

Proposition 4.6. Let H be a finite nilpotent group. Then | H | divides k i ( G × H ) for all i ∈ { 1 , . . . , κ ( G × H ) } .

Proof. Let g be a vertex in the i -th connected component of Γ N ( G ). Then, by Lemma 4.1, for all h, k ∈ H , ( g, h ) and ( g, k ) are in the same connected component of Γ N ( G × H ). Then, for every g in i -th component of Γ N ( G ) there are | H | elements of the form ( g, h ), with h ∈ H , in the i -th connected component of Γ N ( G × H ). □

Lemma 4.7. Let x, y ∈ G . Then ⟨ x, y ⟩ is a nilpotent subgroup of G if and only if ⟨ xZ ∗ ( G , yZ ) ∗ ( G ) ⟩ is a nilpotent subgroup of G/Z ∗ ( G ) .

Proof. Suppose that ⟨ x, y ⟩ is a nilpotent subgroup of G , and let π : G -→ G/Z ∗ ( G ) be the canonical epimorphism. Note that ⟨ xZ ∗ ( G , yZ ) ∗ ( G ) ⟩ = π ( ⟨ x, y ⟩ ) and then it is a nilpotent subgroup of G/Z ∗ ( G ).

Reciprocally, suppose that ⟨ xZ ∗ ( G , yZ ) ∗ ( G ) ⟩ is a nilpotent subgroup of G/Z ∗ ( G ). First note that Z ∗ ( G ) ∩ ⟨ x, y ⟩ ≤ Z ∗ ( ⟨ x, y ⟩ ). In fact, if z ∈ Z ∗ ( G ) ∩ ⟨ x, y ⟩ , then z ∈ ⟨ x, y ⟩ and ⟨ z, g ⟩ is nilpotent for all g ∈ ⟨ x, y ⟩ . That is, z ∈ Z ∗ ( ⟨ x, y ⟩ ). Now, it is clear that Z ∗ ( G ) ∩ ⟨ x, y ⟩ ⊴ ⟨ x, y ⟩ , and consequently Z ∗ ( G ) ∩ ⟨ x, y ⟩ ⊴ Z ∗ ( ⟨ x, y ⟩ ). Then

⟨ xZ ∗ ( G , yZ ) ∗ ( G ) ⟩ = π ( ⟨ x, y ⟩ ) = ∼ ⟨ x, y ⟩ / ( ⟨ x, y ⟩ ∩ Z ∗ ( G . ))

Since ⟨ xZ ∗ ( G , yZ ) ∗ ( G ) ⟩ is nilpotent, using Theorem 1.3 follows that ⟨ x, y ⟩ is nilpotent. □

Theorem 4.8. Γ N ( G ) ∼ = Γ N ( G/Z ∗ ( G ) × Z ∗ ( G )) . In particular κ G ( ) = κ G/Z ( ∗ ( G )) .

Proof. Let T = { g , . . . , g 1 m } be a left transversal of Z ∗ ( G ) in G . Let ˜ G := G/Z ∗ ( G ) × Z ∗ ( G ), and define f : ˜ G -→ G by f ( gZ ∗ ( G , z ) ) = g z i , where g i satisfies gZ ∗ ( G ) = g Z i ∗ ( G ). It is straightforward to show that f is a well-defined function, and also bijective.

Now, let ( gZ ∗ ( G , z ) ) , ( hZ ∗ ( G , w ) ) ∈ ˜ G arbitrary. Then, by Lemma 4.1, ⟨ ( gZ ∗ ( G , z ) ) , ( hZ ∗ ( G , w ) ) ⟩ is a nilpotent subgroup of ˜ G if and only if ⟨ gZ ∗ ( G , hZ ) ∗ ( G ) ⟩ is a nilpotent subgroup of G/Z ∗ ( G ). However,

$$\langle g Z ^ { * } ( G ), h Z ^ { * } ( G ) \rangle = \langle g _ { i } z Z ^ { * } ( G ), g _ { j } w Z ^ { * } ( G ) \rangle,$$

for some z, w ∈ Z ∗ ( G ).

From Lemma 4.7 follows that ⟨ g zZ i ∗ ( G , g wZ ) j ∗ ( G ) ⟩ is a nilpotent subgroup of G/Z ∗ ( G ) if and only if ⟨ g z, g i j w ⟩ = ⟨ f ( gZ ∗ ( G , z ) ) , f ( hZ ∗ ( G , w ) ) ⟩ is a nilpotent subgroup of G , so, by restricting f to ˜ G -Z ∗ ( ˜ G ), one obtains a bijective function preserving adjacency. That is an isomorphism between the corresponding graphs. Finally, since Z ∗ ( G ) es nilpotent follows from Theorem 4.5 that κ G ( ) = κ G/Z ( ∗ ( G ) × Z ∗ ( G )) = κ G/Z ( ∗ ( G )). □

Lemma 4.9. | Z ∗ ( G ) | = gcd( k 1 ( G , . . . , k ) n ( G , ) | G | ) , where n = κ G ( ) .

Proof. Using Proposition 4.6 follows that | Z ∗ ( G ) | divides k i ( G/Z ∗ ( G ) × Z ∗ ( G )) = k i ( G ) for all i ∈ { 1 , . . . , κ ( G ) } . Now, note that ∑ n i =1 k i ( G ) + | Z ∗ ( G ) | = | G | . Thus

$$1 = \frac { | G | } { | Z ^ { * } ( G ) | } - \sum _ { i = 1 } ^ { n } \frac { k _ { i } ( G ) } { | Z ^ { * } ( G ) | },$$

and so

$$\gcd \left ( \frac { k _ { 1 } ( G ) } { | Z ^ { * } ( G ) | }, \dots, \frac { k _ { n } ( G ) } { | Z ^ { * } ( G ) | }, \frac { | G | } { | Z ^ { * } ( G ) | } \right ) = 1,$$

which implies the assertion.

$$\Box$$

Corollary 4.10. If gcd( k i ( G , k ) j ( G )) = 1 for some i, j , then for any finite non-nilpotent group H with Γ N ( G ) = Γ ∼ N ( H ) , then | G | = | H | .

Proof. Since Γ N ( G ) = Γ ∼ N ( H ), it follows that | G | -| Z ∗ ( G ) | = | H | -| Z ∗ ( H ) . | From Lemma 4.9, | Z ∗ ( G ) | = 1 = | Z ∗ ( H ) , | and so | G | = | H | . □

Theorem 4.11. No finite non-nilpotent group has a self-complementary nilpotent graph.

Proof. Suppose that Γ N ( G ) is a self-complementary graph. Then, there exists a bijective function f : G -Z ∗ ( G ) -→ G -Z ∗ ( G ) such that ⟨ x, y ⟩ is nilpotent if and only if ⟨ f ( x , f ) ( y ) ⟩ is non-nilpotent. Consequently, for any x ∈ G -Z ∗ ( G ) holds

$$| \text{nil} _ { G } ( x ) | - | Z ^ { * } ( G ) | - 1 = \deg ( x ) = \deg ( f ( x ) ) = | G | - | \text{nil} _ { G } ( f ( x ) ) |.$$

Thus, by [11, Teorema 4.1], | Z ∗ ( G ) | divides | G | - | nil G ( f ( x )) | = nil | G ( x ) | -| Z ∗ ( G ) | -1 and | nil G ( x ) | - | Z ∗ ( G ) | for all x ∈ G -Z ∗ ( G ), so | Z ∗ ( G ) | = 1.

Let C 2 be the cyclic group of order 2, H := G × C 2 , and consider the function g : H -Z ∗ ( H ) -→ H -Z ∗ ( H ) defined by g x, n ( ) = ( f ( x , n ) ). It is easy to see that this function is well-defined and bijective. It follows from Lemma 4.1 that ⟨ ( x, n , ) ( y, m ) ⟩ is nilpotent if and only if ⟨ ( f ( x , n , ) ) ( f ( y , m ) ) ⟩ =

⟨ g x, n , g ( ) ( y, m ) ⟩ is non-nilpotent, for all ( x, n , ) ( y, m ) ∈ H -Z ∗ ( H ). Therefore, the nilpotent graph of H is self-complementary too. By a similar argument to the one used at the beginning, | Z ∗ ( H ) | = 1, which is a contradiction (because | Z ∗ ( H ) | = | Z ∗ ( G ) × C 2 | = 2, by Corollary 4.2). □

## 5. Nilpotent graph of the Dihedral group

In this section, a formula for the number of the connected components of the non-nilpotent dihedral group D n is presented.

̸

It is well-known that Z D ( n ) = 1 if and only if n is even, in other words, no reflection of D n commutes with any rotation different from the identity if and only if n is odd. This fact will be used in Theorem 5.1.

Theorem 5.1. Let n ∈ Z &gt; 0 . Then

$$\kappa ( D _ { n } ) = \begin{cases} n + 1 & \text{if $2\nmid n$} \\ m + 1 & \text{if $2|n\wedge n$ is not a power of $2$} \end{cases}$$

where n = 2 k m m , ≥ 3 and 2 ∤ m .

Proof. (1) Suppose n is an odd number. Let ⟨ r ⟩ be the subgroup of rotations of D n and s be a reflection. Since gcd( | r i | , | r s j | ) = 1 for all i ∈ { 1 , . . . , n - } 1 , j ∈ { 0 , . . . , n } , then ⟨ r , r i j s ⟩ is non-nilpotent for all i ∈ { 1 , . . . , n - } 1 , j ∈ { 0 , . . . , n - } 1 . Otherwise, it would follow from Theorem 1.2 that some rotation different from the identity commutes with some reflection, which is not possible since n is odd.

̸

On the other hand, if i = j , then ⟨ r s, r i j s ⟩ contains at least one rotation different from the identity, again implying that some reflection commutes with some rotation. Therefore ⟨ r s, r i j s ⟩ is nilpotent if and only if i = j . Then Γ N ( D n ) has one component with n -1 vertices and n components with one element. That is, κ G ( ) = n +1.

- (2) From Theorem 4.8 follows that κ D ( n ) = κ D /Z ( n ∗ ( D n )). Thus, by Example 1.1, κ D /Z ( n ∗ ( D n )) = κ D ( m ). Since m is an odd number, by part 1, κ D ( n ) = κ D ( m ) = m +1.

□

Example 5.2. If n = 5 or n = 12 = 2 2 · m , the nilpotent graph of D n has n +1 = 6 or m +1 = 3+1 = 4 connected components (by Examples 2.4 and 2.5), respectively, which illustrates Theorem 5.1.

## 6. Nilpotent graph of some projective special linear groups

If C is a connected component of the nilpotent graph of G ; in this section, necessary and sufficient conditions for the union of C and the hypercenter of G to contain one of its Sylow p -subgroups are studied. If q is a power of a prime number, a formula for the number of connected components of the nilpotent graph of PSL(2 , q ) is presented. Finally, it is proved that the nilpotent graph of a group with nilpotentizer of even order is never Eulerian.

It is easy to see that G acts by conjugation on C ( G ) as follows g · C := gCg -1 . Lemma 6.1 shows that C ⊆ N G ( C ).

Lemma 6.1. Every connected component of Γ N ( G ) is invariant under conjugation by its element.

Proof. Let g ∈ C y , ∈ g -1 Cg be arbitrary. Then there exist x, h 1 , . . . , h n ∈ C such that y = g -1 xg and ⟨ g, h 1 ⟩ , ⟨ h , h 1 2 ⟩ , . . . , ⟨ h , x n ⟩ are nilpotent subgroups of G , because C ∈ C ( G ). Then, ⟨ g, g -1 h g 1 ⟩ , ⟨ g -1 h g, g 1 -1 h g , . . . , 2 ⟩ ⟨ g -1 h g, g n -1 xg ⟩ = ⟨ g -1 h g, y n ⟩ are nilpotent subgroups of G . That is, a path exists from g to y so that y ∈ C . Therefore g -1 Cg ⊆ C and since | g -1 Cg | = | C | , then g -1 Cg = C . □

Remark 6.2. Note that Stab G ( C ) = N G ( C ) = N G ( C ∪ Z ∗ ( G )) for all C ∈ C ( G ) , so that Stab G ( C ) acts by conjugation on C ∪ Z ∗ ( G ) . Moreover, Stab N G ( C ) ( g ) = C N G ( C ) ( g ) for all g ∈ C ∪ Z ∗ ( G ) .

If C ∈ C ( G ), Theorem 6.3 provides necessary and sufficient conditions for the set C ∪ Z ∗ ( G ) to contain a Sylow p -subgroup of G .

Theorem 6.3. Let C ∈ C ( G ) , and p be a prime divisor of | G | .

- (1) If P is a Sylow p -subgroup of G contained in C ∪ Z ∗ ( G ) , then p | | C ∪ Z ∗ ( G ) | .
- (2) If p | gcd ( | C | + 1 , | N G ( C ) ) | and Z ∗ ( G ) = 1 , then C ∪ 1 contains a Sylow p -subgroup of G .

̸

Proof. (1) If P ∩ Z ∗ ( G ) = 1, then Z ∗ ( G ) contains an element of order p , i.e. | Z ∗ ( G ) | is divisible by p . Since | Z ∗ ( G ) | | | C | , by Lemma 4.9, then | C ∪ Z ∗ ( G ) | = | C | + | Z ∗ ( G ) | = | Z ∗ ( G m ) | = pkm , for some integer numbers k and m . Suppose now that P ∩ Z ∗ ( G ) = 1. Since P ⊆ C ∪ Z ∗ ( G ), there exists x ∈ C such that ord( x ) = p . Thus x ∈ N G ( C ) (by Lemma 6.1) and so ⟨ x ⟩ acts by conjugation on the elements of C ∪ Z ∗ ( G ). Note that, for j ∈ { 1 , . . . , p - } 1 and g ∈ G , g x j = g if and only if g ∈ C G ( x ). In addition, if g ∈ C G ( x ), then ⟨ x, g ⟩ is nilpotent, so that C G ( x ) ⊆ C ∪ Z ∗ ( G ). Thus p = ord( x ) = | Orb ( ) x g | | Stab ( x g ) | ,

for all g ∈ C ∪ Z ∗ ( G ). Then | Orb ( ) x g | = p or | Orb ( ) x g | = 1 for all g ∈ C ∪ Z ∗ ( G ). Thus, since | Orb ( ) x g | = 1 if and only if g ∈ C G ( x ),

$$| C \cup Z ^ { * } ( G ) | \ = \ \sum _ { i = 1 } ^ { n } | \text{Orb} _ { x } ( g _ { i } ) | = | C _ { G } ( x ) | + p n _ { 2 }$$

where n and n 2 are the number of orbits, and the number of orbits of size p , respectively. Hence, since ⟨ x ⟩ ≤ C G ( x ), p | | C ∪ Z ∗ ( G ) . |

̸

̸

- (2) Suppose that no Sylow p -subgroup of G is contained in C ∪ 1. Since p | | N G ( C ) , | then there exists an x ∈ N G ( C ) such that ord( x ) = p and so ⟨ x ⟩ acts on C ∪ 1 by conjugation. Then, g y = g for all 1 = y ∈ ⟨ x ⟩ , and g ∈ C ; otherwise, ⟨ y, g ⟩ is nilpotent, and so y ∈ C ∪ 1, which is a contradiction. Thus, y ∈ ⟨ x ⟩ stabilizes g ∈ C ∪ 1 if and only if g = 1 or y = 1. Hence, by the Burnside's Lemma,

$$p \cdot | ( C \cup 1 ) / \langle x \rangle | \ & = \ \text{ord} ( x ) \cdot | ( C \cup 1 ) / \langle x \rangle | = \sum _ { y \in \langle x \rangle } | \text{Fix} ( y ) | \\ & = \ | C \cup 1 | + ( \text{ord} ( x ) - 1 ) = | C | + p.$$

Thus p | | C | , which is a contradiction. Therefore, a Sylow p -subgroup of G must be contained in C ∪ 1.

□

For the rest of this section, G denotes the projective special linear group PSL(2 , q ), where q = p f for some prime number p . In addition, k := gcd( q -1 2), , r := q -1 k , and t := q +1 k .

Theorem 6.4. [7, Chapter II, S¨tze 8.2, 8.3, 8.4] a

- (1) Let P be a Sylow p -subgroup of G . Then P is isomorphic to the additive group of the finite Field F q , an elementary abelian group of order q . Further, G has exactly q +1 Sylow p -subgroups.
- (2) The subgroup U of G , which fixes the values 0 and ∞ , is cyclic of order r .
- (3) G has a cyclic subgroup S of order t .

Theorem 6.5. [7, Chapter II, Satz 8.5]

Let P, U, S be as in Theorem 6.4, and

$$\mathcal { P } \coloneqq \{ P ^ { x }, U ^ { x }, S ^ { x } \colon x \in G \}.$$

Then, each element of G different from 1 lies in exactly one of the groups from P (i.e., P forms a partition of G ).

Thus, by Theorem 6.5, every element of G different from 1 belongs to only one of the conjugacy classes of the subgroups P , U , S , described in

JAIME TORRES, ISMAEL GUTIERREZ, AND E. J. GARC ´ IA-CLARO

Theorem 6.4. Moreover, N G ( P ) = ∼ Z f p ⋊Z r , N G ( U ) = ∼ D r y N G ( S ) = ∼ D t .

Let C P , C U , C S denote the connected component of Γ N ( G ) containing elements of P , U and S , respectively.

## Theorem 6.6. The following statements hold:

- (1) If q &gt; 3 , then |C ( G /G ) | = 3 .
- (2) | Orb G ( C P ) | = q +1 .
- (3) If q ≥ 13 , then | Orb G ( C U ) | = 1 if and only if q ≡ 1 mod 4 .

̸

- (4) If q &gt; 3 and q = 7 9 , , then | Orb G ( C S ) | = 1 if and only if q ≡ 3 mod 4 .

̸

- Proof. (1) Let 1 = x ∈ G and suppose that ⟨ x, y ⟩ is nilpotent for some y ∈ G -Z ∗ ( G ). If x ∈ P , then y ∈ P g for some g ∈ G . Otherwise, y ∈ U h or y ∈ S z , for some h, z ∈ G , so that x and y commute, because their orders are relative primes. However, xy must be in some conjugate of P , U , or S , so the order of one of these groups must be divisible by p and by some other prime that divides r or t , which is false. Therefore y ∈ P . Analogously, if x ∈ U , then y must be in some conjugate of U , and if x ∈ S , then y must be in some conjugate of S . Therefore, C ,C U S / ∈ Orb G ( C P ) and C U / ∈ Orb G ( C S ), and since each orbit contains components with elements of one of these groups, then |C ( G /G ) | = 3.

̸

̸

̸

- (2) Suppose | Orb G ( C P ) | = q +1. Necessarily | Orb G ( C P ) | &lt; q +1, since | Orb G ( C P ), by part 1, contains only components with elements in the conjugates of P . Then, there must exist x ∈ P and y in some conjugate of P , say P ′ , such that ⟨ x, y ⟩ is nilpotent. Consequently there exists z = 1 such that z ∈ Z ( ⟨ x, y ⟩ ), so that z ∈ N G ( P ) ∩ N G ( P ′ ), since x ∈ P z ∩ P , y ∈ P ′ z ∩ P ′ and x = 1 = y . Moreover, ⟨ x, z ⟩ is also nilpotent, so z must be in some conjugate of P . Since P is elementary abelian, then | z | = p , so, z ∈ P ∩ P ′ , since the only subgroups of order divisible by p of N G ( P ) and N G ( P ′ ) are P and P ′ . But this is impossible since P ∩ P ′ = 1. Therefore, C P = P -1 so | Orb G ( C P ) | = | G : N G ( P ) | = q +1.

̸

̸

̸

̸

- (3) Suppose | Orb G ( C U ) | = 1. Then C U has elements of U and some conjugate of U , say U ′ . That is, there exist x ∈ U , y ∈ U ′ , x = 1 = y such that ⟨ x, y ⟩ is nilpotent. Thus, there exists z ∈ ⟨ x, y ⟩ such that z = 1 and commutes with x and y . Therefore, z ∈ N G ( U ) ∩ N G ( U ′ ), since x ∈ U z ∩ U , y ∈ U ′ z ∩ U ′ and x = 1 = y . On the other hand, if z ∈ U , then z / U ∈ ′ , since U ∩ U ′ = 1 and z = 1, so that ord( z ) = 2, due to z ∈ N G ( U ′ ) = ∼ D q -1 k . Analogously, if z ∈ U ′ o z / U ∈ ∪ U ′ , ord( z ) = 2. Since z must also be in some conjugate of U by part

̸

̸

̸

̸

1, it follows that 2 = ord( z ) divides | U | = q -1 k , so k = 2 and hence q ≡ 1 mod 4. Conversely, suppose that q ≡ 1 mod 4. Then k = 2 and q -1 2 is a even number. Note that N G ( U ) ≤ N G ( C U ), and since N G ( U ) = ∼ D q -1 2 and q -1 2 is an even number, Z N ( G ( U )) = 1, so there exists z / U ∈ such that z commutes with some element x ∈ U . Thus ⟨ x, z ⟩ is nilpotent, and by part 1, z must belong to some conjugate of U . Then U g -1 ⊆ C U , for some g ∈ G -N G ( U ), which implies, by Lemma 6.1, that N G ( C U ) contains at least two cyclic groups of order q -1 2 . Hence N G ( U ) &lt; N G ( C U ). In addition, since q ≥ 13, N G ( U ) is a maximal subgroup (by [6, Table 5]), so that N G ( C U ) = G and | Orb G ( C U ) | = | G : N G ( C U ) | = 1.

̸

- (4) Similarly to the previous proof, we use the fact that N G ( S ) is maximal when q = 7 9 [6, Table 5]. ,

□

Table 1. κ (PSL(2 , q )) for q ≤ 11.

| q       |   2 |   3 |   4 |   5 |   7 |   8 |   9 |   11 |
|---------|-----|-----|-----|-----|-----|-----|-----|------|
| κ ( G ) |   4 |   5 |  21 |  21 |  37 |  73 |  47 |   79 |

̸

Theorem 6.7. Let q = 2 3 5 , , . Then

$$\kappa ( G ) = \begin{cases} q ^ { 2 } + q + 1 & \text{if $q\equiv 0\bmod 4$} \\ q + \frac { ( q - 1 ) q } { 2 } + 2 & \text{if $q\equiv 1\bmod 4$} \\ q + \frac { ( q + 1 ) q } { 2 } + 2 & \text{if $q\equiv 3\bmod 4$} \end{cases}$$

̸

Proof. If q &lt; 13, q = 2 3 5, the statement is true (by Table 1). , , If q ≥ 13, there are three cases:

̸

Case 1. If q ≡ 0 mod 4, since N G ( U ) and N G ( S ) are maximal subgroups, see [6, Table 5], follows that N G ( U ) ≤ N G ( C U ), and N G ( S ) ≤ N G ( C S ). By Theorem 6.6 (3) and (4), holds | Orb G ( C U ) | = 1 y | Orb G ( C S ) | = 1, then N G ( U ) = N G ( C U ), N G ( S ) = N G ( C S ) and

̸

$$\psi \, \psi \, \psi \, \psi \, \psi \, \psi \, \psi \, \psi \, \psi \, \psi \, \psi \, \psi \, \psi \, \psi \, \psi \, \psi \, \psi \, \psi \, \psi \, \psi \, \psi \, \psi \, \psi \, \psi \, \psi \, \psi \, \psi \, \psi \, \psi \, \psi \, \psi \, \psi \, \psi \, \psi \, \psi \, \psi \, \psi \, \psi \, \psi \, \psi \, \psi \,
| \text{Orb} _ { G } ( C _ { U } ) | & = | G \, \colon N _ { G } ( U ) | = \frac { ( q + 1 ) q } { 2 }, \\ | \text{Orb} _ { G } ( C _ { S } ) | & = | G \, \colon N _ { G } ( S ) | = \frac { ( q - 1 ) q } { 2 }.$$

On the other hand, by Theorem 6.6 (1) and (2), ∣ ∣ ∣ C ( G ) G ∣ ∣ ∣ = 3 and | Orb G ( C P ) | = q +1, implying that

$$\kappa ( G ) = | \text{Orb} _ { G } ( C _ { P } ) | + | \text{Orb} _ { G } ( C _ { U } ) | + | \text{Orb} _ { G } ( C _ { S } ) | = q ^ { 2 } + q + 1.$$

Case 2. If q ≡ 1 mod 4, then by Theorem 6.6 (3) and (4) follows

$$| \text{Orb} _ { G } ( C _ { U } ) | = | G \colon N _ { G } ( C _ { U } ) | = 1,$$

$$| O r b _ { G } ( C _ { S } ) | = | G \colon N _ { G } ( S ) | = \frac { ( q - 1 ) q } { 2 }.$$

Therefore, κ G ( ) = q +2+ ( q -1) q 2 .

Case 3. If q ≡ 3 mod 4, by the same argument, κ G ( ) = q +2+ ( q +1) q 2 . □

Proposition 6.8. The nilpotent graph of a finite non-nilpotent group, G with nilpotentizer of even order, is non-Eulerian

Proof. Let x ∈ G -Z ∗ ( G ). Then, deg( x ) = | nil G ( x ) | - | Z ∗ ( G ) | -1. Since | Z ∗ ( G ) ||| nil G ( x ) | and | Z ∗ ( G ) | is even, it follows that | nil G ( x ) | is even. Thus, deg( x ) is odd, which means the graph is non-Eulerian. □

## References

- [1] A. Abdollahi, S. Akbari, H. R. Maimani, Non-commuting graph of a group, Journal of Algebra, Volume 298, Issue 2, 2006, Pages 468-492, https://doi.org/10.1016/j.jalgebra.2006.02.015.
- [2] A. Abdollahi, and M. Zarrin. Non-Nilpotent Graph of a Group. Communications in Algebra 38, 2009: Pages 4390 - 4403.
- [3] P. Bhowal, D. Nongsiang, R. K. Nath, Solvable graphs of finite groups, Hacet. J. Math. Stat. 49, No 6, 2020, Pages 1955-1964. doi:10.15672/hujms.573766.
- [4] Derek J. S. Robinson, A Course in the Theory of Groups, Second Edition, Graduate Texts Math. 80 (Springer-Verlag, New York 1996)
- [5] Israel Grossman, Wilhelm Magnus, Groups and Their Graphs. Mathematical Association of America, 1992.
- [6] Ghaffarzadeh, M., Ghasemi, M., Lewis, M. L. et al. Nonsolvable Groups with no Prime Dividing Four Character Degrees. Algebr. Represent. Theor. 20, 547-567 (2017). https://doi.org/10.1007/s10468-016-9654-z.
- [7] Bertram Huppert. (1979) Endliche Gruppen I. Grundlehren der mathematischen Wissenschaften, Vol. 134. Springer-Verlag, Berlin, Heidelberg and New York, 1979.
- [8] Clement, Anthony; E. and Majewicz, Stephen and Zyman, Marcos. The Theory of Nilpotent Groups. Birkh¨user Cham, 1 edition, 2017. a
- [9] Das, Ashish Kumar and Deiborlang Nongsiang. On the genus of the commuting graphs of finite non-abelian groups. International Electronic Journal of Algebra, vol. 19, no. 19, 2016, pp. 91-109, doi:10.24330/ieja.266195.
- [10] A. K. Das and D. Nongsiang, On the genus of the nilpotent graphs of finite groups, Comm. Algebra 43 (12), 2015, Pages 5282-5290.
- [11] Nongsiang, D. , Saikia, P. K. On the non-nilpotent graphs of a group. International Electronic Journal of Algebra 22 (2017 ): 78-96
- [12] N. Hartsfield and G. Ringel, Pearls in Graph Theory: A Comprehensive Introduction, Academic Press, Cambridge, 1990.
- [13] Developers, T. S., Stein, W., Joyner, D., Kohel, D., Cremona, J., &amp; Er¨cal, B. (2020). o SageMath, version 9.0. Retrieved from http://www.sagemath.org
- [14] A. Lucchini, D. Nemmi. The nonF graph of a finite group. Mathematische Nachrichten. 2021; 294: 1912- 1921. https://doi.org/10.1002/mana. 202000491.
- [15] T. C. Burness, A. Lucchini, D. Nemmi. On the soluble graph of a finite group. arXiv:2111.05697, 2021.

Universidad del Norte, Departamento de Matem´ticas y Estad´ ıstica, Km 5 a via a Puerto Colombia, Barranquilla, Colombia.

Email address : atjaime@uninorte.edu.co

Universidad del Norte, Departamento de Matem´ticas y Estad´ ıstica, Km 5 a via a Puerto Colombia, Barranquilla, Colombia.

Email address :

isgutier@uninorte.edu.co

Departamento de Matem´ aticas, Universidad Aut´noma Metropolitana, Unidad o Iztapalapa, C´digo postal 09340, Ciudad de M´xico - M´xico o e e

Email address : eliasjaviergarcia@gmail.com
Jaime Torres Ismael Gutierrez E. J. Garcia-Claro
On the Nilpotent Graph of a finite Group
If G is a non-nilpotent group and nil(G) = {g \in G : <g, h> is nilpotent for
all h\in G}, the nilpotent graph of G is the graph with set of vertices
G-nil(G) in which two distinct vertices are related if they generate a
nilpotent subgroup of G. Several properties of the nilpotent graph associated
with a finite non-nilpotent group G are studied in this work. Lower bounds for
the clique number and the number of connected components of the nilpotent graph
of G are presented in terms of the size of its Fitting subgroup and the number
of its strongly self-centralizing subgroups, respectively. It is proved the
nilpotent graph of the symmetric group of degree n is disconnected if and only
if n or n-1 is a prime number, and no finite non-nilpotent group has a
self-complementary nilpotent graph. For the dihedral group Dn, it is determined
the number of connected components of its nilpotent graph is one more than n
when n is odd; or one more than the 2'-part of n when n is even. In addition, a
formula for the number of connected components of the nilpotent graph of
PSL(2,q), where q is a prime power, is provided. Finally, necessary and
sufficient conditions for specific subsets of a group, containing connected
components of its nilpotent graph, to contain one of its Sylow p-subgroups are
studied; and it is shown the nilpotent graph of a finite non-nilpotent group G
with nil(G) of even order is non-Eulerian.