Skip to main content

On finite groups with their character tables having at most p+1 zeros in each column

Abstract

In the present paper, the authors classify finite solvable groups whose character tables have at most p+1 zeros in each column, where p is the minimal prime divisor of their orders.

MSC:20C15.

1 Introduction

The distribution of zeros in the character table of a group is a classical problem with an extensive literature that goes back to the well-known theorem of Burnside stating that any non-linear irreducible character of a finite group vanishes at some element of the group. Hence it is interesting to investigate the properties of a finite group with ‘many’ zeros or without zeros at some special places in its character table. There are many results about the number of zeros in the rows of a character table (see [2, 3, 6, 17] and [7], etc.).

On the other hand, we find that it is also interesting to study the distribution of zeros in terms of a column. Isaacs et al. [5] investigated the property of an element x of odd order such that every irreducible character does not take zero on x, and proved that such element x was contained in the Fitting subgroup. Hence the number of zeros in the columns of a character table will have effect on the group structure. Xu et al. [13] classified finite groups of odd order with their character tables having at most p zeros on each column, where p is the smallest prime divisor of the group order. In this paper, we classify finite solvable groups with their character tables having at most p+1 zeros in each column, where p is the minimal prime divisor of their orders.

Definition 1.1 A group is called V(k)-group if its character table has at most k zeros in each column.

Definition 1.2 Let θ(x) be a character, and A be a subset of G. For xA, if θ(x)=0, we say θ vanishes at x. If θ(x)=0 for any xA, we say that θ vanishes on A.

All further unexplained symbols and notation are standard and can be found, for instance, in [4]. In particular, Z p n denotes an elementary abelian group of order p n .

In this paper, we study solvable V(p+1)-groups, where p is a minimal prime divisor of |G|. Hence there are two cases that need to be considered: p=2 and p2.

For p=2, we have the following theorem.

Theorem A Let G be solvable such that2||G|. Then G is aV(2+1)-group if and only if one of the following holds:

  1. (1)

    G has exactly one non-linear irreducible character;

  2. (2)

    G has exactly two non-linear irreducible characters;

  3. (3)

    G has exactly three non-linear irreducible characters;

  4. (4)

    G has a normal series1< G < G <G, where|G/ G |=2, | G / G |=3, G/ G S 3 , and G D 8 or Q 8 ;

  5. (5)

    G G Z 2 , where G = Z 2 3 Z 7 is a Frobenius group;

  6. (6)

    G G Z 2 , where G = Z 2 4 Z 5 is a Frobenius group, and the action of G on the set Irr 1 ( G )is non-trivial;

  7. (7)

    G G Z 3 , where G Q 8 or D 8 ;

  8. (8)

    G G Z 3 , where G Z 2 3 Z 7 is a Frobenius group;

  9. (9)

    G is abelian.

Forp2, then G is an odd order by the minimality of p, and G must be solvable. And we get:

Theorem B Let G be a finite group and p be the minimal odd prime divisor of its order. Then G is aV(p+1)-group if and only if one of the following holds:

  1. (i)

    G is abelian;

  2. (ii)

    G is an extra-special p-group;

  3. (iii)

    G= G Lis a Frobenius group with an elementary abelian kernel G and a cyclic complement L, and| G |1(p+1)|L|.

2 Preliminaries

In this section, we give some results which will be applied to our further investigations.

Lemma 2.1 ([12], Theorem 1])

Let G be a solvable finite group. Then the character table of G has at most one zero in each column if and only if one of the following holds:

  1. (1)

    G is abelian;

  2. (2)

    G has exactly one non-linear irreducible character, and one of the following holds:

(2.1) G is an extra-special 2-group;

(2.2) G=NHis a Frobenius group with a kernel N and a complement H, where H is an abelian group and N is an elementary abelian p-group such that|H|=|N|1.

Lemma 2.2 ([1], Theorem B])

Let x be an element in a p-group P with| x P |= p b . Then there exist at leastb(p1)non-linear irreducible characters vanishing at x.

Lemma 2.3 ([8], Proposition 3.2.2])

Let G be a solvable group. Assume that G has at most two irreducible characters of degree m (≠1). If|G/ G |=2, then one of the following occurs:

  1. (1)

    G S 3 ;

  2. (2)

    G Z 5 Z 2 is a Frobenius group with a kernel Z 5 and a complement Z 2 ;

  3. (3)

    G S 4 .

If|G/ G |2, G is π-nilpotent and a normal π-complement of G is non-abelian, whereπ=π(G/ G ), then one of the following occurs:

  1. (i)

    G=KHis a Frobenius group with a kernel K of order 25 and a complement H, where K is an elementary abelian group and H is a dihedral group D 12 ;

  2. (ii)

    G=KAis a Frobenius group with an elementary abelian kernel K of order 81 and a complement A, whereA/Z(A) Z 5 Z 4 and|Z(A)|=2;

  3. (iii)

    GAB, where A is a cyclic subgroup of order 4 and B is an extra-special group of order 27;

  4. (iv)

    G is the normalizer of a Sylow 2-group of the simple groupSz( 2 2 m + 1 ).

Lemma 2.4 ([14])

Let G be a finite group and1NG. Then G is a Frobenius group with a kernel N if and only if θ G is irreducible for anyθIrr(N)andθ 1 N .

Lemma 2.5 ([10])

A finite solvable group G has exactly one non-linear irreducible character if and only if one of the following holds:

  1. (1)

    G is an extra-special 2-group;

  2. (2)

    G=NHis a Frobenius group with an elementary abelian kernel N and an abelian complement H such that|H|=|N|1.

