arXiv++ Combinatorics

Thompson's theorem stated that a finite group $G$ is solvable if and only if every $2$-generated subgroup of $G$ is solvable. In this paper, we prove some new criteria for both solvability and nilpotency of a finite group using certain condition on $2$-generated subgroups. We show that a finite group $G$ is solvable if and only if for every pair of two elements $x$ and $y$ in $G$ of coprime prime power order, if $\langle x,y\rangle$ is solvable, then $\langle x,y^g\rangle$ is solvable for all $g\in G$. Similarly, a finite group $G$ is nilpotent if and only if for every pair of elements $x$ and $y$ in $G$ of coprime prime power order, if $\langle x,y\rangle$ is solvable, then $x$ and $y^g$ commute for some $g\in G.$ Some applications to graphs defined on groups are given.

Let G be a finite group and let Irr(G) be the set of all irreducible complex characters of G. Let cd(G) be the set of all character degrees of G and denote by ρ(G) the set of primes which divide some character degrees of G. The prime graph Δ(G) associated to G is a graph whose vertex set is ρ(G) and there is an edge between two distinct primes p and q if and only if the product pq divides some character degree of G. In this paper, we show that the prime graph Δ(G) of a finite group G is 3-regular if and only if it is a complete graph with four vertices.

Let G be a finite group and let cd(G) be the set of all complex irreducible character degrees of G Let ρ(G) be the set of all primes which divide some character degree of G. The prime graph Δ(G) attached to G is a graph whose vertex set is ρ(G) and there is an edge between two distinct primes u and v if and only if the product uv divides some character degree of G. In this paper, we show that if G is a finite group whose prime graph Δ(G) has no triangles, then Δ(G) has at most 5 vertices. We also obtain a classification of all finite graphs with 5 vertices and having no triangles which can occur as prime graphs of some finite groups. Finally, we show that the prime graph of a finite group can never be a cycle nor a tree with at least 5 vertices.