Skip to content
Publicly Available Published by De Gruyter May 19, 2019

On the 𝑝-closedness and 𝑝-nilpotency of finite groups

Shuqin Dong EMAIL logo , Hongfei Pan and Long Miao
From the journal Journal of Group Theory

Abstract

Let acd⁑(G) and acs⁑(G) denote the average irreducible character degree and the average conjugacy class size, respectively, of a finite group G. The object of this paper is to prove that if acd⁑(G)<2⁒(p+1)/(p+3), then G=Op⁒(G)Γ—Op′⁒(G), and that if acs⁑(G)<4⁒p/(p+3), then G=Op⁒(G)Γ—Op′⁒(G) with Op⁒(G) abelian, where p is a prime.

1 Introduction

For a finite group G, let Irr⁑(G) denote the set of all complex irreducible characters of G. As appeared in [9], we write

acd⁑(G)=βˆ‘Ο‡βˆˆIrr⁑(G)χ⁒(1)|Irr⁑(G)|,acs⁑(G)=|G||Irr⁑(G)|

for the average irreducible character degree and the average conjugacy class size, respectively, of G. There are several results on the close connection between the characteristics of finite groups and the two invariants acd⁑(G) and acs⁑(G). For example, G is solvable when acd⁑(G)<16/5 (see [8, Theorem A]) or acs⁑(G)<12 (see [1, Theorem 11]). Furthermore, for a given prime pβ‰₯5, PSL⁒(2,p) is exactly the non-p-solvable group with the smallest acd⁑(G) and the smallest acs⁑(G) (see [9, Theorems A and B]).

Recall that a group G is said to be p-closed if the Sylow p-subgroup of G is normal in G, and G is said to be p-nilpotent if its p-complement is normal in G. In this paper, we aim to characterize the p-closed and p-nilpotent groups in terms of acd⁑(G) and acs⁑(G), and we have the following results.

Theorem A.

Let G be a group and p a prime. Then we have the following:

  1. If acd⁑(G)<2⁒(p+1)/(p+3), then G=Op⁒(G)Γ—Op′⁒(G).

  2. If acs⁑(G)<4⁒p/(p+3), then G=Op⁒(G)Γ—Op′⁒(G) with Op⁒(G) abelian, or, equivalently, G has a central Sylow p-subgroup.

Example B.

If G is the dihedral group of order 2⁒p, where p is an odd prime, then acd⁑(G)=2⁒(p+1)/(p+3) and acs⁑(G)=4⁒p/(p+3), so any one of the bounds in Theorem A is best possible.

Example C.

Let G be an extraspecial p-group of order p2⁒n+1. Then

acd⁑(G)=(p2⁒m+pm+1-pm)/(p2⁒m+p-1),

so acd⁑(G)β†’1 as mβ†’βˆž. This example tells us that if

acd⁑(G)≀2⁒(p+1)/(p+3),

then Op⁒(G) need not be abelian.

We are now able to prove the following corollary.

Corollary D ([2]).

Let G be a group. If acs⁑(G)<8/5, then G is abelian.

Proof.

Note that the function f⁒(p)=4⁒p/(p+3) is monotonically increasing. This implies that f⁒(p)β‰₯f⁒(2)=8/5 for all pβ‰₯2. So acs⁑(G)<f⁒(p) for all prime divisors of the order of G. By Theorem A (2), G is abelian. ∎

2 Lemmas

We first collect some results for the proof of Theorem A.

Lemma 2.1 ([9, Proposition 5.4 (2)]).

Let G be a group and p a prime divisor of |G|. Assume that acd⁑(G)≀2⁒p/(p+1). Then G has a normal Sylow p-subgroup.

Lemma 2.2.

Let G be a group and acd⁑(G)<2. If N⊴G, then

acd⁑(G/N)≀acd⁑(G).

Proof.

We may assume that Gβ€²β‰ 1 and N is a minimal normal subgroup of G.

Assume that N≀Gβ€². Then, for any Ο‡βˆˆIrr⁑(G)βˆ–Irr⁑(G/N), we have χ⁒(1)β‰₯2. If acd⁑(G/N)β‰₯2, then, by [6, Lemma 2.1], we derive that acd⁑(G)β‰₯2, a contradiction. Hence acd⁑(G/N)<2, and again by [6, Lemma 2.1], acd⁑(G/N)≀acd⁑(G).