Lemma 2.6 ([15], Theorem 2])

A finite solvable group G has exactly two non-linear irreducible characters if and only if one of the following holds:

  1. (1)

    G is an extra-special 3-group;

  2. (2)

    G=NHis a Frobenius group with an elementary abelian kernel N and an abelian complement H such that2|H|=|N|1;

  3. (3)

    G=( Z 3 × Z 3 ) Q 8 is a Frobenius group with a Frobenius complement Q 8 ;

  4. (4)

    G is an 2-group of class 3, and G has a normal series1Z(G) G Gsatisfying the conditions: G/Z(G)is an extra special 2-group, | G |=4and|Z(G)|=2;

  5. (5)

    G is an 2-group of class 2, and G has a normal series1 G Z(G)Gsatisfying the conditions: G/Z(G)is an elementary abelian group, | G |=2and|Z(G)|=4;

  6. (6)

    G/Z(G)NHis a Frobenius group with an elementary abelian kernel N and an abelian complement H such that|H|=|N|1. Furthermore, Z(G) Z 2 andZ(G) G =1.

Lemma 2.7 ([9], Corollary 1])

Let G be a non-abelian group of odd order and p be the minimal prime divisor of|G|. Then G has at most 2p irreducible characters of degree m where1mcd(G)if and only if one of the following occurs:

  1. (1)

    G is an extra-special p-group;

  2. (2)

    G=KHis a Frobenius group with an elementary abelian kernel K and a cyclic complement H. Moreover, |K|1(2p2)|H|.

Lemma 2.8 ([16], Theorem 2.3])

Let G be non-nilpotent and| Irr 1 (G)|=q, where q is a prime number. Then|cd(G)|=2if and only if one of the following assertions holds:

  1. (1)

    F(G)is abelian, |G:F(G)|=|F(G): G |=p, p is a prime divisor of, | G |1is a prime number;

  2. (2)

    G= G A, G is an abelian p-group and A is cyclic, |A|=q(| G |1) (q is a prime number), G/Z(G)is a Frobenius group with a Frobenius kernel isomorphic to G and a cyclic Frobenius complement of order| G |1;

  3. (3)

    G= N 1 × N 2 , where N 1 is a Frobenius group with an elementary abelian kernel N and a cyclic complement H such that|N|1=|H|. Moreover, | N 2 |=q, where q is a prime number;

  4. (4)

    G is a Frobenius group with an elementary abelian kernel N and a cyclic complement H such thatq|H|=|N|1, where q is a prime number.

3 Proof of Theorem A

To make the proof clear, we give the following lemma:

Lemma 3.1 Let G be aV(k)-group, φIrr( G ){1}and T φ be the inertia group of φ. There exists a subgroup G U φ T φ such that| U φ / G |k. Moreover, for eachϕIrr( U φ )such that ϕ G =φ, there exists a uniqueχIrr(G), lying over ϕ and vanishing onG U φ . Hence there are at least| U φ / G |irreducible characters of G, lying over φ and vanishing onG U φ .

Proof By [11], Lemma 2.2], there exists G U φ T φ such that φ is extendible to ϕIrr( U φ ) and ϕ and φ are fully ramified with respect to T φ / U φ .

Note T φ G for G T φ . Applying Clifford theory, we see that there exists a unique χIrr(G) such that [ χ U φ ,ϕ]0 and χ vanishes on G U φ .

Suppose ϕ vanishes at x. So is λϕ for each λIrr( U φ / G ). Note that φ is also extendible to (λϕ). Since G is a V(k)-group, | U φ / G |k. □

In practice, we always choose U φ as big as possible.

Proof of Theorem A Obviously, we need only to show the necessity.

Since an abelian group is obviously a V(2+1)-group, so we may assume that G is a non-abelian solvable group. We divide the proof into 3 cases by the order of G/ G .

Case 1. If |G/ G |>3, we claim that G is one of the groups in (1), (2) and (3).

Let φ be a non-linear irreducible character of G . If φ is extendible to an irreducible character χIrr(G), then the irreducible characters of the form λχ for λIrr(G/ G ) are |G/ G | distinct irreducible characters of G by [4], Theorem 6.17], which vanish at the elements as φ. Hence |G/ G |3, a contradiction. For each non-principle character φIrr( G ), by Lemma 3.1, there exists U φ such that | U φ / G |3. Now we consider the action of G on the set of Irr( G ){ 1 G } by g:θ θ g for θIrr( G ) and gG.

Subcase 1.1. The action of G on {Irr( G )}{ 1 G } has at least four orbits.

Let φ i (i=1,2,3,4) be non-principal irreducible characters of G from four different orbits. By Lemma 3.1, there exists χ i Irr(G) such that [ χ i G , φ i ]0. Then χ i vanishes on G i = 1 4 U φ i , i=1,2,3,4, which implies G= i = 1 4 U φ i . Since | U φ / G |3, |G/ G |9. If |G/ G |=9, then | U φ i / G |=3, where i=1,2,3,4. By Lemma 3.1, for each i, there are exactly three irreducible characters χ i 1 , χ i 2 and χ i 3 of G, lying over φ i and vanishing on G U φ i . Since U φ i is proper in G, (G U φ i )(G U φ j ) for ij. Let x(G U φ i )(G U φ j ). Then there are six irreducible characters of G vanishing at x, which is a contradiction. Similarly, we also get a contradiction if |G/ G |=4,5,6,7or8.

