Abstract
If G is a finite group, then the spectrum \(\omega (G)\) is the set of all element orders of G. The prime spectrum \(\pi (G)\) is the set of all primes belonging to \(\omega (G)\). A simple graph \(\Gamma (G)\) whose vertex set is \(\pi (G)\) and in which two distinct vertices r and s are adjacent if and only if \(rs \in \omega (G)\) is called the Gruenberg–Kegel graph or the prime graph of G. In this paper, we prove that if G is a group of even order, then the set of vertices which are non-adjacent to 2 in \(\Gamma (G)\) forms a union of cliques. Moreover, we decide when a strongly regular graph is isomorphic to the Gruenberg–Kegel graph of a finite group.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Throughout the paper we consider only finite groups and simple graphs, and henceforth the term group means finite group and the term graph means simple graph, that is, an undirected graph without loops and multiple edges.
If G is a group, then the spectrum \(\omega (G)\) is the set of all element orders of G. The prime spectrum \(\pi (G)\) is the set of all primes belonging to \(\omega (G)\). A graph \(\Gamma (G)\) whose vertex set is \(\pi (G)\) and in which two distinct vertices r and s are adjacent if and only if \(rs \in \omega (G)\) is called the Gruenberg–Kegel graph or the prime graph of G. Denote the number of connected components of \(\Gamma (G)\) by s(G), and the set of connected components of \(\Gamma (G)\) by \(\{\pi _i(G) \mid 1 \le i \le s(G) \}\); for a group G of even order, we assume that \(2 \in \pi _1(G)\). Denote by t(G) the independence number of \(\Gamma (G)\), that is, the maximal size of a coclique (i. e. induced subgraph with no edges) in \(\Gamma (G)\). If \(r\in \pi (G)\), then denote by t(r, G) the maximal size of a coclique in \(\Gamma (G)\) containing r.
Recently the question of characterization of a finite group by its Gruenberg–Kegel graph is under active investigation. A survey of recent results in this direction can be found, for example, in [5, 14]. For the question of characterization by Gruenberg–Kegel graph, the cases when the graph is connected and when the graph is disconnected are fundamentally different. If the graph is disconnected, then the Gruenberg–Kegel theorem (see Lemma 2.2 below) is a helpful tool. In the case of a connected graph, the situation is more complicated. In this case there exists a strong generalization of the Gruenberg–Kegel theorem proved by A. Vasil’ev, see Lemma 2.3 below. In this paper, we continue the investigation of the structure of Gruenberg–Kegel graphs of finite groups and prove the following theorem which generalizes Lemma 2.3.
Theorem 1
Let G be a finite group of even order such that \(t(2,G)\ge 2\). Let \(\tau \) be the set of vertices of \(\Gamma (G)\) which are not adjacent to 2. Then the following statements hold:
-
(1)
If G is non-solvable, then G has the following normal series
$$\begin{aligned} 1 \unlhd K \unlhd G_0 \unlhd G, \end{aligned}$$where K is the largest solvable normal subgroup of G, \(G_0/K \cong S\) is a finite non-abelian simple group and G/K is almost simple with socle S and either \(\tau \subseteq \pi (K) \setminus \pi (G/K)\) or \(\tau \subseteq \pi (S)\setminus (\pi (K) \cup \pi (G/G_0))\). In particular, \(t(2,G)=2\) or \(t(2,G)\le t(2,S)\).
-
(2)
\(\tau \) is a union of cliques.
Remark 1
Note that if p is an odd prime, then there exists a finite group such that the set of the vertices which are not adjacent to p in \(\Gamma (G)\), is connected and is not a clique. Indeed, let \(G=PGL_2(p^m)\), where \(m \ge 5\). Then by [4], \(\omega (G)\) consists of the divisors of the numbers from the following set \(\{p, p^m+1, p^m-1\}\). By the Bang–Zsigmondy Theorem (see Lemma 2.1 below), \(|\pi (p^m-1)|>1\) and \(|\pi (p^m+1)|>1\). Thus, the set \(\pi (p^m-1)\cup \pi (p^m+1)\) of primes which are not adjacent to p in \(\Gamma (G)\) is connected and is not a clique in \(\Gamma (G)\).
A number of recent papers are devoted to investigation of combinatorial properties of Gruenberg–Kegel graphs of finite groups. For example, Gruber et al. [10] have proved that a graph is isomorphic to the Gruenberg–Kegel graph of a solvable group if and only if its complement is 3-colorable and triangle-free. In this paper we continue such investigations.
A graph \(\Gamma \) is called k-regular if each vertex degree of \(\Gamma \) is equal to k. A strongly regular graph with parameters \((v, k, \lambda , \mu )\) is a connected k-regular graph \(\Gamma \) with v vertices such that every two adjacent vertices have \(\lambda \) common neighbours and every two non-adjacent vertices have \(\mu \) common neighbours for some integers \(\lambda \ge 0\) and \(\mu \ge 1\). Note that the four parameters \((v, k, \lambda , \mu )\) in a strongly regular graph are not independent. They must obey the following relation:
The complement of a strongly regular graph with parameters \((v, k, \lambda , \mu )\) is either a union of cliques or a strongly regular graph with parameters
The following question was asked by Jack Koolen in a private communication with the third author.
Question 1
(J. Koolen, 2016) What are strongly regular graphs which are isomorphic to Gruenberg–Kegel graphs of finite groups?
As a corollary of Theorem 1, we prove the following theorem which gives an answer to Question 1.
Theorem 2
Let \(\Gamma \) be a strongly regular graph such that \(\Gamma \) is isomorphic to the Gruenberg–Kegel graph \(\Gamma (G)\) of a finite group G. Then one of the following statements holds:
-
(1)
\(\Gamma \) is the complement to a triangle-free strongly regular graph;
-
(2)
\(\Gamma \) is a complete multipartite graph with all parts of size 2.
Remark 2
Note that the complement to a complete multipartite graph with all parts of size 2 is 2-colorable and triangle-free. Thus, by [10], each graph from Statement (2) of Theorem 2 is isomorphic to the Gruenberg–Kegel graph of a solvable group.
An important step in proof of Theorem 2 is the following theorem.
Theorem 3
Let \(\Gamma \) be a complete multipartite graph with each part of size at least 3. Then \(\Gamma \) is not isomorphic to the Gruenberg–Kegel graph of a finite group.
Note that in [13], the third author and D. Pagon have proved Theorem 3 for complete bipartite graphs, i. e. they have proved that a complete bipartite graph \(K_{n,m}\) is isomorphic to the Gruenberg–Kegel graph of a finite group if and only if \(m+n \le 6\) and \((n,m)\not = (3,3)\).
2 Preliminaries
Let n be an integer, \(\pi \) be a set of primes and G be a group. Denote by \(\pi (n)\) the set of all prime divisors of n. Note that with respect to this notation, \(\pi (G)=\pi (|G|)\). The largest divisor m of n such that \(\pi (m)\subseteq \pi \) is called the \(\pi \)-part of n and is denoted by \(n_\pi \). By \(\pi '\) we denote the set of primes which do not belong to \(\pi \). If \(\pi \) consists of a unique element p, then we will write \(n_p\) and \(n_{p'}\) instead of \(n_{\{p\}}\) and \(n_{\{p\}'}\), respectively. G is called a \(\pi \)-group if \(\pi (G) \subseteq \pi \). A subgroup H of G is called a \(\pi \)-Hall subgroup if \(\pi (H)\subseteq \pi \) and \(\pi (|G:H|)\subseteq \pi '\).
We will denote by S(G) the solvable radical of G (the largest solvable normal subgroup of G), by F(G) the Fitting subgroup of G (the largest nilpotent normal subgroup of G), and by Soc(G) the socle of G (the subgroup of G generated by the set of all non-trivial minimal normal subgroups of G), by \(O_\pi (G)\) the largest normal \(\pi \)-subgroup of G, and if \(\pi =\{p\}\), then we write \(O_p(G)\) instead of \(O_{\{p\}}(G)\).
If n is an integer and r is an odd prime with \((r, n) = 1\), then e(r, n) denotes the multiplicative order of n modulo r. Given an odd integer n, we put \(e(2, n) = 1\) if \(n\equiv 1\pmod {4}\), and \(e(2,n)=2\) otherwise.
The following lemma is proved in [3], and also in [22].
Lemma 2.1
(Bang–Zsigmondy) Let q be an integer greater than 1. For every positive integer m there exists a prime r with \(e(r,q)=m\) except in the cases \(q=2\) and \(m=1\), \(q=3\) and \(m=1\), and \(q=2\) and \(m=6\).
Fix an integer a with \(|a|>1\). A prime r is said to be a primitive prime divisor of \(a^i-1\) if \(e(r,a)=i\). We write \(r_i(a)\) (or just \(r_i\) if a has been fixed) to denote some primitive prime divisor of \(a^i-1\) if such a prime exists, and \(R_i(a)\) to denote the set of all such divisors.
Let m be a positive integer. Following [19], define
A group G is called a Frobenius group if there is a subgroup H of G such that \(H \cap H^g=1\) whenever \(g \in G\setminus H\). Let
be the Frobenius kernel of G. It is well-known (see, for example, [2, 35.24 and 35.25]) that \(K \trianglelefteq G\), \(G=K \rtimes H\), \(C_G(h)\le H\) for each \(h \in H\), and \(C_G(k)\le K\) for each \(k \in K\). Moreover, by the Thompson theorem on finite groups with fixed-point-free automorphisms of prime order [16, Theorem 1], K is nilpotent.
A 2-Frobenius group is a group G which contains a normal Frobenius subgroup R with Frobenius kernel A such that G/A is a Frobenius group with Frobenius kernel R/A.
Lemma 2.2
(Gruenberg–Kegel Theorem, [21, Theorem A]) If G is a group with disconnected Gruenberg–Kegel graph, then one of the following statements holds:
-
(1)
G is a Frobenius group;
-
(2)
G is a 2-Frobenius group;
-
(3)
G is an extension of a nilpotent \(\pi _1(G)\)-group by a group A, where \(S \unlhd A\le {\text {Aut}}(S)\), S is a non-abelian simple group with \(s(G)\le s(S)\), and A/S is a \(\pi _1(G)\)-group.
Lemma 2.3
([17]) Let G be a non-solvable group with \(t(2,G)\ge 2\). Then the following statements hold.
-
(1)
There exists a non-abelian simple group S such that \(S \unlhd \overline{G} = G/K \le {\text {Aut}}(S)\), where K is the solvable radical of G.
-
(2)
For every coclique \(\rho \) of \(\Gamma (G)\) of size at least three, at most one prime in \(\rho \) divides the product \(|K|\cdot |\overline{G}/S|\). In particular, \(t(S)\ge t(G)-1\).
-
(3)
One of the following two conditions holds: (3.1) \(S\cong Alt_7\) or \(L_2(q)\) for some odd q, and \(t(S)=t(2,S)=3\). (3.2) Every prime \(p\in \pi (G)\) non-adjacent to 2 in \(\Gamma (G)\) does not divide the product \(|K|\cdot |\overline{G}/S|\). In particular, \(t(2,S)\ge t(2,G)\).
The following assertion is easy to prove, and can be found, for example, in [12, Theorem 1].
Lemma 2.4
Let G be a group with \({t(G) \ge 3}\). Then G is non-solvable.
Lemma 2.5
Let A and B be normal subgroups of a group G such that \(A\le B\). If \(r, s \in \pi (B/A)\setminus (\pi (A) \cup \pi (G/B))\), then r and s are adjacent in \(\Gamma (G)\) if and only if r and s are adjacent in \(\Gamma (B/A)\).
Proof
The proof of this lemma is elementary.
A subgroup H is pronormal in a group G if the subgroups H and \(H^g\) are conjugate in the subgroup \(\langle H, H^g \rangle \) for each \(g \in G\).
Lemma 2.6
([11, Lemma 4]) Let \(H \le A\) and \(A \unlhd G\). The following statements are equivalent:
-
(1)
H is pronormal in G;
-
(2)
H is pronormal in A and \(G=AN_G(H)\).
Lemma 2.7
([15, Lemma 1]) Let N be an elementary abelian normal subgroup of a group G and \(H = G/N\). Define a homomorphism \(\phi : H\rightarrow {\text {Aut}}(N)\) as follows \(n^{\phi (gN)}=n^g\). Then \(\Gamma (G)=\Gamma (N\rtimes _{\phi }H)\).
Let \(\Gamma \) be a graph, \(V(\Gamma )\) be the vertex set of \(\Gamma \), and \(u \in V(\Gamma )\). Denote by N(u) the set of all vertices which are adjacent to u in \(\Gamma \), and by \(N_2(u)\) the set of vertices which are at distance 2 from u in \(\Gamma \). It is well-known that each strongly regular graph has diameter 2. Thus, if \(\Gamma \) is strongly regular, then for each \(u \in V(\Gamma )\),
Lemma 2.8
([7, Lemma 3.1]) Let \(\Gamma \) be a strongly regular graph. If there exists \(u \in V(\Gamma )\) such that \(N_2(u)\) is disconnected, then \(\Gamma \) is a complete multipartite graph with parts of the same size.
3 Vertices which are non-adjacent to 2 in the Gruenberg–Kegel graph of a finite group
The aim of this section is to prove Theorem 1. We do this via the following series of assertions.
The following two propositions can be proved by following the arguments in [17] and [18]. Here we provide proofs that are case-free.
Proposition 3.1
Let G be a group and K be a solvable normal subgroup of G such that \(G/K \cong S\) is non-abelian simple. Then in \(\Gamma (G)\), 2 is adjacent to each odd prime from \(\pi (K)\) or 2 is adjacent to each odd prime from \(\pi (S)\).
Proof
Let G be a minimal counterexample and let \(\tau \) be the set of odd vertices, which are non-adjacent to 2 in \(\Gamma (G)\).
Assume that \(r \in \tau \cap \pi (K)\) and \(\tau \cap \pi (S) \not = \varnothing \). Let H be a \(\{2,r\}\)-Hall subgroup of K. Take any \(g \in G\). Then \(H^g \le K\) and the subgroup \(\langle H, H^g \rangle \le K\) is solvable, therefore by the Hall theorem, H and \(H^g\) are conjugate in \(\langle H, H^g \rangle \). Thus, H is pronormal in G and by Lemma 2.6, \(G=KN_G(H)\). We have \(G/K\cong N_G(H)/N_K(H)\), therefore \(\pi (S) \cup \{2,r\} \subseteq \pi (N_G(H))\) and \(\Gamma (N_G(H))\) is a subgraph of \(\Gamma (G)\). Thus, \(N_G(H)\) is a counterexample to the statement of the proposition, therefore \(N_G(H)=G\) by minimality of G.
We now show that |H| is even. If |H| is odd, then each Sylow 2-subgroup of G is isomorphic to a Sylow 2-subgroup of G/K, therefore by the Glauberman \(Z^*\)-theorem [8], G has a subgroup isomorphic to the Klein 4-group, therefore by [9, Theorem 10.3.1], a Sylow 2-subgroup of G can not act fixed-point-freely on any group of odd order; a contradiction. Now by Lemma 2.2, we have that H is either a Frobenius group or a 2-Frobenius group and \(\pi (H)=\{2, r\}\).
Suppose that H is a Frobenius group with Frobenius kernel A, which is a 2-group and Frobenius complement of odd order. Then G/A is also a counterexample to the proposition and \(|G/A|<|G|\), contradicting to the minimality of G.
Suppose that H is a 2-Frobenius group, where R is a normal subgroup of K, with the property that R is a Frobenius group with Frobenius kernel A. Then G/A is also a counterexample to the proposition and \(|G/A|<|G|\), contradicting to the minimality of G.
Thus, by minimality of G, H is a Frobenius group with Frobenius kernel \(F=F(H)\) such that \(\pi (F)=\{r\}\) and Frobenius complement D such that \(\pi (D)=\{2\}\). Also by minimality of G we can assume that F is an elementary abelian r-group, therefore by Lemma 2.7, we can assume that \(G=F \rtimes C\), where \(C \cong G/F\) and in \(\Gamma (C)\), 2 is adjacent to each odd prime in \(\pi (S(C))\). Moreover, \(H/F\cong O_2(C)\) and \(|S(C)/O_2(C)|\) is odd.
Let Q be a Sylow 2-subgroup of C. Since Q acts on F fixed-point-freely by [9, Theorem 10.3.1], we have Q is either cyclic or generalized quaternion. In any case, Q has a unique involution i which is contained in each normal subgroup of Q, in particular, i is contained in Z(Q) and in \(S(C)\cap Q=O_2(C)\). Thus, i is contained in the center of each conjugate of Q. Consider a subgroup \(W=\langle Q^c\mid c \in C\rangle \) of C which is normal in C and such that |C : W| is odd. Then by the Feit-Thompson theorem, C/W is solvable. Thus, W contains a unique non-abelian composition factor of C and therefore \(\pi (S)\subseteq \pi (W)\). But i is contained in Z(W), therefore, 2 is adjacent to each odd prime from \(\pi (W)\) in \(\Gamma (W)\) and so, 2 is adjacent to each odd prime from \(\pi (S)\) in \(\Gamma (G)\), contradicting the assumption that G is a counterexample to the statement of the proposition. \(\Box \)
Proposition 3.2
Let G be a non-solvable group and \(\tau \) be the set of vertices which are not adjacent to 2 in \(\Gamma (G)\). If \(|\tau |\ge 1\), then G has the following normal series
where \(K=S(G)\) is the solvable radical of G, \(G_0/K \cong S\) is a non-abelian simple group and G/K is almost simple with socle S such that either \(\tau \subseteq \pi (K) \setminus \pi (G/K)\) or \(\tau \subseteq \pi (S)\setminus (\pi (K) \cup \pi (G/G_0))\).
Proof
By Lemma 2.3, if G is non-solvable and \(|\tau |\ge 1\), then G has the following normal series
where K is the solvable radical of G, \(G_0/K \cong S\) is a non-abelian simple group and G/K is almost simple with socle S.
Let \(t \in \tau \). It is clear that \(\Gamma (G/K)\) is a subgraph of \(\Gamma (G)\), therefore by [17, Lemma 1.2], we have \({\tau \cap \pi (G/G_0) = \varnothing }\), and therefore we have
By Proposition 3.1, we have \(\tau \cap \pi (K) = \varnothing \) or \(\tau \cap \pi (S)=\varnothing \). Thus, either \(\tau \subseteq \pi (K)\setminus \pi (G/K)\) or \(\tau \subseteq \pi (S)\setminus (\pi (K) \cup \pi (G/G_0))\). \(\Box \)
Lemma 3.1
Let G be a non-abelian simple group and \(\tau \) be the set of vertices which are not adjacent to 2 in \(\Gamma (G)\). If \(\tau \not = \varnothing \), then \(\tau \) is a union of cliques.
Proof
Proof of the lemma for sporadic simple groups follows directly from [6].
Assume that \(G=Alt_n\) for \(n \ge 5\) and p is non-adjacent to 2 in \(\Gamma (G)\). Then \(p+4 > n\) and therefore \(n \ge p > n-4\). Note that between the numbers n, \(n-1\), \(n-2\) and \(n-3\) there are at most 2 odd primes. Thus, if \(\tau \not = \varnothing \), then \(\tau \) consists either from an only prime or from exactly two primes and is a union of cliques in any case.
Let G be a group of Lie type. Consider the possibilities for G case by case.
If \(G=A_n(q)\), then the statement of lemma follows directly from the adjacency criterion for \(\Gamma (G)\), which can be found in [19, Propositions 2.1, 3.1, and 4.1].
If \(G={^2}A_n(q)\), then the statement of lemma follows directly from the adjacency criterion for \(\Gamma (G)\), which can be found in [19, Propositions 2.2, 3.1, and 4.2].
If \(G=B_n(q)\) or \(G=C_n(q)\), then the statement of lemma follows directly from the adjacency criterion for \(\Gamma (G)\), which can be found in [19, Propositions 3.1 and 4.3] and [20, Proposition 2.4].
If \(G=D_n(q)\) or \(G={^2}D_n(q)\), then the statement of lemma follows directly from the adjacency criterion for \(\Gamma (G)\), which can be found in [19, Propositions 3.1 and 4.4] and [20, Proposition 2.5].
If G is isomorphic to one of the groups \(E_8(q)\), \(E_7(q)\), \(E_6(q)\), \({^2}E_6(q)\), \(F_4(q)\), \({^3}D_4(q)\), \(G_2(q)\), then the statement of lemma follows directly from the adjacency criterion for \(\Gamma (G)\), which can be found in [19, Propositions 3.2 and 4.5] and [20, Proposition 2.7].
If G is isomorphic to one of the groups \({^2}F_4{(q)'}\), \({^2}G_2(q)\), \(^{2}B_2(q)\), then the statement of lemma follows directly from the adjacency criterion for \(\Gamma (G)\), which can be found in [19, Propositions 3.3 and 4.5] and [20, Proposition 2.9]. \(\Box \)
Proposition 3.3
Let G be a group of even order and \(\tau \) be the set of vertices which are not adjacent to 2 in \(\Gamma (G)\). If \(\tau \not = \varnothing \), then \(\tau \) is a union of cliques.
Proof
Assume that H is solvable. Let \(\tau _1=\tau \cup \{2\}\) and H be a \(\tau _1\)-Hall subgroup of G. Then by the Hall theorem, primes p and q from \(\tau _1\) are adjacent in \(\Gamma (G)\) if and only if they are adjacent in \(\Gamma (H)\). Note that H is solvable and 2 is an isolated vertex in \(\Gamma (H)\). Now if \(\tau \) does not form a clique in \(\Gamma (H)\), then Lemma 2.4 gives a contradiction with solvability of H.
Thus, we can assume that G is non-solvable and \(\tau \not = \varnothing \). By Lemma 2.3,
where K is solvable and S in a non-abelian simple group. By Proposition 3.2, either \(\tau \subseteq \pi (K) \setminus \pi (G/K)\) or \(\tau \subseteq \pi (S)\setminus (\pi (K) \cup \pi (\overline{G}/S))\).
Let \(\tau \subseteq \pi (K)\). Consider a Sylow 2-subgroup Q of G and let \(H=KQ\). It is clear that H is solvable and \(\Gamma (H)\) is a subgraph in \(\Gamma (G)\). From above, \(\tau \) forms a clique in \(\Gamma (H)\), therefore \(\tau \) is a clique in \(\Gamma (G)\).
Let \(\tau \subseteq \pi (S)\setminus (\pi (K) \cup \pi (\overline{G}/S))\). By Lemma 2.5, the primes \(p, q\in \tau \) are non-adjacent in \(\Gamma (G)\) if and only if they are non-adjacent in \(\Gamma (S)\). Moreover, \(\tau \) is a subset of the set \(\sigma \) of odd vertices which are non-adjacent to 2 in \(\Gamma (S)\). By Lemma 3.1, \(\sigma \) is a union of cliques. Thus, \(\tau \) is an induced subgraph of a union of cliques, therefore, \(\tau \) is also a union of cliques. \(\Box \)
Theorem 1 follows directly from Propositions 3.2 and 3.3. \(\Box \)
4 Strongly regular graphs which are isomorphic to Gruenberg–Kegel graphs of finite groups
The aim of this section is to prove Theorems 2 and 3.
Proof of Theorem 2
Let \(\Gamma \) be a strongly regular graph and suppose that there exists a group G such that \(\Gamma \) is isomorphic to \(\Gamma (G)\). If |G| is odd, then by the Feit–Thompson theorem, G is solvable. Thus, by Lemma 2.4 the complement of \(\Gamma \) is either a triangle-free strongly regular graph or a union of cliques of size 2. So, we can assume that |G| is even. Then by Theorem 1, \(N_2(2)\) is a union of cliques.
Assume that \(N_2(2)\) is a clique. Then from strong regularity of \(\Gamma \), it follows that \(N_2(v)\) is a clique for each vertex v of \(\Gamma \). Thus, in the complement of \(\Gamma \) any two adjacent vertices do not have a common neighbour. Therefore, again \(\Gamma \) is a complete multipartite graph with parts of size 2 or the complement of \(\Gamma \) is a triangle-free strongly regular graph.
Assume that \(N_2(2)\) is a union of more than one cliques. Then by Lemma 2.8, \(\Gamma \) is a complete multipartite graph with parts of the same size t.
Now to complete proof of Theorem 2 it is sufficient to prove Theorem 3. \(\square \)
Proof of Theorem 3
Let \(\Gamma \) be a complete multipartite graph with each part of size at least 3. Assume that \(\Gamma \) is isomorphic to \(\Gamma (G)\), where G is a group. Then \(t(G) \ge 3\) and therefore by Lemma 2.4, G is non-solvable. By the Feit–Thompson theorem, |G| is even.
Let \(\sigma \) be a part of \(\Gamma (G)\) which contains 2, and then \(\tau =\sigma \setminus \{2\}\) is exactly the set of the vertices which are not adjacent to 2 in \(\Gamma \). By Theorem 1, G has the following normal series
where K is solvable, \(G_0/K \cong S\) is a non-abelian simple group and G/K is almost simple with socle S and \(\tau \subseteq \pi (S)\setminus (\pi (K) \cup \pi (G/G_0))\). In particular, by Lemma 2.5, \(\sigma \) forms in \(\Gamma (S)\) a coclique containing the vertex 2 and \(t(2,S) \ge t(2,G)=|\sigma |\ge 3\).
Let \(\mu \not =\sigma \) be another part of \(\Gamma \). Since \(\mu \) is a coclique, by Statement (2) of Lemma 2.3, there are at least two primes x and y with
Therefore x and y are non-adjacent in \(\Gamma (G)\) and by Lemma 2.5, each vertex from \(\{x, y\}\) is adjacent in \(\Gamma (S)\) to each vertex from \(\tau \).
Assume that \(\Gamma (S)\) is disconnected. Let \(i>1\) and \(u \in \tau \cap \pi _i(S)\). If x is adjacent to u and y is adjacent to u in \(\Gamma (S)\), we have \(\{x,y\} \subseteq \pi _i(S)\) and therefore x and y are adjacent, a contradiction. Thus, \(\tau \cap \pi _i(S) = \varnothing \) for each \(i>1\). Similarly, \(\{x,y\} \cap \pi _i(S) = \varnothing \) for each \(i>1\).
By [6], S is not a sporadic simple group, and it is clear that S is not an alternating simple group. Thus, S is a simple group of Lie type. From [1, Tables 1–3], [19, Propositions 2.1, 2.2, 3.1, 3.2, 3.3, 4.1, 4.2, 4.3, 4.4, and 4.5], [20, Proposition 2.4, 2.5, 2.7, and 2.9] and [19, Tables 2–7], taking into account corrections from [20, Appendix], we conclude that one of the following statements holds:
-
(1)
\(S \cong A_1(q)\), or q is even and \(S \cong A_2(q)\) or \({^2}A_2(q)\) with some extra conditions on q;
-
(2)
\(S\cong A_{n-1}(q)\), \(n>3\), q is even, \((n,q)\not =(6,2), (7,2)\), and \(\tau = \{r_{n-1},r_n\}\);
-
(3)
\(S\cong {^2}A_{n-1}(q)\), \(n>3\), q is even, and one of the following statements holds:
-
(3i)
\(n \equiv 0 \pmod {4}\), \((n,q)\not = (4,2)\), and \(\tau =\{r_{2n-2}, r_n\}\);
-
(3ii)
\(n \equiv 1 \pmod {4}\), and \(\tau =\{r_{n-1}, r_{2n}\}\);
-
(3iii)
\(n \equiv 2 \pmod {4}\), and \(\tau =\{r_{2n-2}, r_{n/2}\}\);
-
(3iv)
\(n \equiv 3 \pmod {4}\), and \(\tau =\{r_{(n-1)/2}, r_{2n}\}\);
-
(3i)
-
(4)
\(S\cong B_n(q)\) or \(C_n(q)\), \(n>1\) is odd, q is even, \((n,q)\not = (3,2)\), and \(\tau =\{r_n, r_{2n}\}\);
-
(5)
\(S\cong D_n(q)\), \(n\ge 4\), q is even, \((n,q)\not = (4,2)\), and one of the following statements holds:
-
(5i)
\(n \equiv 0 \pmod {2}\) and \(\tau =\{r_{n-1}, r_{2n-2}\}\);
-
(5ii)
\(n \equiv 1 \pmod {2}\), and \(\tau =\{r_n, r_{2n-2}\}\);
-
(5i)
-
(6)
\(S\cong {^2}D_n(q)\), \(n\ge 4\), q is even, \((n,q)\not = (4,2)\), and one of the following statements holds:
-
(6i)
\(n \equiv 0 \pmod {2}\) and \(\tau \subseteq \{r_{n-1}, r_{2n-2}, r_{2n}\}\);
-
(6ii)
\(n \equiv 1 \pmod {2}\), and \(\tau =\{ r_{2n-2}, r_{2n}\}\);
-
(6i)
-
(7)
\(S\cong E_7(q)\), q is even, and \(\tau \subseteq \{r_7, r_9, r_{14}, r_{18}\}\);
-
(8)
\(S\cong E_7(q)\), q is odd, and one of the following statements holds:
-
(8i)
\(q \equiv 1 \pmod {4}\) and \(\tau =\{r_{14}, r_{18}\}\);
-
(8ii)
\(q \equiv 3 \pmod {4}\), and \(\tau =\{r_7, r_9\}\);
-
(8i)
-
(9)
\(S\cong A_{n-1}(q)\), \(n>3\), q is odd, \(n_2=(q-1)_2>2\), and \(\tau = \{r_{n-1},r_n\}\);
-
(10)
\(S\cong {^2}A_{n-1}(q)\), \(n>3\), q is odd, \(n_2=(q+1)_2>2\), and \(\tau = \{r_{2n-2},r_n\}\);
-
(11)
\(S\cong D_n(q)\), \(n>4\) is odd, \(q \equiv 5 \pmod {8}\), and \(\tau = \{r_n,r_{2n-2}\}\);
-
(12)
\(S\cong {^2}D_n(q)\), \(n>4\) is odd, \(q \equiv 3 \pmod {8}\), and \(\tau = \{r_{2n-2},r_{2n}\}\).
Assume that Statement (1) holds. If \(S\cong A_1(q)\), then by [19, Propositions 2.1, 3.1, and 4.1], \(\Gamma (S)\) is a union of 3 cliques. In particular, \(\Gamma (S)\) does not contain induced 4-cycles, a contradiction. If q is even and \(S \cong A_2(q)\) or \(^2A_2(q)\), then the picture of a compact form of \(\Gamma (S)\) can be found on Pic. 7 in [20]. It is clear that \(\Gamma (S)\) does not contain an induced 4-cycle with two non-adjacent vertices both non-adjacent to 2, a contradiction.
Further let p be the characteristic of the field over which S is defined, \(x \in \pi (S)\) with x adjacent to each element from \(\tau \), and if \(x\not = p\), then put \(k=e(x,q)\).
Assume that Statement (2) or Statement (9) holds. If p is odd, then since x is adjacent both to \(r_n\) and \(r_{n-1}\) by [19, Proposition 3.1], we have \(x\not = p\). Assume that \(k>1\). Since x is adjacent to \(r_n\), it follows from [19, Proposition 2.1] that k divides n. On the other hand, x is adjacent to \(r_{n-1}\), therefore k divides \(n-1\) which is coprime to n, a contradiction. Thus, \(k=1\). Since x was chosen arbitrarily, each two elements adjacent to both to \(r_n\) and \(r_{n-1}\) are forced to be adjacent in \(\Gamma (S)\), a contradiction.
Assume that Statement (3) or Statement (10) holds. If p is odd, then since x is adjacent both to \(r_n\) (with \(\nu (n)=n\)) and to \(r_{2n-2}\) (with \(\nu (2n-2)=n-1\)) by [19, Proposition 3.1], \(x\not = p\). Using [19, Proposition 3.1] if \(p=2\) and [19, Proposition 4.2] if p is odd, we conclude that \(\tau \) consists of two primes \(\{a, b\}\) with \(\nu (e(a,q))=n\), \(\nu (e(b,q))=n-1\). Let \(\nu (k)>1\), i. e. \(k \not =2\). Since x is adjacent to a, it follows from [19, Proposition 2.2] that \(\nu (k)\) divides n. On the other hand, x is adjacent to b, therefore \(\nu (k)\) divides \(n-1\) which is coprime to n, a contradiction. Thus, \(k=2\). Since x was chosen arbitrarily, each two elements adjacent to both to a and b are forced to be adjacent in \(\Gamma (S)\), a contradiction.
Assume that Statement (4) holds. Note that \(k \le 2n\) and \(\eta (k)\le n\). Thus, by [20, Proposition 2.4], if x is adjacent both to \(r_n\) and to \(r_{2n}\), then n/k and 2n/k are both odd integers, a contradiction.
Assume that Statement (5) holds. Up to the end of this paragraph, we refer to [20, Proposition 2.5]. If n is odd, then x is adjacent to \(r_n\) (with \(\eta (n)=n\)) and to \(r_{2n-2}\) (with \(\eta (2n-2)=n-1\)). Since x is adjacent to \(r_n\), we have that n/k is an odd integer or k/n is an odd integer, therefore k is odd. Since x is adjacent to \(r_{2n-2}\), we have
therefore again \((2n-2)/k\) is an odd integer or \(k/(2n-2)\) is an odd integer, a contradiction. If n is even, then x is adjacent to \(r_{n-1}\) and to \(r_{2n-2}\). We have
Moreover, if k is odd, then
therefore \((2n-2)/k\) is an odd integer, a contradiction. If k is even, then
therefore \((n-1)/k\) is an odd integer or \(k/(n-1)\) is an odd integer, a contradiction.
Assume that Statement (11) holds. Since n is odd and x is adjacent to \(r_n\) (with \(\eta (n)=n\)) and to \(r_{2n-2}\) (with \(\eta (2n-2)=n-1\)), by [19, Proposition 3.1], \(x\not = p\). Then by [20, Proposition 2.5], n/k is an odd integer or k/n is an odd integer, therefore k is odd. Then
therefore \((2n-2)/k\) is an odd integer or \(k/(2n-2)\) is an odd integer, a contradiction.
Assume that Statement (6) holds. Up to the end of this paragraph, we again refer to [20, Proposition 2.5]. If \(n>4\) is odd, then x adjacent to \(r_{2n}\) (with \(\eta (2n)=n\)) and to \(r_{2n-2}\) (with \(\eta (2n-2)=n-1\)). Since x adjacent to \(r_{2n}\), we have 2n/k is an odd integer or k/2n is an odd integer, therefore k is even. Since x adjacent to \(r_{2n-2}\), we have
therefore again \((2n-2)/k\) is an odd integer or \(k/(2n-2)\) is an odd integer, a contradiction. If \(n \ge 4\) is even, then x is adjacent to at least two primes from the set \(\{r_{n-1}, r_{2n-2}, r_{2n}\}\). Let \(\eta (k)>1\), i. e. \(k \not \in \{1,2\}.\) Similarly as in Statement (5) we prove that r can not be adjacent to both \(r_{n-1}\) and \(r_{2n-2}\). Thus, x is adjacent to \(r_{2n}\). This implies that 2n/k or k/2n is an odd integer and therefore k is even. If x is adjacent to \(r_{2n-2}\), then
and so, \((2n-2)/k\) is an odd integer or \(k/(2n-2)\) is an odd integer, a contradiction. If x is adjacent to \(r_{n-1}\), then
and so, \((n-1)/k\) is an odd integer or \(k/(n-1)\) is an odd integer, a contradiction. Thus, \(\eta (k)=1\). Since x was chosen arbitrarily, every two distinct vertices adjacent to at least two primes from the set \(\{r_{n-1}, r_{2n-2}, r_{2n}\}\) are forced to be adjacent in \(\Gamma (S)\), a contradiction.
Assume that Statement (12) holds. Since n is odd and x is adjacent to \(r_{2n}\) (with \(\eta (n)=n\)) and to \(r_{2n-2}\) (with \(\eta (2n-2)=n-1\)), by [19, Proposition 3.1], \(x\not = p\). Then by [20, Proposition 2.5], 2n/k is an odd integer or k/2n is an odd integer, therefore k is even. Then
therefore \((2n-2)/k\) is an odd integer or \(k/(2n-2)\) is an odd integer, a contradiction.
Assume that Statement (7) or Statement (8) holds. The picture of a compact form of \(\Gamma (S)\) can be found on Pic. 4 in [20]. It is clear that if q is even, then there are no two non-adjacent vertices in \(\Gamma (S)\) that are adjacent to at least two vertices from the set \(\{r_7, r_9, r_{14}, r_{18}\}\), a contradiction. If q is odd, then any two vertices that are adjacent both to \(r_7\) and to \(r_9\) or both to \(r_{14}\) and to \(r_{18}\), are adjacent; a contradiction.
The proof of Theorem 3 is complete. \(\Box \)
The proof of Theorem 2 is also complete. \(\Box \)
References
Alekseeva, O.A., Kondrat’ev, A.S.: On recognizability of some finite simple orthogonal groups by spectrum. Proc. Steklov Inst. Math. 266(Suppl. 1), 10–23 (2009)
Aschbacher, M.: Finite Group Theory. Cambridge University Press, Cambridge (1986)
Bang, A.S.: Taltheoretiske Undersøgelser. Tidsskrift Math. 4, 70–80 (1886)
Buturlakin, A.A.: Spectra of finite linear and unitary groups. Algebra Logic 47(2), 91–99 (2008)
Cameron, P.J., Maslova, N.V.: Criterion of unrecognizability of a finite group by its Gruenberg-Kegel graph. J. Algebra 607, 186–213 (2022)
Conway, J.H., et al.: Atlas of Finite Groups. Clarendon Press, Oxford (1985)
Gardiner, A.D., Godsil, C.D., Hensel, A.D., Royle, G.F.: Second neighbourhoods of strongly regular graphs. Discrete Math. 103, 161–170 (1992)
Glauberman, G.: Central elements in core-free groups. J. Algebra 4, 403–420 (1966)
Gorenstein, D.: Finite Groups, 2nd edn. Chelsea Publishing Company, New York (1980)
Gruber, A., et al.: A characterization of the prime graphs of solvable groups. J. Algebra 442, 397–422 (2015)
Guo, W., Maslova, N.V., Revin, D.O.: On the pronormality of subgroups of odd index in some extensions of finite groups. Sib. Math. J. 59, 610–622 (2018)
Lucido, M.C.: The diameter of the prime graph of finite groups. J. Group Theory 2(2), 157–172 (1999)
Maslova, N.V., Pagon, D.: On the realizability of a graph as the Gruenberg-Kegel graph of a finite group. Sib. Electron. Math. Rep. 13, 89–100 (2016)
Maslova, N.V., Panshin, V.V., Staroletov, A.M.: On characterization by Gruenberg-Kegel graph of finite simple exceptional groups of Lie type. Eur. J. Math. 9, 78 (2023)
Staroletov, A.M.: On recognition of alternating groups by prime graph. Sib. Electron. Math. Rep. 14, 994–1010 (2017)
Thompson, J.: Finite groups with fixed-point-free automorphisms of prime order. Proc. Natl. Acad. Sci. U.S.A. 45(4), 578–581 (1959)
Vasil’ev, A.V.: On connection between the structure of finite group and properties of its prime graph. Sib. Math. J. 46(3), 396–404 (2005)
Vasil’ev, A.V., Gorshkov, I.B.: On recognition of finite simple groups with connected prime graph. Sib. Math. J. 50(2), 233–238 (2009)
Vasil’ev, A.V., Vdovin, E.P.: An adjacency criterion for the prime graph of a finite simple group. Algebra Logic 44(6), 381–406 (2005)
Vasil’ev, A.V., Vdovin, E.P.: Cocliques of maximal size in the prime graph of a finite simple group. Algebra Logic 50(4), 291–322 (2011)
Williams, J.S.: Prime graph components of finite groups. J. Algebra 69, 487–513 (1981)
Zsigmondy, K.: Zur Theorie der Potenzreste. Monatsh. Math. Phys. 3, 265–284 (1892)
Acknowledgements
The authors of this paper contributed equally to this work. The authors are ordered with respect to alphabet ordering in English. The work was supported by Russian Science Foundation (project no. 24-41-10004, https://rscf.ru/en/project/24-41-10004/, for example, Theorem 1), by the Ministry of Science and Higher Education of the Russian Federation, project no. 075-02-2024-1428 for the development of the regional scientific and educational mathematical center ”Ural Mathematical Center” (for example, Theorem 2), the National Natural Science Foundation of China (project no. 12101166) and the Hainan Provincial Natural Science Foundation of China (project no. 123MS005). The authors are very thankful to Dr. Alexey Staroletov, Prof. Anotoly Kondrat’ev, and anonymous reviewers for their helpful comments which improved this text.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by John S. Wilson.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Chen, M., Gorshkov, I., Maslova, N.V. et al. On combinatorial properties of Gruenberg–Kegel graphs of finite groups. Monatsh Math (2024). https://doi.org/10.1007/s00605-024-02005-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00605-024-02005-6
Keywords
- Finite group
- Centralizer of involution
- Gruenberg–Kegel graph (prime graph)
- Strongly regular graph
- Complete multipartite graph