Assume that Nβ‰°Gβ€². Then N∩Gβ€²=1 and N≀Z⁒(G). For any λ∈Irr⁑(N), Ξ» is extendible to G. By [3, Corollary 6.17],

βˆ‘Ο‡βˆˆIrr⁑(Ξ»G)χ⁒(1)=βˆ‘Ξ²βˆˆIrr⁑(G/N)λ⁒(1)⁒β⁒(1)=λ⁒(1)β’βˆ‘Ξ²βˆˆIrr⁑(G/N)β⁒(1).

Note that Irr⁑(G)=β‹ƒΞ»βˆˆIrr⁑(N)Irr⁑(Ξ»G) and Irr⁑(Ξ»1G)∩Irr⁑(Ξ»2G)=βˆ… when Ξ»1β‰ Ξ»2, where Ξ»1,Ξ»2∈Irr⁑(N). Hence

acd⁑(G)=βˆ‘Ο‡βˆˆIrr⁑(G)χ⁒(1)|Irr⁑(G)|=βˆ‘Ξ»βˆˆIrr⁑(N)βˆ‘Ο‡βˆˆIrr⁑(Ξ»G)χ⁒(1)|Irr⁑(G)|=|N|β’βˆ‘Ξ²βˆˆIrr⁑(G/N)β⁒(1)|N|⁒|Irr⁑(G/N)|=acd⁑(G/N).∎

Lemma 2.3 ([4, Theorem 3.2]).

Let A be a normal subgroup of G, where A is abelian and G splits over A, and let e be the number of orbits in the action of G on the set of nonprincipal linear characters of A. Then the size t of one of these orbits satisfies acd⁑(G)β‰₯g⁒(t,e), where g⁒(t,e)=t⁒(e+1)/(t+e).

Lemma 2.4 ([9, Lemma 5.2]).

Let M be a minimal normal subgroup of G with CG⁒(M)=M. Let λ∈Irr⁑(M) be nonprincipal. If K=IG⁒(λ), then KG=M.

Lemma 2.5.

Let G be a group. If H≀G and N⊴G, then acs⁑(H)≀acs⁑(G) and acs⁑(G/N)⁒acs⁑(N)≀acs⁑(G). In particular, acs⁑(G/N)≀acs⁑(G).

Proof.

See [1, Lemma 2]. ∎

Lemma 2.6.

Let G be a group of p-prime power order. If acs⁑(G)<4⁒p/(p+3), then G is abelian.

Proof.

Let G be a counterexample with minimal order pa for some integer number a, then G is a nonabelian group in which every proper subgroup is abelian. By [7], we know that G has a maximal abelian normal subgroup of order pa-1 and |Gβ€²|=p. By [3, Theorem 6.15], the degree of nonlinear irreducible character is p, and the number is (pa-pa-1)/p2. Then

acs⁑(G)=|G||Irr⁑(G)|=papa-1+(pa-pa-1)/p2=p3p2+p-1β‰₯4⁒pp+3,

which is a contradiction. ∎

3 The proofs

We first prove Theorem A (1), which we restate below for convenience.

Theorem 3.1.

Let G be a group and p a prime. If acd⁑(G)<2⁒(p+1)/(p+3), then G=Op⁒(G)Γ—Op′⁒(G).

Proof.

By Lemma 2.1, G is p-closed because 2⁒(p+1)/(p+3)<2⁒p/(p+1). In order to prove p-nilpotency of G, we assume that G is a counterexample of minimal order. Since acd⁑(G)<2, by Lemma 2.2, the hypothesis is inherited by all quotient groups. This implies by induction that all proper quotient groups of G are p-nilpotent. Hence G possesses a unique minimal normal subgroup M, and the Frattini subgroup Φ⁒(G) of G is trivial.