Subcase 1.2. The action of G on {Irr( G )}{ 1 G } has exactly three orbits.

Let φ i Irr( G ) (i=1,2,3) be non-principal irreducible characters from different orbits. If φ i satisfies | U φ 1 / G |=2or3, then, by Lemma 3.1, there are at least four irreducible characters of G, lying over φ 1 , φ 2 or φ 3 and vanishing on G i = 1 3 U φ i , which implies G= i = 1 3 U φ i for G is a V(2+1)-group. Since |G/ G |4, there are at least two of these irreducible characters φ i , satisfying | U φ i / G |2. By Lemma 3.1, there are at least four irreducible characters of G, vanishing at an element, a contradiction. Hence | U φ i / G |=1 for i=1,2,3, which implies that G has exactly 3 non-linear irreducible characters.

Subcase 1.3. The action of G on {Irr( G )}{ 1 G } has exactly two orbits.

We can choose two irreducible characters of G , say φ 1 and φ 2 , from two different orbits respectively. If one of φ 1 and φ 2 , for example, φ 1 satisfies | U φ 1 / G |=3, then there are at least four irreducible characters of G lying over φ 1 and φ 2 and vanishing on G i = 1 2 U φ i . Since G is a V(2+1)-group, it follows that G= i = 1 2 U φ i . Hence, G= U φ 1 or U φ 2 , which is clearly impossible since |G: G |>3. If φ 1 and φ 2 satisfy | U φ i / G |=2, where i=1,2, then there are at least four non-linear irreducible characters of G lying over φ 1 and φ 2 and vanishing on G i = 1 2 U φ i , which implies G= i = 1 2 U φ i . Hence, |G: G |3, a contradiction. Therefore, there is at most one of the two irreducible characters φ 1 and φ 2 satisfying | U φ i / G |=2, which implies that G has at most 3 non-linear irreducible characters. Hence, G can only be isomorphic to one of the groups listed in (1), (2) or (3) by Lemma 2.5.

Subcase 1.4. The action of G on {Irr( G )}{ 1 G } has exactly one orbit.

Since | U φ / G |3, G has at most three non-linear irreducible characters. By Lemma 2.5, it is easy to see that G is isomorphic to one of the groups listed in (1), (2) or (3).

Case 2. |G/ G |=2. Then G is one of the groups listed in conclusion (1)-(6).

Let χ be a non-principle irreducible character of G and θ an irreducible constituent of χ G . In this case, we have that χ G =θ or χ= θ G . If χ= θ G , then χ vanishes on G G , which implies that G has at most three non-linear irreducible characters induced by those of G .

Subcase 2.1. G has exactly one irreducible character, say β, induced from an irreducible characters of G , say λ.

We have seen that λ(1)=1. There are exactly three linear characters in Irr( G ). Using Lemma 3.1, there exists at most one zero in each column of the character table of G . By Lemma 2.1, G is abelian or has exactly one non-linear irreducible character. If G is a non-abelian group, let φ be the unique non-linear irreducible character of G and χ G =φ, where χIrr(G). Then G has exactly three non-linear irreducible characters χ, ξχ and λ G , where ξIrr(G/ G ){ 1 G }. Clearly, λ G (1)=2. If χ(1)=2, then |G|=2+12=14, and | G |=7, contrary to G is non-abelian. Therefore, χ(1)=ξχ(1)2. By Lemma 2.3, G S 4 , and G is in (3). If G is abelian, then | G |=3. Hence |G|=6 and G S 3 , and G is in (1).

Subcase 2.2. G has exactly two irreducible characters induced from irreducible characters of G . Let β, α be the two irreducible characters such that β= λ G and α= μ G , where β,αIrr(G) and λ,μIrr( G ).

Subsubcase 2.2.1. If λ and μ are linear, then G is a group as in the conclusion (2).

In the case G has five linear characters (| G / G |=5), and all non-linear irreducible characters of G are extendible to G. By the same arguments as above, one has that there is at most one zero in each column of the character table of G . By Lemma 2.1, we have that G either is abelian or has exactly one non-linear irreducible character.

If G is abelian, then G has exactly two non-linear irreducible characters. Hence, G is isomorphic to the group listed in (2) by Lemma 2.5.

If G is a non-abelian group, let φ be the unique non-linear irreducible character of G and χ G =φ, where χIrr(G). Then G has exactly four non-linear irreducible characters χ, ξχ, λ G and μ G , where 1 G ξIrr(G/ G ). Since |G/ G |=2, it follows that λ G (1)= μ G (1)=2. If χ(1)=ξχ(1)= λ G (1)= μ G (1)=2, then |G|=2+16=18. Hence, | G |=9, which implies that G is abelian, a contradiction. Therefore, χ(1)=ξχ(1)2, λ G (1)= μ G (1)=2. So G satisfies the assumptions of Lemma 2.3. But it is easy to check by Lemma 2.3 that no such group exists.

Subsubcase 2.2.2. If either λ or μ is non-linear, then G is one of the groups in (2) and (4).

