Groups with two extreme character degrees and their normal subgroups

Abstract

We study the finite groups G G for which the set cd ⁡ ( G ) \operatorname {cd}(G) of irreducible complex character degrees consists of the two most extreme possible values, that is, 1 1 and | G : Z ( G ) | 1 / 2 |G:Z(G)|^{1/2} . We are easily reduced to finite p p -groups, for which we derive the following group theoretical characterization: they are the p p -groups such that | G : Z ( G ) | |G:Z(G)| is a square and whose only normal subgroups are those containing G ′ G’ or contained in Z ( G ) Z(G) . By analogy, we also deal with p p -groups such that | G : Z ( G ) | = p 2 n + 1 |G:Z(G)|=p^{2n+1} is not a square, and we prove that cd ⁡ ( G ) = { 1 , p n } \operatorname {cd}(G) =\{1,p^n\} if and only if a similar property holds: for any N ⊴ G N\trianglelefteq G , either G ′ ≤ N G’\le N or | N Z ( G ) : Z ( G ) | ≤ p |NZ(G):Z(G)|\le p . The proof of these results requires a detailed analysis of the structure of the p p -groups with any of the conditions above on normal subgroups, which is interesting for its own sake. It is especially remarkable that these groups have small nilpotency class and that, if the nilpotency class is greater than 2 2 , then the index of the centre is small, and in some cases we may even bound the order of G G .