Let F⁒(G) be the Fitting subgroup of G. Then F⁒(G)=M is the normal Sylow p-subgroup of G since G is p-closed. Further, G splits over M, and CG⁒(M)=M. Write |M|=pr. Let e be the number of G-orbits of nonprincipal linear characters of M. By Lemma 2.3, we have acd⁑(G)β‰₯g⁒(t,e), where t is the size of some G-orbit on the nonprincipal linear characters of M. Let nonprincipal λ∈Irr⁑(M) be such that t=|G:IG(Ξ»)|. If t=1, then G=IG⁒(Ξ»)=M by Lemma 2.4, a contradiction. If t=2, then IG⁒(Ξ»)⊴G and thus IG⁒(Ξ»)=M. Notice that if a group of order 2 acts irreducibly on an abelian group A, then A is of prime order. Thus |M|=p, Gβ‰…2.β„€p. Then acd⁑(G)=2⁒(p+1)/(p+3), a contradiction. Hence tβ‰₯3.

Case 1. Assume that eβ‰₯3. Then acd⁑(G)β‰₯g⁒(3,3)=2, a contradiction.

Case 2. Assume that e=2. Since g⁒(t,e)≀acd⁑(G)<2, we have t≀3 and thus t=3. Let nonprincipal ΞΌ,ν∈Irr⁑(M) be such that ΞΌ,Ξ½ lie in distinct G-orbits, and assume that T=IG⁒(ΞΌ) satisfies |G:T|=3. Clearly, G/TG=G/M≲S3 and 3||G:M|.

Suppose that G/Mβ‰…S3. Then Gβ€² is a Frobenius group of order 3⁒|M| with kernel M. This implies that |G:IG(Ξ½)|=3 or 6. In the former case, we have |M|=|Irr⁑(M)|=1+3+3=7, and then G/M≲Aut⁑(M) is abelian, a contradiction. In the later case, we have |M|=|Irr⁑(M)|=1+3+6=10, a contradiction.

Suppose that G/Mβ‰…β„€3. Then G is a Frobenius group with kernel M. Hence |M|=|Irr⁑(M)|=1+3+3=7=p, so

acd⁑(G)=3+3+33+1+1=95<85=2⁒(p+1)p+3,

a contradiction.

Case 3. Assume that e=1. Then t=|M|-1=pr-1. Since

2⁒(p+1)p+3>acd⁑(G)β‰₯g⁒(pr-1,1)=2⁒(pr-1)pr,

we derive that r=1 and p=2, which is impossible. ∎

Now we are ready to prove Theorem A (2).

Theorem 3.2.

Let G be a group and p a prime. If acs⁑(G)<4⁒p/(p+3), then G=Op⁒(G)Γ—Op′⁒(G) with Op⁒(G) abelian.

Proof.

Suppose the theorem is false, and let G be a counterexample of minimal order. Let P be a Sylow p-subgroup of G. Then P is abelian by Lemmas 2.5 and 2.6. Also, by Lemma 2.5, every proper subgroup or quotient group of G has a central Sylow p-subgroup. Assume that G has two different minimal normal subgroups, say, N1,N2. Since P⁒Ni/Ni is central in G/Ni for i=1,2, we have [P,G]≀N1∩N2=1. Then P≀Z⁒(G), a contradiction. Hence we may assume that G has a unique minimal normal subgroup, say, N. We also assume that G is neither a p-group nor a pβ€²-group.

Case 1. Suppose that N is a p-group. Let |N|=pr, where r is an integer. Since G/N has a central Sylow p-subgroup, we see that G/N has a normal p-complement T/N. By the unique minimal normality of N, we have Op′⁒(G)=1.

Assume that T<G. Then T has a central abelian Sylow p-subgroup, and in particular, Op′⁒(T) is normal in G. This implies that Op′⁒(T)=1, and thus G is a p-group, a contradiction.

Assume that T=G. Then N=P, and G/N is a nontrivial pβ€²-group. If G/N has different maximal subgroups M1/N and M2/N, then P is central in M1 and M2. This implies that P is central in γ€ˆM1,M2〉=G, a contradiction. If G/N has a proper normal maximal subgroup M/N, then P is central in M. This implies that Op′⁒(G)β‰₯Op′⁒(M)>1, a contradiction. Hence G/N is cyclic and of a prime order q, where qβ‰ p. Then Gβ€²=N. The degree of nonlinear irreducible character is q, and the number is (|G|-q)/q2=(pr-1)/q. Hence

