Recognition of the Sporadic Simple Groups $Ru,\ HN,\ Fi_{22},\ He,\ M^cL$, and $Co_3$ by Their Gruenberg–Kegel Graphs

A. S. Kondrat'ev

Trudy Instituta matematiki i mehaniki, Trudy Instituta Matematiki i Mekhaniki UrO RAN, Tome 25 (2019) no. 4, pp. 79-87

Résumé

The Gruenberg–Kegel graph (prime graph) $\Gamma(G)$ of a finite group $G$ is a graph in which the vertices are the prime divisors of the order of $G$ and two distinct vertices $p$ and $q$ are adjacent if and only if $G$ contains an element of order $pq$. The problem of recognition of finite groups by their Gruenberg–Kegel graph is of great interest in finite group theory. For a finite group $G$, $h_{\Gamma}(G)$ denotes the number of all pairwise nonisomorphic finite groups $H$ such that $\Gamma(H)=\Gamma(G)$ (if the set of such groups $H$ is infinite, then $h_{\Gamma}(G)=\infty$). A group $G$ is called $n$-recognizable by its Gruenberg–Kegel graph if $h_{\Gamma}(G)=n\infty$, recognizable by its Gruenberg–Kegel graph if $h_{\Gamma}(G)=1$, and unrecognizable by its Gruenberg–Kegel graph if $h_{\Gamma}(G)=\infty$. We say that the problem of recognition by the Gruenberg–Kegel graph is solved for a finite group $G$ if the value $h_{\Gamma}(G)$ is found. For a finite group $G$ unrecognizable by its Gruenberg–Kegel graph, the question of the (normal) structure of finite groups having the same Gruenberg–Kegel graph as $G$ is also of interest. In 2003, M. Hagie investigated the structure of finite groups having the same Gruenberg–Kegel graph as some sporadic simple groups. In particular, she gave first examples of finite groups recognizable by their Gruenberg–Kegel graphs; they were the sporadic simple groups $J_1$, $M_{22}$, $M_{23}$, $M_{24}$, and $Co_2$. However, that investigation was not completed. In 2006, A.V. Zavarnitsine established that the group $J_4$ is recognizable by its Gruenberg–Kegel graph. The unrecognizability of the sporadic groups $M_{12}$ and $J_2$ by their Gruenberg–Kegel graph was known previously; it follows from the unrecognizability of these groups by their spectrum. In the present paper, we continue Hagie's study and use her results. For any sporadic simple group $S$ isomorphic to $Ru$, $HN$, $Fi_{22}$, $He$, $M^cL$, or $Co_3$, we find all finite groups having the same Gruenberg–Kegel graph as $S$. Thus, for these six groups, we complete Hagie's investigation and, in particular, solve the problem of recognizability by the Gruenberg–Kegel graph.

Détail

Keywords: finite group, spectrum, Gruenberg–Kegel graph, recognition by the Gruenberg–Kegel graph.
Mots-clés : simple group, sporadic group

Bibliographie

[1] Alekseeva O.A., Kondratev A.S., “Kvaziraspoznavaemost nekotorykh konechnykh prostykh grupp po mnozhestvu poryadkov elementov”, Ukr. mat. kongr. 2001. Algebra i teor. chisel. Sektsiya 1, Tez. dop., Kiev, 2001, 4 | Zbl

[2] Dolfi S., Dzhabara E., Lyuchido M.S., “C55-gruppy”, Sib. mat. zhurn., 45:6 (2004), 1285–1298 | MR | Zbl

[3] Zavarnitsin A.V., “O raspoznavanii konechnykh prostykh grupp po grafu prostykh chisel”, Algebra i logika, 45:4 (2006), 390–408 | MR | Zbl

[4] Kondratev A.S., “O komponentakh grafa prostykh chisel konechnykh prostykh grupp”, Mat. sb., 180:6 (1989), 787–797 | Zbl

[5] Kondratev A.S., Khramtsov I.V., “O konechnykh chetyreprimarnykh gruppakh”, Tr. In-ta matematiki i mekhaniki UrO RAN, 17:4 (2011), 142–159

[6] Kertis Ch., Rainer I., Teoriya predstavlenii konechnykh grupp i assotsiativnykh algebr, Nauka, M., 1969, 668 pp.

[7] Mazurov V.D., “Kharakterizatsii konechnykh grupp mnozhestvami poryadkov ikh elementov”, Algebra i logika, 36:1 (1997), 37–53 | MR | Zbl

[8] Mazurov V.D., “Gruppy s zadannym spektrom”, Izv. Ural. gos. un-ta, 36 (2005), 119–138 | Zbl

[9] Aschbacher M., Finite group theory, Cambridge Univ. Press, Cambridge, 1986, 274 pp. | MR | Zbl

[10] Bray J.N., Holt D.F., Roney-Dougal C.M., The maximal subgroups of the low-dimensional finite classical groups, London Math. Soc. Lect. Note Ser., 407, Cambridge University Press, Cambridge, 2013, 438 pp. | DOI | MR | Zbl

[11] Chen G., “A new characterization of sporadic simple groups”, Algebra Colloq., 3:1 (1996), 49–58 | MR | Zbl

[12] The GAP Group, GAP - Groups, Algorithms, and Programming. Ver. 4.10.0. 2018 URL: http://www.gap-system.org

[13] Conway J.H., Curtis R.T., Norton S.P., Parker R.A., Wilson R.A., Atlas of finite groups, Clarendon Press, Oxford, 1985, 252 pp. | MR | Zbl

[14] Hagie M., “The prime graph of a sporadic simple group”, Comm. Algebra, 31:9 (2003), 4405–4424 | DOI | MR | Zbl

[15] Huppert B., Blackburn N., Finite groups II, Springer-Verlag, Berlin, 1982, 531 pp. | MR | Zbl

[16] Jansen C., Lux K., Parker R., Wilson R., An atlas of Brauer characters, Clarendon Press, Oxford, 1995, 327 pp. | MR | Zbl

[17] Khosravi B., “Groups with the same prime graph as an almost sporadic simple group”, Acta Math. Acad. Paedagog. Nyhazi (N.S.), 25:2 (2009), 175–187 | MR | Zbl

[18] Khosravi B., “On the prime graphs of the automorphism groups of sporadic groups”, Arch. Math. (Brno), 45:2 (2009), 83–94 | MR | Zbl

[19] Lucido M.S., “Prime graph components of finite almost simple groups”, Rend. Sem. Mat. Univ. Padova, 102 (1999), 1–22 ; addendum, Rend. Sem. Mat. Univ. Padova, 107 (2002), 189–190 | MR | Zbl | MR | Zbl

[20] Mazurov V.D., Shi W.J., “A note to the characterization of sporadic simple groups”, Algebra Colloq., 5:3 (1998), 285–288 | MR | Zbl

[21] Praeger C.E., Shi W.J., “A characterization of some alternating and symmetric groups”, Commun. Algebra, 22:5 (1994), 1507–1530 | DOI | MR | Zbl

[22] Williams J.S., “Prime graph components of finite groups”, J. Algebra, 69:2 (1981), 487–513 | DOI | MR | Zbl