Without loss of generality, let μ(1)>1 and λ(1)=1. In this case, one has that | G / G |=3 and |G/ G |=2, and so G/ G S 3 . Now, we assert that G has at most two non-linear irreducible characters except μ and μ g for each gG G . Otherwise, we can choose three such irreducible characters of G , say ϕ 1 , ϕ 2 and ϕ 3 . We first assume that one of the three irreducible characters is extended by an irreducible character of G . Let ϕ 1 G =δ where δIrr( G ). Since ϕ i is extendible to G, we have that ϕ i does not vanish for any element while ϕ j vanishes if ji, which implies that μ, μ g and ϕ 1 are the three extensions of β, but ϕ 2 and ϕ 3 can not be extended by an irreducible character of G . Let ξ 1 , ξ 2 Irr( G ) such that ϕ 2 = ξ 1 G and ϕ 3 = ξ 2 G . Then both ϕ 2 and ϕ 3 vanish on G G , a contradiction. In this case, the above assertion holds. Next, we assume that ϕ 1 , ϕ 2 and ϕ 3 are not extended by an irreducible character of G . Then each of them is induced by an irreducible character of G , which implies that the irreducible characters ϕ 1 , ϕ 2 and ϕ 3 vanish on G G , a contradiction.

Now, we have that G has at most four non-linear irreducible characters. If G has exactly two non-linear irreducible characters, then G has exactly two non-linear irreducible characters λ G and μ G , which concludes (2) in this case. Suppose G has exactly three non-linear irreducible characters, say μ, μ g and ϕ 1 . By the same arguments as above, we have that either the irreducible characters μ, μ g and ϕ 1 can be extended by an irreducible character of G or induced by an irreducible characters of G . If μ, μ g and ϕ 1 are three extensions of an irreducible character of G , then μ(1)= μ g (1)= ϕ 1 (1), which is impossible by Lemma 2.8. In the latter case, one has that G is a Frobenius group with a kernel G by Lemma 2.4. Furthermore, since | G / G |=3 and G has exactly three non-linear irreducible characters, we get that G is an abelian group. Hence | G |=10, a contradiction to G/ G S 3 . Now, we have that G has four irreducible characters, denoted by μ, μ g , ϕ 1 and ϕ 2 . By the same argument as before, one has that μ, μ g and ϕ 1 are three extensions of an irreducible character of G and ϕ 2 = μ G , where μIrr( G ). Since each linear character of G is not extendible to G , μ(1)=1, which implies that G has exactly four linear characters and one non-linear irreducible character. By Lemma 2.5, we have that G D 8 or Q 8 , and so G has normal series 1< G < G <G, where |G/ G |=2, | G / G |=3, G/ G S 3 , G D 8 or Q 8 . Thus G is a group as in the conclusion (4).

Subcase 2.3. G has exactly three irreducible characters induced from irreducible characters of G . Let β= λ G , α= μ G and γ= η G be the three irreducible characters such that β= λ G , α= μ G and γ= η G , where β,α,γIrr(G) and λ,μ,ηIrr( G ).

Subsubcase 2.3.1. If λ, μ and η are linear characters, then G is one of the groups in (3) and (5).

In this case, one has that G has seven linear characters (| G / G |=7) and all non-linear irreducible characters of G are extendible to G. By the same arguments as before, we have that there are at most one zero in each column of the character table of G . By Lemma 2.1, we have that G either is abelian or has exactly one non-linear irreducible character.

If G is abelian, then G has exactly three non-linear irreducible characters. In such case, (3) follows by Lemma 2.5.

If G is non-abelian, then G KH, where K is an elementary abelian group of order 8 and H Z 7 . Therefore, G(KH) Z 2 , and so (5) holds.

Subsubcase 2.3.2. If one of λ, μ or η is non-linear, then G is one of groups in (3) and (6).

Without loss of generality, let μ(1)>1 and η(1)=λ(1)=1. So | G / G |=5. Take ξIrr( G ). If ξ is extendible to δIrr( G ), then the irreducible characters of the form ρδ for any ρIrr( G / G ) are all of the irreducible constituents of ξ G . Hence, one has that there are at least three irreducible characters of the set {ρδ|λIrr( G / G )} extendible to G, and the extensions have common zeros, a contradiction. Therefore, ξ G Irr( G ) for every ξIrr( G ). Since ξ G vanish on G G , we have that G has at most three non-linear irreducible characters. Otherwise, we can take four non-linear irreducible characters μ, μ g , φ and ψ of G , where g G G . Clearly, φ and ψ are extendible to G. Moreover, we have four irreducible characters of G, two lying over φ and other two lying over ψ, vanishing on G G , a contradiction. By Lemma 2.4, G is a Frobenius group with an abelian kernel G . We know that | G / G |=5 and G is an elementary abelian subgroup of order 16 or a cyclic subgroup of order 11. If | G |=11, then G has exactly three irreducible characters λ G , μ G and η G . Hence (3) follows. If | G |=16, then G G Z 2 , where G =K G is a Frobenius group with an elementary abelian kernel G of order 16 and a cyclic complement K of order 5; and the action of G on Irr 1 ( G ) is non-trivial. In such case, (6) follows.

Subcase 2.3.3. If two of λ, μ and η are non-linear, then we claim that no such group exists.

Without loss of generality, let μ(1)>1, η(1)>1 and λ(1)=1. In this case, | G / G |=3. Let ξIrr( G ). Then either ξ is extendible to G or ξ G Irr( G ). Moreover, we can get that any two irreducible characters of G which are not μ, μ g , η and η g for some gG G have no common zeros. According to the properties of the distribution of zeros of G, we have that the non-linear irreducible characters of G can only be one of the following two cases:

  1. (a)

    G has 7 irreducible characters, μ, μ g , η, η g , δ, θ and χ, where ξ 1 , ξ 2 Irr( G ) and ξ 1 ξ 2 Irr( G ) such that δ G = ξ 1 and θ G = ξ 2 . On the other hand, μ, μ g , η, η g are the four extensions of ξ 1 and ξ 2 while χ= ρ G where ρIrr( G ) and ρ(1)=1.

  2. (b)

    G has 5 or 6 irreducible characters μ, μ g , η, η g , δ and θ (maybe there exists no such θ), where ξ,ζ,εIrr( G ) such that δ G = μ G = μ G g =ξ, η= ζ G and η g = ε G . If there exists such an irreducible character θ of G , then θ= ν G , where νIrr( G ).

