A solvability criterion for finite groups

We show that if for every prime p, the normalizer of a Sylow p-subgroup of a finite group G admits a p-solvable supplement, then G is solvable. This generalizes a solvability criterion of Hall which asserts that a finite group G is solvable if and only if G has a Hall p′-subgroup for every prime p.     

Variations on average character degrees and p-nilpotence

We prove that if p is an odd prime, G is a solvable group, and the average value of the irreducible characters of G whose degrees are not divisible by p is strictly less than 2(p + 1)/(p + 3), then G is p-nilpotent. We show that there are examples that are not p-nilpotent where this bound is met for every prime p. We then prove a number of variations of this result.     

2-Recognizability by prime graph of <Emphasis Type="Italic">PSL</Emphasis>(2, <Emphasis Type="Italic">p</Emphasis><Superscript>2</Superscript>)

Let G be a finite group and let Γ(G) be the prime graph of G. Assume p prime. We determine the finite groups G such that Γ(G) = Γ(PSL(2, p ²)) and prove that if p ≠ 2, 3, 7 is a prime then k(Γ(PSL(2, p ²))) = 2. We infer that if G is a finite group satisfying |G| = |PSL(2, p ²)| and Γ(G) = Γ(PSL(2, p ²)) then G ? PSL(2, p ²). This enables us to give new proofs for some theorems; e.g., a conjecture of W. Shi and J. Bi. Some applications are also considered of this result to the problem of recognition of finite groups by element orders.     

On finite groups for which the lattice of <Emphasis Type="Italic">S</Emphasis>-permutable subgroups is distributive

Let p be a prime and let P be a Sylow p-subgroup of a finite nonabelian group G. Let bcl(G) be the size of the largest conjugacy classes of the group G. We show that if p is an odd prime but not a Mersenne prime or if P does not involve a section isomorphic to the wreath product \({Z_p \wr Z_p}\), then \({|P/O_p(G)| \leq bcl(G)}\).     

On <Emphasis Type="Italic">r</Emphasis>-recognition by prime graph of <Emphasis Type="Italic">B</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>(3) where <Emphasis Type="Italic">p</Emphasis> is an odd prime

Let G be a finite group. The prime graph Γ(G) of G is defined as follows. The vertices of Γ(G) are the primes dividing the order of G and two distinct vertices p and p′ are joined by an edge if there is an element in G of order pp′. We denote by k(Γ(G)) the number of isomorphism classes of finite groups H satisfying Γ(G) = Γ(H). Given a natural number r, a finite group G is called r-recognizable by prime graph if k(Γ(G)) =  r. In Shen et al. (Sib. Math. J. 51(2):244–254, 2010), it is proved that if p is an odd prime, then B _p (3) is recognizable by element orders. In this paper as the main result, we show that if G is a finite group such that Γ(G) = Γ(B _p (3)), where p > 3 is an odd prime, then \({G\cong B_p(3)}\) or C _p (3). Also if Γ(G) = Γ(B ₃(3)), then \({G\cong B_3(3), C_3(3), D_4(3)}\), or \({G/O_2(G)\cong {\rm Aut}(^2B_2(8))}\). As a corollary, the main result of the above paper is obtained.     

A cohomological criterion for <Emphasis Type="Italic">p</Emphasis>-solvability

Let G be a finite group, let p be a prime, and let P be a Sylow p-subgroup of G. In this note we give a cohomological criterion for the p-solvability of G depending on the cohomology in degree 1 with coefficients in \(\mathbb F_p\) of both the normal subgroups of G and P. As a byproduct we bound the minimum possible number of factors of p-power order appearing in any normal series of G, in which each factor is either a p-group, a p’-group, or a non-p-solvable characteristically simple group, by the number of generators of P.     

Essential dimension of algebraic groups,including bad characteristic

Let A and G be finite groups of relatively prime orders and assume that A acts on G via automorphisms. We study how certain conditions on G imply its solvability when we assume the existence of a unique A-invariant Sylow p-subgroup for p equal to 2 or 3.     

On locally finite Cpp-groups

A group G is called a Cpp-group for a prime number p, if G has elements of order p and the centralizer of every non-trivial p-element of G is a pgroup. In this paper we prove that the only infinite locally finite simple groups that are Cpp-groups are isomorphic either to PSL(2,K) or, if p = 2, to Sz(K), with K a suitable algebraic field over GF(p). Using this fact, we also give some structure theorems for infinite locally finite Cpp-groups.     

Camina pairs that are not <Emphasis Type="Italic">p</Emphasis>-closed

We show for every prime p that there exists a Camina pair (G, N), where N is a p-group and G is not p-closed.     

Characterization of the alternating groups by their order and one conjugacy class length

Let G be a finite group, and let N(G) be the set of conjugacy class sizes of G. By Thompson’s conjecture, if L is a finite non-abelian simple group, G is a finite group with a trivial center, and N(G) = N(L), then L and G are isomorphic. Recently, Chen et al. contributed interestingly to Thompson’s conjecture under a weak condition. They only used the group order and one or two special conjugacy class sizes of simple groups and characterized successfully sporadic simple groups (see Li’s PhD dissertation). In this article, we investigate validity of Thompson’s conjecture under a weak condition for the alternating groups of degrees p+1 and p+2, where p is a prime number. This work implies that Thompson’s conjecture holds for the alternating groups of degree p + 1 and p + 2.     