acs⁑(G)=|G||Irr⁑(G)|=|G||G/Gβ€²|+(|G|-q)/q2=q2⁒prq2+pr-1β‰₯4⁒pp+3,

a contradiction.

Case 2. Suppose that N is a pβ€²-group. By the unique minimal normality of N, we have Op⁒(G)=1. Let U≀P be of order p. Since G/N has a central Sylow p-subgroup, UN is normal in G. If U⁒N<G, then U is central in UN. This implies that Op⁒(G)β‰₯U>1, a contradiction. Thus G=U⁒N.

Let N1 be a proper U-invariant subgroup of N. Then U is central in U⁒N1. Since U acts nontrivially on N, by the Hall–Higman theorem [5, Theorem 8.5.1], we conclude that N is an elementary q-group with order qs, where q is a prime different from p and s is an integer. Then acs⁑(G)=p2⁒qs/(p2+qs-1)β‰₯4⁒p/(p+3), a contradiction.

Case 3. Suppose that N is neither a p-group nor a pβ€²-group. Assume that N<G. Then N has central Sylow p-subgroup, which is impossible. Assume that N=G. Then N is a nonabelian simple group of order divisible by p, and NG⁒(P) has a central Sylow p-subgroup since NG⁒(P) is a proper subgroup of G. Hence we have NG⁒(P)=CG⁒(P). By [5, Theorem 7.2.1], G has a normal p-complement, a contradiction. ∎

Clearly, Theorem A follows by Theorem 3.1 and Theorem 3.2.


Communicated by Robert Guralnick


Award Identifier / Grant number: 11801208

Award Identifier / Grant number: 11871062

Award Identifier / Grant number: BK20181451

Funding statement: Project supported by NSF of China (Nos. 11801208, 11871062), the Natural Science Foundation of Jiangsu Province (No. BK20181451) and the Postgraduate Innovation Project of Jiangsu Province (No. KYCX18_2360).

References

[1] R. Guralnick and G. R. Robinson, On the commuting probability in finite groups, J. Algebra 300 (2006), 509–528. 10.1016/j.jalgebra.2005.09.044Search in Google Scholar

[2] W. H. Gustafson, What is the probability that two group elements commute?, Amer. Math. Monthly 80 (1973), 1031–1034. 10.1080/00029890.1973.11993437Search in Google Scholar

[3] I. M. Isaacs, Character Theory of Finite Groups, Academic Press, New York, 1976. Search in Google Scholar

[4] I. M. Isaacs, M. Loukaki and A. MoretΓ³, The average degree of an irreducible character of a finite group, Israel J. Math. 197 (2013), 55–67. 10.1007/s11856-013-0013-zSearch in Google Scholar

[5] H. Kurzweil and B. Stellmacher, The Theory of Finite Groups, Springer, New York, 2004. 10.1007/b97433Search in Google Scholar

[6] M. L. Lewis, Variations on average character degrees and p-nilpotence, Israel J. Math. 215 (2016), no. 2, 749–764. 10.1007/s11856-016-1393-7Search in Google Scholar

[7] G. A. Miller and H. C. Moreno, Non-abelian groups in which every subgroup is abelian, Trans. Amer. Math. Soc. 4 (1903), 398–404. 10.1090/S0002-9947-1903-1500650-9Search in Google Scholar

[8] A. Moreto and H. N. Nguyen, On the average character degree of finite groups, Bull. Lond. Math. Soc. 46 (2014), no. 3, 454–462. 10.1112/blms/bdt107Search in Google Scholar

[9] G. H. Qian, On the average character degree and the average class size in finite groups, J. Algebra 423 (2015), 1191–1212. 10.1016/j.jalgebra.2014.11.005Search in Google Scholar

Received: 2018-07-29
Revised: 2019-04-11
Published Online: 2019-05-19
Published in Print: 2019-09-01

Β© 2020 Walter de Gruyter GmbH, Berlin/Boston

Downloaded on 27.1.2023 from https://www.degruyter.com/document/doi/10.1515/jgth-2018-0154/html
Scroll Up Arrow