In the former case (a), one has that G has only two non-linear irreducible characters with no common zeros, which is impossible by Lemma 2.1.

In the latter case (b), if ζ(1)=1, then ε(1)=1, which implies that | G / G |=7or10. Since ζ is a conjugate to ε in G, it follows that the quotient group G/ G isomorphic to a subgroup of Z 4 or Z 6 , a contradiction to G/ G S 3 . Hence, ν(1)=1, and so | G / G |=4. By Clifford theorem, it is easy to see that η G vanishes on G G . Let ω be an irreducible character of Irr( G / G ). Then ωξIrr( G ). If ωξξ, then ωξ is a conjugate to μ or η, and so ξ vanishes on some elements in G G , which implies that μ G , η G and the two extensions of δ to G have common zeros in G G , a contradiction.

Case 3. |G/ G |=3. Then G is one of the groups in (1), (3) and (7).

Let χ be a non-principle irreducible character of G and θ be an irreducible constituent of χ G . In this case, we have that χ G =θ or χ= θ G . If χ= θ G , then χ vanishes on G G , which implies that G has at most three irreducible characters induced from irreducible characters of G .

Subcase 3.1. If G has exactly one irreducible character induced from irreducible characters of G , then G is isomorphic to the group listed in (7) or A 4 , the alternating group of degree 4.

By the same arguments as in Subcase 2.1, one has that there exists at most one zero in each column of the character table of G . By Lemma 2.1, G is abelian or has exactly one non-linear irreducible character.

If G is a non-abelian group, G has exactly one irreducible non-linear character. Then | G / G |=4 and |G/ G |=3. By Lemma 2.5, G D 8 or Q 8 . Moreover, we can get that G D 8 Z 3 or Q 8 Z 3 . Hence, (7) holds.

If G is an abelian group, then | G |=4, and so |G|=12. Hence, G A 4 , (1) holds.

Subcase 3.2. G has exactly two irreducible characters induced from irreducible characters of G . Let β= λ G and α= μ G be the two irreducible characters, where β,αIrr(G) and λ,μIrr( G ).

Subsubcase 3.2.1. If λ and μ are linear characters, then G is one of the groups in (2) and (8).

In this case, we know that G has seven linear characters since | G / G |=7 and all the non-linear irreducible characters of G are extendible to G. By the same arguments as above, one has that there is at most one zero in each column of the character table of G . By Lemma 2.1, we get that G either is abelian or has exactly one non-linear irreducible character.

If G is an abelian group, then G has exactly two non-linear irreducible characters. In the case (2) follows by Lemma 2.5.

If G is a non-abelian group, then G is a Frobenius group with an elementary abelian kernel G of order 8 and a complement H of order 7. Thus G G Z 3 , and so (8) holds.

Subsubcase 3.2.2. If one of λ and μ is non-linear, then there is no such group G.

Without loss of generality, let μ(1)>1 and λ(1)=1. In this case, we have that | G / G |=4 and |G/ G |=3. Thus G/ G A 4 . We assert that G has exactly three non-linear irreducible characters μ, μ g and μ g 2 , where gG G . Assume the contrary; let δ be an irreducible character of G such that δμ, μ g and μ g 2 . According to the properties of the distribution of zeros of G , it is easy to know that μ vanishes on G G and δ has zeros in G G . Hence, all of the three irreducible characters lying over δ and μ G have common zeros, a contradiction. Therefore, G has exactly two non-linear irreducible characters μ G and λ G . Moreover, μ G (1) λ G (1). But no such groups exist by Lemma 2.6, a contradiction.

Subcase 3.3. G has exactly three irreducible characters induced from irreducible characters of G . Let β= λ G , α= μ G and γ= η G be the three irreducible characters, where β,α,γIrr(G) and λ,μ,ηIrr( G ).

Subsubcase 3.3.1. λ, μ and η are linear characters.

In this case, |G/ G |=3 and | G / G |=10, which is obviously impossible.

Subsubcase 3.3.2. One of λ, μ and η is non-linear.

Without loss of generality, let μ(1)>1 and η(1)=λ(1)=1. In this case, one has that | G / G |=7. By the same arguments as in Subsubcase 2.3.2, for every ξ Irr 1 ( G ), it follows that there necessarily exists an irreducible character ϑIrr( G ) such that ξ= ϑ G . Hence, G has exactly three non-linear irreducible characters μ, μ g and μ g 2 , where gG G . Then G is a Frobenius group with an abelian kernel G of order 22. But | G / G |=7, which implies that G is abelian, a contradiction.

Subsubcase 3.3.3. Two of λ, μ and η are non-linear.

Without loss of generality, let μ(1)>1, η(1)>1 and λ(1)=1. In this case, we have that | G / G |=4. By the same arguments as in Subsubcase 3.2.2, G has exactly six non-linear irreducible characters μ, μ g , μ g 2 , η, η g and η g 2 , where gG G . It follows that G has exactly three non-linear irreducible characters, and so (3) holds. This completes the proof of Theorem A. □

4 Proof of Theorem B