On finite groups with prime-power order <Emphasis Type="Italic">S</Emphasis>-quasinormally embedded subgroups

A subgroup H of a finite group G is said to be S-quasinormally embedded in G if for each prime p dividing the order of H, a Sylow p-subgroup of H is also a Sylow p-subgroup of some S-quasinormal subgroup of G. In this paper we investigate the structure of finite groups that have some S-quasinormally embedded subgroups of prime-power order, and new criteria for p-nilpotency are obtained.     

Prime Power Indices in Factorised Groups

Let the group \(G=AB\) be the product of the subgroups A and B. We determine some structural properties of G when the p-elements in \(A\cup B\) have prime power indices in G, for some prime p. More generally, we also consider the case that all prime power order elements in \(A\cup B\) have prime power indices in G. In particular, when \(G=A=B\), we obtain as a consequence some known results.     

Residual <Emphasis Type="Italic">p</Emphasis>-finiteness of generalized free products of groups

Let p be a prime number. Recall that a group G is said to be a residually finite p-group if for every non-identity element a of G there exists a homomorphism of the group G onto a finite p-group such that the image of a does not coincide with the identity. We obtain a necessary and sufficient condition for the free product of two residually finite p-groups with finite amalgamated subgroup to be a residually finite p-group. This result is a generalization of Higman’s theorem on the free product of two finite p-groups with amalgamated subgroup.     

Recognition by spectrum of simple groups <Emphasis Type="Italic">C</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>(2)

It is proved that, if G is a finite group that has the same set of element orders as the simple group C _p (2) for prime p > 3, then G/O ₂(G) is isomorphic to C _p (2).     

On recognizability of some finite simple orthogonal groups by spectrum

It is proved that, if G is a finite group that has the same set of element orders as the simple group D _p (q), where p is prime, p ≥ 5 and q ∈ {2, 3, 5}, then the commutator group of G/F(G) is isomorphic to D _p (q), the subgroup F(G) is equal to 1 for q = 5 and to O _q (G) for q ∈ {2, 3}, F(G) ≤ G′, and |G/G′| ≤ 2.     

Thompson’s conjecture for the alternating group of degree 2<Emphasis Type="Italic">p</Emphasis> and 2<Emphasis Type="Italic">p</Emphasis>+1

For a finite group G denote by N(G) the set of conjugacy class sizes of G. In 1980s, J.G.Thompson posed the following conjecture: If L is a finite nonabelian simple group, G is a finite group with trivial center and N(G) = N(L), then G ? L. We prove this conjecture for an infinite class of simple groups. Let p be an odd prime. We show that every finite group G with the property Z(G) = 1 and N(G) = N(A _i ) is necessarily isomorphic to A _i , where i ∈ {2p, 2p + 1}.     

Every 2-group with all subgroups normal-by-finite is locally finite

A group G has all of its subgroups normal-by-finite if H/H _G is finite for all subgroups H of G. The Tarski-groups provide examples of p-groups (p a “large” prime) of nonlocally finite groups in which every subgroup is normal-by-finite. The aim of this paper is to prove that a 2-group with every subgroup normal-by-finite is locally finite. We also prove that if |H/H _G | 6 2 for every subgroup H of G, then G contains an Abelian subgroup of index at most 8.     

On Degrees of Growth of Finitely Generated Groups

We prove that for an arbitrary function ρ of subexponential growth there exists a group G of intermediate growth whose growth function satisfies the inequality v _G,S (n) ? ρ(n) for all n. For every prime p, one can take G to be a p-group; one can also take a torsion-free group G. We also discuss some generalizations of this assertion.     

A note on commuting automorphisms of some finite <Emphasis Type="Italic">p</Emphasis>-groups

An automorphism α of a group G is called a commuting automorphism if each element x in G commutes with its image α(x) under α. Let A(G) denote the set of all commuting automorphisms of G. Rai [Proc. Japan Acad., Ser. A 91 (5), 57–60 (2015)] has given some sufficient conditions on a finite p-group G such that A(G) is a subgroup of Aut(G) and, as a consequence, has proved that, in a finite p-group G of co-class 2, where p is an odd prime, A(G) is a subgroup of Aut(G). We give here very elementary and short proofs of main results of Rai.     

<Emphasis Type="Italic">M</Emphasis> <Subscript> <Emphasis Type="Italic">p</Emphasis> </Subscript>-supplemented subgroups of finite groups

A subgroup K of G is M_p-supplemented in G if there exists a subgroup B of G such that G = KB and TB < G for every maximal subgroup T of K with |K: T| = p^α. In this paper we prove the following: Let p be a prime divisor of |G| and let H be ap-nilpotent subgroup having a Sylow p-subgroup of G. Suppose that H has a subgroup D with D_p ≠ 1 and |H: D| = p_α. Then G is p-nilpotent if and only if every subgroup T of H with |T| = |D| is M_p-supplemented in G and N_G(T_p)/C_G(T_p) is a p-group.