Finite Non-Solvable Groups Whose Gruenberg–Kegel Graphs are Isomorphic to the Paw. Case q≤3

The Gruenberg–Kegel graph Г(G) (or the prime graph) of a finite group G is the graph such that the vertex set is the set of all prime divisors of the order of G and two different vertices p and q are adjacent if and only if there exists an element of order pq in G. One of popular directions of researches in finite group theory is the study of finite groups with given properties of their Gruenberg–Kegel graphs. In 2012–2013 the first author described finite groups with the Gruenberg–Kegel graph as for the group Aut(J2) and as for the group A10. The Gruenberg–Kegel graphs of groups A10 and Aut(J2) are isomorphic (as abstract graphs) to the paw. The paw is the graph with four vertices whose degrees are 1, 2, 2, and 3. Generalizing these results, we consider the problem of describing finite groups such that the Gruenberg–Kegel graphs of these groups are isomorphic to the paw. In 2018 Kondrat’ev and Minigulov proved that if G is a finite non-solvable group and the graph Г(G) is isomorphic to the paw, then the quotion group G/S(G) of the group G by its solvable radical S(G) is almost simple. Moreover, they classified all finite almost simple groups G such that the graphs Г(G) of these groups are isomorphic to subgraphs of the paw. In 2022 Kondrat’ev and Minigulov described all finite solvable groups such that the Gruenberg–Kegel graph is isomorphic to the paw. Moreover, they classified finite non-solvable groups G, where the Gruenberg–Kegel graphs of these groups are isomorphic to the paw, in the following cases: (1) G does not contain elements of order 6; (2) G has an element of order 6 and the vertex of degree 1 of the graph S(G) divides |S(G)|. In this manuscript we continue the investigation of this problem and study its important new case of a finite non-solvable group G such that the Gruenberg–Kegel graph of this group is isomorphic to the paw, where the vertex of degree 1 of the graph S(G) does not exceed 3.