Let G be a V(p+1)-groups, where p is the minimal odd prime divisor of its order. Obviously, G is a solvable group since G is a group of odd order. In this section, we give the proof of Theorem B.

Proof of Theorem B If G is an abelian group, obviously G is a V(p+1)-group, and so we may assume that G is a non-abelian group. We divide the proof into two cases up to the order |G/ G |.

Case 1. |G/ G |>p.

Let φ be a non-linear irreducible character of G . If φ is extendible to an irreducible character χIrr(G), then there are |G/ G | distinct irreducible characters of the form λχ of G,λIrr(G/ G ). Obviously, λχ vanishes at which φ vanishes. Hence |G/ G |=p+1. Since p is the minimal prime divisor |G|, p=2, a contradiction. Therefore, only the principal character of G is extendible to an irreducible character of G.

For a non-principal character φ G , by Lemma 3.1, U φ exists and | U φ / G |=1 or p by the minimality of p. Now, consider the action of G on Irr( G ){ 1 G } by g:θ θ g for θIrr( G ) and gG.

Subcase 1.1. This action has at least p+2 orbits.

In this case, we can take p+2 irreducible characters of G , say φ 1 , φ 2 ,, φ p + 2 , from p+2 different orbits respectively. So φ 1 , φ 2 ,, φ p + 2 can give rise to at least p+2 distinct irreducible characters of G and all of them vanish on G i = 1 p + 2 U φ i , which implies G= i = 1 p + 2 U φ i . Since | U φ / G |=1orp, |G/ G |p(p+1). Hence, |G/ G |= p 2 orr, where r is a prime and r>p. If |G/ G |= p 2 , then G has at least p+1 subgroups U φ i satisfying the equality | U φ i / G |=p, where i=1,2,,p+1. It follows that there are exactly p irreducible characters of G lying over φ i and vanishing on G U φ i for each i. Since G= i = 1 p + 2 U φ i , we have that the intersection (G U φ i )(G U φ j ) is not empty for ij. Let x be an element of (G U φ i )(G U φ j ). Then there are 2p irreducible characters of G lying over φ i , φ j and vanishing at x, which leads to a contradiction. Now, we consider the case that |G/ G |=r. In this case, φ i G Irr(G), where i=1,2,,p+2, and so the p+2 irreducible characters φ 1 G , φ 2 G ,, φ p + 2 G vanish on G G , an obvious contradiction. Therefore, there are at most p+1 orbits of the action of G on {Irr( G )}{ 1 G }.

Subcase 1.2. This action has k orbits, where 3kp+1.

We can choose k irreducible characters of G , say φ 1 , φ 2 ,, φ k , lying in each of k different orbits respectively. If one of the k irreducible characters, for example, φ 1 satisfies | U φ 1 / G |=p, then there are at least p+2 irreducible characters of G lying over φ 1 , φ 2 ,, φ k and vanishing on G i = 1 k U φ i , which forces G= i = 1 k U φ i . Hence p<|G/ G |<kp, and then |G/ G |=q. But p is the minimal divisor of |G|, a contradiction to | U φ 1 / G |=p. Therefore, we have that | U φ i / G |=1 where i=1,2,,k, and hence G has at most p+1 non-linear irreducible characters. By Lemma 2.7, one has that either G is an extra special p-group or a Frobenius group with an elementary abelian kernel.

Let φIrr( G ) and θIrr( T φ |φ). Since U φ = G , we have that θ(1)= | T φ / G | φ(1). It follows that χ(1)=|G/ T φ |θ(1)=|G/ T φ | | T φ / G | φ(1), where χIrr(G|φ). Hence, for each χ Irr 1 (G)χ(1) is divided by every prime divisor of |G/ G |. By [4], Theorem 12.2], G has a normal q-complement, and so G has a normal π(G/ G )-complement. Let N q denote the normal q-complement of G, where q is a prime divisor of |G/ G |.

Subsubcase 1.2.1. If π(G/ G )=π(G), then either G is an abelian group or an extra special p group. In the case that the desired conclusion (i) or (ii) holds.

Subsubcase 1.2.2. Suppose that π(G/ G )π(G) and G is not nilpotent. In the following, we will show that G/ N q is abelian for every prime divisor q of |G/ G |.

We first prove that if p||G/ G |, then G/ N p is an abelian group. Suppose G/ N p is non-abelian. By Lemma 2.7, G/ N p is an extra special group. So G/ N p has p1 non-linear irreducible characters, which implies that | Irr 1 (G| N p )|2. Hence, one has that the action of G/ N p on the set {Irr( N p )}{ 1 N p } has at most 2 orbits. If N p is non-abelian, then the action of G/ N p on the set {Lin( N p )}{ 1 N p } has exactly one orbit. Thus, (| N p / N p |1)| p 2 n + 1 , which implies that | N p / N p | is an even number, a contradiction. Hence, N p is an abelian group. Next, we assert that N p is the minimal normal subgroup of G. Assume the contrary. Let and M< N p . Obviously, the action of G on the set {Irr(M)}{ 1 M } has exactly one orbit. By the same reasoning as above, one has that |M/ M | is an even number, a contradiction; and so the assertion holds. Assume that N p is an elementary abelian q-group (qp). Till now, we get that G is a Frobenius group with a kernel N p and an extra-special complement of order p n . However, it is easy to check that no such group G exists, which leads to a contradiction.

Next, we prove that G/ N q is an abelian group for qp. If G/ N q is non-abelian, then G/ N q has at least q1 non-linear irreducible characters by Lemma 2.2. But G has at most p+1 non-linear irreducible characters, which implies that N q =1, a contradiction.

Set K= N q . Then K is a normal π(G/ G )-complement of G and G K. Since G is solvable, we have that G has a Hall-(π(G)π(G/ G )) subgroup H. Obviously, H is a Hall-(π(G)π(G/ G )) subgroup of G. In this case, one has that K=H G , and hence K= G . Set 1 G λIrr( G ) and μIrr( T λ |λ). Since (| G |,|G/ G |)=1, one has that λ is extendible to μ. Furthermore, λ is fully-ramified with respect to T λ , which implies that T λ = G . By Lemma 2.4, G is a Frobenius group with a kernel G and a cyclic complement L. Since G has at most p+1 non-linear irreducible characters, one has that | G |(p+1)|L|+1, where pq. Hence, (iii) holds.

Subcase 1.3. This action has at most two orbits.

If the action of G on {Irr( G ) 1 G } has exactly one orbit, then | G / G | is an even number, a contradiction. Now, we have that the action of G on the set {Irr( G ) 1 G } has exactly two orbits. By the same reasoning as above, one has that G is an abelian and a minimal normal subgroup of G. We can take two irreducible characters of G , say φ 1 and φ 2 , from the two different orbits respectively. If both φ 1 and φ 2 satisfy | U φ i / G |=p, then there are 2p irreducible characters of G lying over φ 1 and φ 2 and vanishing on G i = 1 2 U φ i , which implies G= i = 1 2 U φ i . But this is impossible since U φ i G. If one of φ 1 and φ 2 , for example φ 1 satisfies | U φ 1 / G |=p, then G has exactly p+1 non-linear irreducible characters. Moreover, we have G=HK is a Frobenius group with an elementary abelian kernel K and a cyclic complement H. Since HG/K is abelian, one has that G K. On the other hand, we know that | Irr 1 (G| G )|=p+1, which implies that G =K. Thus | U φ 1 / G |=1, a contradiction. Therefore, we have that | U φ i / G |=1, where i=1,2. In the case that G has exactly two non-linear irreducible characters. By Lemma 2.6, one has that G is an extra special p-group, as desired.

Case 2. |G/ G |=p.

Let χ be a non-principle irreducible character of G and θ an irreducible constituent of χ G . In this case, we have that χ G =θ or χ= θ G . If χ= θ G , then χ vanishes on G G , which implies that G has at most p+1 irreducible characters induced from irreducible characters of G .

Since the non-principle linear irreducible characters of G are not extendible to G, one has that | G / G |=kp+1, where 0<kp+1. One the other hand, since p is the minimal prime divisor of |G|, we get that | G / G |=kp+1. Let β be a non-principle irreducible character of G and φ an irreducible character of G such that [ β G ,φ]0. Then β G =φ or β= φ G .

Subcase 2.1. If G is an abelian group, then G is isomorphic to the group listed in (iii).

Since G is abelian, it follows by Lemma 2.1 that G is a Frobenius group with a kernel G and a cyclic complement L of order p, where G is a cyclic group of order kp+1 and k<p, as desired.

Subcase 2.2. If G is not abelian, then there is no such group. In order to prove this, we write the proof into two subsubcases.

Subsubcase 2.2.1. Suppose there exists an irreducible character δIrr( G ) such that δ is extendible to G.

We first prove that δ G is reducible and δ is the unique character of G which is extendible to G. Let φIrr( G ) such that [ δ G ,φ]0. Suppose δ G is irreducible, then δ G =φ. Let L={λδ|λIrr( G / G )} be the set of all extensions of φ. If one of the elements in L{δ}, say λδ, is extendible to G, then G has 2p non-linear irreducible characters lying over δ and λδ, and the 2p non-linear irreducible characters vanish at the elements where φ vanishes, contrary to G is a V(p+1) group. Therefore, all the elements of L{δ} are not extendible to G. It is easy to check that ( λ δ ) G = ( λ δ ) G g == ( λ δ ) G g p 1 =φ for each gG G , where λδL. So ( λ δ ) G vanishes at the elements where φ vanishes. Hence, G has exactly p irreducible characters lying over δ and k irreducible characters lying over other characters in L, and the p+k irreducible characters vanish on the elements where φ vanishes, contrary to k2. Thus δ G is reducible. If δγIrr( G ) is extendible to G, by the same arguments as above, one has that γ is reducible, which implies that both δ and γ vanish at G G . Moreover, G has 2p non-linear irreducible characters lying over δ and γ, and the 2p characters vanish on the elements of G G , which leads to a contradiction since G is a V(p+1) group. Hence, δ is the unique character of G which is extendible to G.

Let η Irr 1 ( G ) such that η is reducible. If η= θ G for some θIrr( G ), then t 1 =|G: I G (θ)||G: G |=pkp+1. Since t=| G : I G (θ)|=kp+1, we have that t 1 =|G: G |=p(kp+1), which implies that η g is reducible for any gG. On the other hand, if η G is irreducible, by the same reason as above, one has that η g is irreducible for any gG. It is easy to check that if two of the characters η, η g ,, η g p 1 are extensions of μ for some gG G and μIrr( G ), then all the characters η, η g ,, η g p 1 are extensions of μ. Hence, we can get that Irr 1 ( G )={δ} or Irr 1 ( G )={δ,η, η g ,, η g p 1 }. If Irr 1 ( G )={δ}, then G is abelian and | G |=kp+2 which is an even number, a contradiction. So Irr 1 ( G )={δ,η, η g ,, η g p 1 }. Let δ= λ G and η= θ G where λ,θIrr( G ). If λ(1)=1 and θ(1)>1, then | G / G |=δ(1)+1, which is an even number, a contradiction. Also, if λ(1)>1 and θ(1)=1, then | G / G |=p(kp+1)+1, a contradiction. Hence, λ(1)=θ(1)=1, so G is abelian and | G |=(kp+1)(p+1)+1 (co-prime to kp+1), |G/ G |=(kp+1)p, η(1)= η g (1)== η g p 1 (1)=kp+1, δ(1)=kp+1, and so cd 1 (G)={p(kp+1),kp+1}. Therefore, G has a normal (kp+1)-complement H. Moreover, we have that G <H and |H/ G |=p, and so G/ G is abelian, a contradiction.

Subsubcase 2.2.2. Suppose all the non-linear irreducible characters of G are not extendible to G.

By Lemma 2.3, G is a Frobenius group with a kernel G and a cyclic complement L of order p. Furthermore, we have that G has at most p+1 non-linear irreducible characters. It follows by Lemma 2.6 that G is an elementary q-group and | G |mp+1, where mp+1. But G is a non-solvable group, an obvious contradiction.

Conversely, it is easy to check that all these groups listed in Theorem B are obvious V(p+1)-groups. This completes the proof of Theorem B. □

References

  1. Moretó A, Sangroniz J: On the number of zeros in the columns of the character table of a group. J. Algebra 2004, 279: 726–736. 10.1016/j.jalgebra.2004.01.016

    Article  MathSciNet  MATH  Google Scholar 

  2. Chillag D: On zeros of characters of finite groups. Proc. Am. Math. Soc. 1999, 127: 977–983. 10.1090/S0002-9939-99-04790-5

    Article  MathSciNet  MATH  Google Scholar 

  3. Gagola SM: Characters vanishing on all but two conjugacy classes. Pac. J. Math. 1983, 109: 363–385.

    Article  MathSciNet  MATH  Google Scholar 

  4. Isaacs IM: Character Theory of Finite Groups. Academic Press, New York; 1976.

    MATH  Google Scholar 

  5. Isaacs IM, Navarro G: Finite group elements where no irreducible character vanishes. J. Algebra 1999, 222: 413–423. 10.1006/jabr.1999.8007

    Article  MathSciNet  MATH  Google Scholar 

  6. Qian G: Finite groups in which each irreducible character has at most two zeros. Adv. Math. (China) 2002, 32(1):77–78.

    Google Scholar 

  7. Qian G: Bounding the fitting height of a solvable group by the number of zeros in a character table. Proc. Am. Math. Soc. 2002, 130: 3171–3176. 10.1090/S0002-9939-02-06452-3

    Article  MathSciNet  MATH  Google Scholar 

  8. Qian, G: Arithmetical conditions of characters and the structures of finite group. PhD thesis, Wuhan University (2002)

  9. Qian G: Multiplicity of character degrees and the structure of solvable groups. Acta Math. Sin. 2004, 47(1):125–130.

    MathSciNet  MATH  Google Scholar 

  10. Seitz G: Finite groups having only one irreducible representation of degree greater than one. Proc. Am. Math. Soc. 1968, 19: 459–461. 10.1090/S0002-9939-1968-0222160-X

    Article  MathSciNet  MATH  Google Scholar 

  11. Wolf TR: Character correspondences in solvable groups. Ill. J. Math. 1978, 22: 327–340.

    MathSciNet  MATH  Google Scholar 

  12. Xu HJ, Zhang GX: The distribution of zeros in the character tables and the structure of finite groups. J. Southwest China Norm. Univ. 2006, 31(2):13–15. in Chinese

    Google Scholar 

  13. Xu HJ, Zhang GX, Chen GY: Finite groups of odd order which have at most p zeros in every column of the character table. Chin. Ann. Math., Ser. A 2009, 30: 291–296.

    MathSciNet  MATH  Google Scholar 

  14. Yang CF: A characterization of Frobenius groups with characters. J. Southwest China Norm. Univ. 2001, 26(2):129–131.

    MathSciNet  Google Scholar 

  15. Zhang GX: The finite groups who have only two non-linear irreducible character degrees. Chin. Ann. Math., Ser. A 1996, 17(2):227–232.

    Google Scholar 

  16. Zhu LR, Zeng JW: The finite groups with the same degree and the prime number of non-linear irreducible characters. Adv. Math. 2008, 38(2):199–203.

    MathSciNet  Google Scholar 

  17. Zhmud EM: On finite groups having an irreducible complex character with one class of zeros. Sov. Math. Dokl. 1979, 20: 795–797.

    MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

Supported by Natural Science Foundation of China (Grant No.11171364); by ‘the Fundamental Research Funds for the Central Universities’ (Grant No. XDJK2012D004; XDJK2009C074) and Natural Science Foundation Project of CQ CSTC (Grant No. cstc2011jjA00020; cstc2012jjA0038); by Graduate-Innovation Funds of Science of SWU (ky2009013).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Haijing Xu.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

YY carried out the study of the zeros in the character table of group of odd order. HX and GC carried out the study of the zeros in the character table of group of even order. All authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Yan, Y., Xu, H. & Chen, G. On finite groups with their character tables having at most p+1 zeros in each column. J Inequal Appl 2012, 152 (2012). https://doi.org/10.1186/1029-242X-2012-152

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1029-242X-2012-152

Keywords