 Research
 Open access
 Published:
On finite groups with their character tables having at most p+1 zeros in each column
Journal of Inequalities and Applications volume 2012, Article number: 152 (2012)
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 wellknown theorem of Burnside stating that any nonlinear 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 \theta (x) be a character, and A be a subset of G. For x\in A, if \theta (x)=0, we say θ vanishes at x. If \theta (x)=0 for any x\in A, 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 p\ne 2.
For p=2, we have the following theorem.
Theorem A Let G be solvable such that2G. Then G is aV(2+1)group if and only if one of the following holds:

(1)
G has exactly one nonlinear irreducible character;

(2)
G has exactly two nonlinear irreducible characters;

(3)
G has exactly three nonlinear irreducible characters;

(4)
G has a normal series1<{G}^{\u2033}<{G}^{\prime}<G, whereG/{G}^{\prime}=2, {G}^{\prime}/{G}^{\u2033}=3, G/{G}^{\u2033}\cong {S}_{3}, and{G}^{\u2033}\cong {D}_{8}\text{or}{Q}_{8};

(5)
G\cong {G}^{\prime}\u22ca{Z}_{2}, where{G}^{\prime}={Z}_{2}^{3}\u22ca{Z}_{7}is a Frobenius group;

(6)
G\cong {G}^{\prime}\u22ca{Z}_{2}, where{G}^{\prime}={Z}_{2}^{4}\u22ca{Z}_{5}is a Frobenius group, and the action of G on the set{Irr}_{1}({G}^{\prime})is nontrivial;

(7)
G\cong {G}^{\prime}\u22ca{Z}_{3}, where{G}^{\prime}\cong {Q}_{8}\text{or}{D}_{8};

(8)
G\cong {G}^{\prime}\u22ca{Z}_{3}, where{G}^{\prime}\cong {Z}_{2}^{3}\u22ca{Z}_{7}is a Frobenius group;

(9)
G is abelian.
Forp\ne 2, 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:

(i)
G is abelian;

(ii)
G is an extraspecial pgroup;

(iii)
G={G}^{\prime}\u22caLis a Frobenius group with an elementary abelian kernel{G}^{\prime}and a cyclic complement L, and{G}^{\prime}1\le (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)
G is abelian;

(2)
G has exactly one nonlinear irreducible character, and one of the following holds:
(2.1) G is an extraspecial 2group;
(2.2) G=N\u22caHis a Frobenius group with a kernel N and a complement H, where H is an abelian group and N is an elementary abelian pgroup such thatH=N1.
Lemma 2.2 ([1], Theorem B])
Let x be an element in a pgroup P with{x}^{P}={p}^{b}. Then there exist at leastb(p1)nonlinear 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). IfG/{G}^{\prime}=2, then one of the following occurs:

(1)
G\cong {S}_{3};

(2)
G\cong {Z}_{5}\u22ca{Z}_{2}is a Frobenius group with a kernel{Z}_{5}and a complement{Z}_{2};

(3)
G\cong {S}_{4}.
IfG/{G}^{\prime}\ne 2, G is πnilpotent and a normal πcomplement of G is nonabelian, where\pi =\pi (G/{G}^{\prime}), then one of the following occurs:

(i)
G=K\u22caHis 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};

(ii)
G=K\u22caAis a Frobenius group with an elementary abelian kernel K of order 81 and a complement A, whereA/Z(A)\cong {Z}_{5}\u22ca{Z}_{4}andZ(A)=2;

(iii)
G\cong AB, where A is a cyclic subgroup of order 4 and B is an extraspecial group of order 27;

(iv)
G is the normalizer of a Sylow 2group of the simple groupSz({2}^{2m+1}).
Lemma 2.4 ([14])
Let G be a finite group and1\ne N\u25c1G. Then G is a Frobenius group with a kernel N if and only if{\theta}^{G}is irreducible for any\theta \in Irr(N)and\theta \ne {1}_{N}.
Lemma 2.5 ([10])
A finite solvable group G has exactly one nonlinear irreducible character if and only if one of the following holds:

(1)
G is an extraspecial 2group;

(2)
G=N\u22caHis a Frobenius group with an elementary abelian kernel N and an abelian complement H such thatH=N1.
Lemma 2.6 ([15], Theorem 2])
A finite solvable group G has exactly two nonlinear irreducible characters if and only if one of the following holds:

(1)
G is an extraspecial 3group;

(2)
G=N\u22caHis a Frobenius group with an elementary abelian kernel N and an abelian complement H such that2H=N1;

(3)
G=({Z}_{3}\times {Z}_{3})\u22ca{Q}_{8}is a Frobenius group with a Frobenius complement{Q}_{8};

(4)
G is an 2group of class 3, and G has a normal series1\u25c1Z(G)\u25c1{G}^{\prime}\u25c1Gsatisfying the conditions: G/Z(G)is an extra special 2group, {G}^{\prime}=4andZ(G)=2;

(5)
G is an 2group of class 2, and G has a normal series1\u25c1{G}^{\prime}\u25c1Z(G)\u25c1Gsatisfying the conditions: G/Z(G)is an elementary abelian group, {G}^{\prime}=2andZ(G)=4;

(6)
G/Z(G)\cong N\u22caHis a Frobenius group with an elementary abelian kernel N and an abelian complement H such thatH=N1. Furthermore, Z(G)\cong {Z}_{2}andZ(G)\cap {G}^{\prime}=1.
Lemma 2.7 ([9], Corollary 1])
Let G be a nonabelian group of odd order and p be the minimal prime divisor ofG. Then G has at most 2p irreducible characters of degree m where1\ne m\in cd(G)if and only if one of the following occurs:

(1)
G is an extraspecial pgroup;

(2)
G=K\u22caHis a Frobenius group with an elementary abelian kernel K and a cyclic complement H. Moreover, K1\le (2p2)H.
Lemma 2.8 ([16], Theorem 2.3])
Let G be nonnilpotent and{Irr}_{1}(G)=q, where q is a prime number. Thencd(G)=2if and only if one of the following assertions holds:

(1)
F(G)is abelian, G:F(G)=F(G):{G}^{\prime}=p, p is a prime divisor of, {G}^{\prime}1is a prime number;

(2)
G={G}^{\prime}\u22caA, {G}^{\prime}is an abelian pgroup and A is cyclic, A=q({G}^{\prime}1) (q is a prime number), G/Z(G)is a Frobenius group with a Frobenius kernel isomorphic to{G}^{\prime}and a cyclic Frobenius complement of order{G}^{\prime}1;

(3)
G={N}_{1}\times {N}_{2}, where{N}_{1}is a Frobenius group with an elementary abelian kernel N and a cyclic complement H such thatN1=H. Moreover, {N}_{2}=q, where q is a prime number;

(4)
G is a Frobenius group with an elementary abelian kernel N and a cyclic complement H such thatqH=N1, 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, \phi \in Irr({G}^{\prime})\setminus \{1\}and{T}_{\phi}be the inertia group of φ. There exists a subgroup{G}^{\prime}\le {U}_{\phi}\le {T}_{\phi}such that{U}_{\phi}/{G}^{\prime}\le k. Moreover, for each\varphi \in Irr({U}_{\phi})such that{\varphi}_{{G}^{\prime}}=\phi, there exists a unique\chi \in Irr(G), lying over ϕ and vanishing onG\setminus {U}_{\phi}. Hence there are at least{U}_{\phi}/{G}^{\prime}irreducible characters of G, lying over φ and vanishing onG\setminus {U}_{\phi}.
Proof By [11], Lemma 2.2], there exists {G}^{\prime}\le {U}_{\phi}\le {T}_{\phi} such that φ is extendible to \varphi \in Irr({U}_{\phi}) and ϕ and φ are fully ramified with respect to {T}_{\phi}/{U}_{\phi}.
Note {T}_{\phi}\u25c1G for {G}^{\prime}\le {T}_{\phi}. Applying Clifford theory, we see that there exists a unique \chi \in Irr(G) such that [{\chi}_{{U}_{\phi}},\varphi ]\ne 0 and χ vanishes on G\setminus {U}_{\phi}.
Suppose ϕ vanishes at x. So is λϕ for each \lambda \in Irr({U}_{\phi}/{G}^{\prime}). Note that φ is also extendible to (\lambda \varphi ). Since G is a V(k)group, {U}_{\phi}/{G}^{\prime}\le k. □
In practice, we always choose {U}_{\phi} 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 nonabelian solvable group. We divide the proof into 3 cases by the order of G/{G}^{\prime}.
Case 1. If G/{G}^{\prime}>3, we claim that G is one of the groups in (1), (2) and (3).
Let φ be a nonlinear irreducible character of {G}^{\prime}. If φ is extendible to an irreducible character \chi \in Irr(G), then the irreducible characters of the form λχ for \lambda \in Irr(G/{G}^{\prime}) are G/{G}^{\prime} distinct irreducible characters of G by [4], Theorem 6.17], which vanish at the elements as φ. Hence G/{G}^{\prime}\le 3, a contradiction. For each nonprinciple character \phi \in Irr({G}^{\prime}), by Lemma 3.1, there exists {U}_{\phi} such that {U}_{\phi}/{G}^{\prime}\le 3. Now we consider the action of G on the set of Irr({G}^{\prime})\setminus \{{1}_{{G}^{\prime}}\} by g:\theta \to {\theta}^{g} for \theta \in Irr({G}^{\prime}) and g\in G.
Subcase 1.1. The action of G on \{Irr({G}^{\prime})\}\setminus \{{1}_{{G}^{\prime}}\} has at least four orbits.
Let {\phi}_{i} (i=1,2,3,4) be nonprincipal irreducible characters of {G}^{\prime} from four different orbits. By Lemma 3.1, there exists {\chi}_{i}\in Irr(G) such that [{\chi}_{i{G}^{\prime}},{\phi}_{i}]\ne 0. Then {\chi}_{i} vanishes on G\setminus {\bigcup}_{i=1}^{4}{U}_{{\phi}_{i}}, i=1,2,3,4, which implies G={\bigcup}_{i=1}^{4}{U}_{{\phi}_{i}}. Since {U}_{\phi}/{G}^{\prime}\le 3, G/{G}^{\prime}\le 9. If G/{G}^{\prime}=9, then {U}_{{\phi}_{i}}/{G}^{\prime}=3, where i=1,2,3,4. By Lemma 3.1, for each i, there are exactly three irreducible characters {\chi}_{i1}, {\chi}_{i2} and {\chi}_{i3} of G, lying over {\phi}_{i} and vanishing on G\setminus {U}_{{\phi}_{i}}. Since {U}_{{\phi}_{i}} is proper in G, (G\setminus {U}_{{\phi}_{i}})\cap (G\setminus {U}_{{\phi}_{j}})\ne \mathrm{\varnothing} for i\ne j. Let x\in (G\setminus {U}_{{\phi}_{i}})\cap (G\setminus {U}_{{\phi}_{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}^{\prime}=4,5,6,7\text{or}8.
Subcase 1.2. The action of G on \{Irr({G}^{\prime})\}\setminus \{{1}_{{G}^{\prime}}\} has exactly three orbits.
Let {\phi}_{i}\in Irr({G}^{\prime}) (i=1,2,3) be nonprincipal irreducible characters from different orbits. If {\phi}_{i} satisfies {U}_{{\phi}_{1}}/{G}^{\prime}=2\text{or}3, then, by Lemma 3.1, there are at least four irreducible characters of G, lying over {\phi}_{1}, {\phi}_{2} or {\phi}_{3} and vanishing on G\setminus {\bigcup}_{i=1}^{3}{U}_{{\phi}_{i}}, which implies G={\bigcup}_{i=1}^{3}{U}_{{\phi}_{i}} for G is a V(2+1)group. Since G/{G}^{\prime}\ge 4, there are at least two of these irreducible characters {\phi}_{i}, satisfying {U}_{{\phi}_{i}}/{G}^{\prime}\ge 2. By Lemma 3.1, there are at least four irreducible characters of G, vanishing at an element, a contradiction. Hence {U}_{{\phi}_{i}}/{G}^{\prime}=1 for i=1,2,3, which implies that G has exactly 3 nonlinear irreducible characters.
Subcase 1.3. The action of G on \{Irr({G}^{\prime})\}\setminus \{{1}_{{G}^{\prime}}\} has exactly two orbits.
We can choose two irreducible characters of {G}^{\prime}, say {\phi}_{1} and {\phi}_{2}, from two different orbits respectively. If one of {\phi}_{1} and {\phi}_{2}, for example, {\phi}_{1} satisfies {U}_{{\phi}_{1}}/{G}^{\prime}=3, then there are at least four irreducible characters of G lying over {\phi}_{1} and {\phi}_{2} and vanishing on G\setminus {\bigcup}_{i=1}^{2}{U}_{{\phi}_{i}}. Since G is a V(2+1)group, it follows that G={\bigcup}_{i=1}^{2}{U}_{{\phi}_{i}}. Hence, G={U}_{{\phi}_{1}}\text{or}{U}_{{\phi}_{2}}, which is clearly impossible since G:{G}^{\prime}>3. If {\phi}_{1} and {\phi}_{2} satisfy {U}_{{\phi}_{i}}/{G}^{\prime}=2, where i=1,2, then there are at least four nonlinear irreducible characters of G lying over {\phi}_{1} and {\phi}_{2} and vanishing on G\setminus {\bigcup}_{i=1}^{2}{U}_{{\phi}_{i}}, which implies G={\bigcup}_{i=1}^{2}{U}_{{\phi}_{i}}. Hence, G:{G}^{\prime}\le 3, a contradiction. Therefore, there is at most one of the two irreducible characters {\phi}_{1} and {\phi}_{2} satisfying {U}_{{\phi}_{i}}/{G}^{\prime}=2, which implies that G has at most 3 nonlinear 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}^{\prime})\}\setminus \{{1}_{{G}^{\prime}}\} has exactly one orbit.
Since {U}_{\phi}/{G}^{\prime}\le 3, G has at most three nonlinear 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}^{\prime}=2. Then G is one of the groups listed in conclusion (1)(6).
Let χ be a nonprinciple irreducible character of G and θ an irreducible constituent of {\chi}_{{G}^{\prime}}. In this case, we have that {\chi}_{{G}^{\prime}}=\theta or \chi ={\theta}^{G}. If \chi ={\theta}^{G}, then χ vanishes on G\setminus {G}^{\prime}, which implies that G has at most three nonlinear irreducible characters induced by those of {G}^{\prime}.
Subcase 2.1. G has exactly one irreducible character, say β, induced from an irreducible characters of {G}^{\prime}, say λ.
We have seen that \lambda (1)=1. There are exactly three linear characters in Irr({G}^{\prime}). Using Lemma 3.1, there exists at most one zero in each column of the character table of {G}^{\prime}. By Lemma 2.1, {G}^{\prime} is abelian or has exactly one nonlinear irreducible character. If {G}^{\prime} is a nonabelian group, let φ be the unique nonlinear irreducible character of {G}^{\prime} and {\chi}_{{G}^{\prime}}=\phi, where \chi \in Irr(G). Then G has exactly three nonlinear irreducible characters χ, ξχ and {\lambda}^{G}, where \xi \in Irr(G/{G}^{\prime})\setminus \{{1}_{G}\}. Clearly, {\lambda}^{G}(1)=2. If \chi (1)=2, then G=2+12=14, and {G}^{\prime}=7, contrary to G is nonabelian. Therefore, \chi (1)=\xi \chi (1)\ne 2. By Lemma 2.3, G\cong {S}_{4}, and G is in (3). If {G}^{\prime} is abelian, then {G}^{\prime}=3. Hence G=6 and G\cong {S}_{3}, and G is in (1).
Subcase 2.2. G has exactly two irreducible characters induced from irreducible characters of {G}^{\prime}. Let β, α be the two irreducible characters such that \beta ={\lambda}^{G} and \alpha ={\mu}^{G}, where \beta ,\alpha \in Irr(G) and \lambda ,\mu \in Irr({G}^{\prime}).
Subsubcase 2.2.1. If λ and μ are linear, then G is a group as in the conclusion (2).
In the case {G}^{\prime} has five linear characters ({G}^{\prime}/{G}^{\u2033}=5), and all nonlinear irreducible characters of {G}^{\prime} 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}^{\prime}. By Lemma 2.1, we have that {G}^{\prime} either is abelian or has exactly one nonlinear irreducible character.
If {G}^{\prime} is abelian, then G has exactly two nonlinear irreducible characters. Hence, G is isomorphic to the group listed in (2) by Lemma 2.5.
If {G}^{\prime} is a nonabelian group, let φ be the unique nonlinear irreducible character of {G}^{\prime} and {\chi}_{{G}^{\prime}}=\phi, where \chi \in Irr(G). Then G has exactly four nonlinear irreducible characters χ, ξχ, {\lambda}^{G} and {\mu}^{G}, where {1}_{G}\ne \xi \in Irr(G/{G}^{\prime}). Since G/{G}^{\prime}=2, it follows that {\lambda}^{G}(1)={\mu}^{G}(1)=2. If \chi (1)=\xi \chi (1)={\lambda}^{G}(1)={\mu}^{G}(1)=2, then G=2+16=18. Hence, {G}^{\prime}=9, which implies that {G}^{\prime} is abelian, a contradiction. Therefore, \chi (1)=\xi \chi (1)\ne 2, {\lambda}^{G}(1)={\mu}^{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 nonlinear, then G is one of the groups in (2) and (4).
Without loss of generality, let \mu (1)>1 and \lambda (1)=1. In this case, one has that {G}^{\prime}/{G}^{\u2033}=3 and G/{G}^{\prime}=2, and so G/{G}^{\u2033}\cong {S}_{3}. Now, we assert that {G}^{\prime} has at most two nonlinear irreducible characters except μ and {\mu}^{g} for each g\in G\setminus {G}^{\prime}. Otherwise, we can choose three such irreducible characters of {G}^{\prime}, say {\varphi}_{1}, {\varphi}_{2} and {\varphi}_{3}. We first assume that one of the three irreducible characters is extended by an irreducible character of {G}^{\u2033}. Let {\varphi}_{1{G}^{\u2033}}=\delta where \delta \in Irr({G}^{\u2033}). Since {\varphi}_{i} is extendible to G, we have that {\varphi}_{i} does not vanish for any element while {\varphi}_{j} vanishes if j\ne i, which implies that μ, {\mu}^{g} and {\varphi}_{1} are the three extensions of β, but {\varphi}_{2} and {\varphi}_{3} can not be extended by an irreducible character of {G}^{\u2033}. Let {\xi}_{1},{\xi}_{2}\in Irr({G}^{\u2033}) such that {\varphi}_{2}={\xi}_{1}^{{G}^{\prime}} and {\varphi}_{3}={\xi}_{2}^{{G}^{\prime}}. Then both {\varphi}_{2} and {\varphi}_{3} vanish on {G}^{\prime}\setminus {G}^{\u2033}, a contradiction. In this case, the above assertion holds. Next, we assume that {\varphi}_{1}, {\varphi}_{2} and {\varphi}_{3} are not extended by an irreducible character of {G}^{\u2033}. Then each of them is induced by an irreducible character of {G}^{\u2033}, which implies that the irreducible characters {\varphi}_{1}, {\varphi}_{2} and {\varphi}_{3} vanish on {G}^{\prime}\setminus {G}^{\u2033}, a contradiction.
Now, we have that {G}^{\prime} has at most four nonlinear irreducible characters. If {G}^{\prime} has exactly two nonlinear irreducible characters, then G has exactly two nonlinear irreducible characters {\lambda}^{G} and {\mu}^{G}, which concludes (2) in this case. Suppose {G}^{\prime} has exactly three nonlinear irreducible characters, say μ, {\mu}^{g} and {\varphi}_{1}. By the same arguments as above, we have that either the irreducible characters μ, {\mu}^{g} and {\varphi}_{1} can be extended by an irreducible character of {G}^{\u2033} or induced by an irreducible characters of {G}^{\u2033}. If μ, {\mu}^{g} and {\varphi}_{1} are three extensions of an irreducible character of {G}^{\u2033}, then \mu (1)={\mu}^{g}(1)={\varphi}_{1}(1), which is impossible by Lemma 2.8. In the latter case, one has that {G}^{\prime} is a Frobenius group with a kernel {G}^{\u2033} by Lemma 2.4. Furthermore, since {G}^{\prime}/{G}^{\u2033}=3 and {G}^{\prime} has exactly three nonlinear irreducible characters, we get that {G}^{\u2033} is an abelian group. Hence {G}^{\u2033}=10, a contradiction to G/{G}^{\u2033}\cong {S}_{3}. Now, we have that {G}^{\prime} has four irreducible characters, denoted by μ, {\mu}^{g}, {\varphi}_{1} and {\varphi}_{2}. By the same argument as before, one has that μ, {\mu}^{g} and {\varphi}_{1} are three extensions of an irreducible character of {G}^{\u2033} and {\varphi}_{2}={\mu}^{{G}^{\prime}}, where \mu \in Irr({G}^{\u2033}). Since each linear character of {G}^{\u2033} is not extendible to {G}^{\prime}, \mu (1)=1, which implies that {G}^{\u2033} has exactly four linear characters and one nonlinear irreducible character. By Lemma 2.5, we have that {G}^{\u2033}\cong {D}_{8}\text{or}{Q}_{8}, and so G has normal series 1<{G}^{\u2033}<{G}^{\prime}<G, where G/{G}^{\prime}=2, {G}^{\prime}/{G}^{\u2033}=3, G/{G}^{\u2033}\cong {S}_{3}, {G}^{\u2033}\cong {D}_{8}\text{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}^{\prime}. Let \beta ={\lambda}^{G}, \alpha ={\mu}^{G} and \gamma ={\eta}^{G} be the three irreducible characters such that \beta ={\lambda}^{G}, \alpha ={\mu}^{G} and \gamma ={\eta}^{G}, where \beta ,\alpha ,\gamma \in Irr(G) and \lambda ,\mu ,\eta \in Irr({G}^{\prime}).
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}^{\prime} has seven linear characters ({G}^{\prime}/{G}^{\u2033}=7) and all nonlinear irreducible characters of {G}^{\prime} 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}^{\prime}. By Lemma 2.1, we have that {G}^{\prime} either is abelian or has exactly one nonlinear irreducible character.
If {G}^{\prime} is abelian, then G has exactly three nonlinear irreducible characters. In such case, (3) follows by Lemma 2.5.
If {G}^{\prime} is nonabelian, then {G}^{\prime}\cong K\u22caH, where K is an elementary abelian group of order 8 and H\cong {Z}_{7}. Therefore, G\cong (K\u22caH)\u22ca{Z}_{2}, and so (5) holds.
Subsubcase 2.3.2. If one of λ, μ or η is nonlinear, then G is one of groups in (3) and (6).
Without loss of generality, let \mu (1)>1 and \eta (1)=\lambda (1)=1. So {G}^{\prime}/{G}^{\u2033}=5. Take \xi \in Irr({G}^{\u2033}). If ξ is extendible to \delta \in Irr({G}^{\prime}), then the irreducible characters of the form ρδ for any \rho \in Irr({G}^{\prime}/{G}^{\u2033}) are all of the irreducible constituents of {\xi}^{{G}^{\prime}}. Hence, one has that there are at least three irreducible characters of the set \{\rho \delta \lambda \in Irr({G}^{\prime}/{G}^{\u2033})\} extendible to G, and the extensions have common zeros, a contradiction. Therefore, {\xi}^{{G}^{\prime}}\in Irr({G}^{\prime}) for every \xi \in Irr({G}^{\u2033}). Since {\xi}^{{G}^{\prime}} vanish on {G}^{\prime}\setminus {G}^{\u2033}, we have that {G}^{\prime} has at most three nonlinear irreducible characters. Otherwise, we can take four nonlinear irreducible characters μ, {\mu}^{g}, φ and ψ of {G}^{\prime}, where g\in {G}^{\prime}\setminus {G}^{\u2033}. 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}^{\prime}\setminus {G}^{\u2033}, a contradiction. By Lemma 2.4, {G}^{\prime} is a Frobenius group with an abelian kernel {G}^{\u2033}. We know that {G}^{\prime}/{G}^{\u2033}=5 and {G}^{\u2033} is an elementary abelian subgroup of order 16 or a cyclic subgroup of order 11. If {G}^{\u2033}=11, then G has exactly three irreducible characters {\lambda}^{G}, {\mu}^{G} and {\eta}^{G}. Hence (3) follows. If {G}^{\u2033}=16, then G\cong {G}^{\prime}\u22ca{Z}_{2}, where {G}^{\prime}=K\u22ca{G}^{\u2033} is a Frobenius group with an elementary abelian kernel {G}^{\u2033} of order 16 and a cyclic complement K of order 5; and the action of G on {Irr}_{1}({G}^{\prime}) is nontrivial. In such case, (6) follows.
Subcase 2.3.3. If two of λ, μ and η are nonlinear, then we claim that no such group exists.
Without loss of generality, let \mu (1)>1, \eta (1)>1 and \lambda (1)=1. In this case, {G}^{\prime}/{G}^{\u2033}=3. Let \xi \in Irr({G}^{\u2033}). Then either ξ is extendible to {G}^{\prime} or {\xi}^{{G}^{\prime}}\in Irr({G}^{\prime}). Moreover, we can get that any two irreducible characters of {G}^{\prime} which are not μ, {\mu}^{g}, η and {\eta}^{g} for some g\in G\setminus {G}^{\prime} have no common zeros. According to the properties of the distribution of zeros of G, we have that the nonlinear irreducible characters of {G}^{\prime} can only be one of the following two cases:

(a)
{G}^{\prime} has 7 irreducible characters, μ, {\mu}^{g}, η, {\eta}^{g}, δ, θ and χ, where {\xi}_{1},{\xi}_{2}\in Irr({G}^{\u2033}) and {\xi}_{1}\ne {\xi}_{2}\in Irr({G}^{\u2033}) such that {\delta}_{{G}^{\u2033}}={\xi}_{1} and {\theta}_{{G}^{\u2033}}={\xi}_{2}. On the other hand, μ, {\mu}^{g}, η, {\eta}^{g} are the four extensions of {\xi}_{1} and {\xi}_{2} while \chi ={\rho}^{{G}^{\prime}} where \rho \in Irr({G}^{\u2033}) and \rho (1)=1.

(b)
{G}^{\prime} has 5 or 6 irreducible characters μ, {\mu}^{g}, η, {\eta}^{g}, δ and θ (maybe there exists no such θ), where \xi ,\zeta ,\epsilon \in Irr({G}^{\u2033}) such that {\delta}_{{G}^{\u2033}}={\mu}_{{G}^{\u2033}}={\mu}_{{G}^{\u2033}}^{g}=\xi, \eta ={\zeta}^{{G}^{\prime}} and {\eta}^{g}={\epsilon}^{{G}^{\prime}}. If there exists such an irreducible character θ of {G}^{\prime}, then \theta ={\nu}^{{G}^{\prime}}, where \nu \in Irr({G}^{\u2033}).
In the former case (a), one has that {G}^{\u2033} has only two nonlinear irreducible characters with no common zeros, which is impossible by Lemma 2.1.
In the latter case (b), if \zeta (1)=1, then \epsilon (1)=1, which implies that {G}^{\u2033}/{G}^{\u2034}=7\text{or}10. Since ζ is a conjugate to ε in G, it follows that the quotient group G/{G}^{\u2033} isomorphic to a subgroup of {Z}_{4} or {Z}_{6}, a contradiction to G/{G}^{\u2033}\cong {S}_{3}. Hence, \nu (1)=1, and so {G}^{\u2033}/{G}^{\u2034}=4. By Clifford theorem, it is easy to see that {\eta}^{G} vanishes on {G}^{\u2033}\setminus {G}^{\u2034}. Let ω be an irreducible character of Irr({G}^{\u2033}/{G}^{\u2034}). Then \omega \xi \in Irr({G}^{\u2033}). If \omega \xi \ne \xi, then ωξ is a conjugate to μ or η, and so ξ vanishes on some elements in {G}^{\u2033}\setminus {G}^{\u2034}, which implies that {\mu}^{G}, {\eta}^{G} and the two extensions of δ to G have common zeros in {G}^{\u2033}\setminus {G}^{\u2034}, a contradiction.
Case 3. G/{G}^{\prime}=3. Then G is one of the groups in (1), (3) and (7).
Let χ be a nonprinciple irreducible character of G and θ be an irreducible constituent of {\chi}_{{G}^{\prime}}. In this case, we have that {\chi}_{{G}^{\prime}}=\theta or \chi ={\theta}^{G}. If \chi ={\theta}^{G}, then χ vanishes on G\setminus {G}^{\prime}, which implies that G has at most three irreducible characters induced from irreducible characters of {G}^{\prime}.
Subcase 3.1. If G has exactly one irreducible character induced from irreducible characters of {G}^{\prime}, 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}^{\prime}. By Lemma 2.1, {G}^{\prime} is abelian or has exactly one nonlinear irreducible character.
If {G}^{\prime} is a nonabelian group, {G}^{\prime} has exactly one irreducible nonlinear character. Then {G}^{\prime}/{G}^{\u2033}=4 and G/{G}^{\prime}=3. By Lemma 2.5, {G}^{\prime}\cong {D}_{8}\text{or}{Q}_{8}. Moreover, we can get that G\cong {D}_{8}\u22ca{Z}_{3}\text{or}{Q}_{8}\u22ca{Z}_{3}. Hence, (7) holds.
If {G}^{\prime} is an abelian group, then {G}^{\prime}=4, and so G=12. Hence, G\cong {A}_{4}, (1) holds.
Subcase 3.2. G has exactly two irreducible characters induced from irreducible characters of {G}^{\prime}. Let \beta ={\lambda}^{G} and \alpha ={\mu}^{G} be the two irreducible characters, where \beta ,\alpha \in Irr(G) and \lambda ,\mu \in Irr({G}^{\prime}).
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}^{\prime} has seven linear characters since {G}^{\prime}/{G}^{\u2033}=7 and all the nonlinear irreducible characters of {G}^{\prime} 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}^{\prime}. By Lemma 2.1, we get that {G}^{\prime} either is abelian or has exactly one nonlinear irreducible character.
If {G}^{\prime} is an abelian group, then G has exactly two nonlinear irreducible characters. In the case (2) follows by Lemma 2.5.
If {G}^{\prime} is a nonabelian group, then {G}^{\prime} is a Frobenius group with an elementary abelian kernel {G}^{\u2033} of order 8 and a complement H of order 7. Thus G\cong {G}^{\prime}\u22ca{Z}_{3}, and so (8) holds.
Subsubcase 3.2.2. If one of λ and μ is nonlinear, then there is no such group G.
Without loss of generality, let \mu (1)>1 and \lambda (1)=1. In this case, we have that {G}^{\prime}/{G}^{\u2033}=4 and G/{G}^{\prime}=3. Thus G/{G}^{\u2033}\cong {A}_{4}. We assert that {G}^{\prime} has exactly three nonlinear irreducible characters μ, {\mu}^{g} and {\mu}^{{g}^{2}}, where g\in G\setminus {G}^{\prime}. Assume the contrary; let δ be an irreducible character of {G}^{\prime} such that \delta \ne \mu ,{\mu}^{g}\text{and}{\mu}^{{g}^{2}}. According to the properties of the distribution of zeros of {G}^{\prime}, it is easy to know that μ vanishes on {G}^{\prime}\setminus {G}^{\u2033} and δ has zeros in {G}^{\prime}\setminus {G}^{\u2033}. Hence, all of the three irreducible characters lying over δ and {\mu}^{G} have common zeros, a contradiction. Therefore, G has exactly two nonlinear irreducible characters {\mu}^{G} and {\lambda}^{G}. Moreover, {\mu}^{G}(1)\ne {\lambda}^{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}^{\prime}. Let \beta ={\lambda}^{G}, \alpha ={\mu}^{G} and \gamma ={\eta}^{G} be the three irreducible characters, where \beta ,\alpha ,\gamma \in Irr(G) and \lambda ,\mu ,\eta \in Irr({G}^{\prime}).
Subsubcase 3.3.1. λ, μ and η are linear characters.
In this case, G/{G}^{\prime}=3 and {G}^{\prime}/{G}^{\u2033}=10, which is obviously impossible.
Subsubcase 3.3.2. One of λ, μ and η is nonlinear.
Without loss of generality, let \mu (1)>1 and \eta (1)=\lambda (1)=1. In this case, one has that {G}^{\prime}/{G}^{\u2033}=7. By the same arguments as in Subsubcase 2.3.2, for every \xi \in {Irr}_{1}({G}^{\prime}), it follows that there necessarily exists an irreducible character \vartheta \in Irr({G}^{\u2033}) such that \xi ={\vartheta}^{{G}^{\prime}}. Hence, {G}^{\prime} has exactly three nonlinear irreducible characters μ, {\mu}^{g} and {\mu}^{{g}^{2}}, where g\in G\setminus {G}^{\prime}. Then {G}^{\prime} is a Frobenius group with an abelian kernel {G}^{\u2033} of order 22. But {G}^{\prime}/{G}^{\u2033}=7, which implies that {G}^{\prime} is abelian, a contradiction.
Subsubcase 3.3.3. Two of λ, μ and η are nonlinear.
Without loss of generality, let \mu (1)>1, \eta (1)>1 and \lambda (1)=1. In this case, we have that {G}^{\prime}/{G}^{\u2033}=4. By the same arguments as in Subsubcase 3.2.2, {G}^{\prime} has exactly six nonlinear irreducible characters μ, {\mu}^{g}, {\mu}^{{g}^{2}}, η, {\eta}^{g} and {\eta}^{{g}^{2}}, where g\in G\setminus {G}^{\prime}. It follows that G has exactly three nonlinear 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 nonabelian group. We divide the proof into two cases up to the order G/{G}^{\prime}.
Case 1. G/{G}^{\prime}>p.
Let φ be a nonlinear irreducible character of {G}^{\prime}. If φ is extendible to an irreducible character \chi \in Irr(G), then there are G/{G}^{\prime} distinct irreducible characters of the form λχ of G,\lambda \in Irr(G/{G}^{\prime}). Obviously, λχ vanishes at which φ vanishes. Hence G/{G}^{\prime}=p+1. Since p is the minimal prime divisor G, p=2, a contradiction. Therefore, only the principal character of {G}^{\prime} is extendible to an irreducible character of G.
For a nonprincipal character \phi \in {G}^{\prime}, by Lemma 3.1, {U}_{\phi} exists and {U}_{\phi}/{G}^{\prime}=1 or p by the minimality of p. Now, consider the action of G on Irr({G}^{\prime})\setminus \{{1}_{{G}^{\prime}}\} by g:\theta \to {\theta}^{g} for \theta \in Irr({G}^{\prime}) and g\in G.
Subcase 1.1. This action has at least p+2 orbits.
In this case, we can take p+2 irreducible characters of {G}^{\prime}, say {\phi}_{1},{\phi}_{2},\dots ,{\phi}_{p+2}, from p+2 different orbits respectively. So {\phi}_{1},{\phi}_{2},\dots ,{\phi}_{p+2} can give rise to at least p+2 distinct irreducible characters of G and all of them vanish on G\setminus {\bigcup}_{i=1}^{p+2}{U}_{{\phi}_{i}}, which implies G={\bigcup}_{i=1}^{p+2}{U}_{{\phi}_{i}}. Since {U}_{\phi}/{G}^{\prime}=1\text{or}p, G/{G}^{\prime}\le p(p+1). Hence, G/{G}^{\prime}={p}^{2}\text{or}r, where r is a prime and r>p. If G/{G}^{\prime}={p}^{2}, then G has at least p+1 subgroups {U}_{{\phi}_{i}} satisfying the equality {U}_{{\phi}_{i}}/{G}^{\prime}=p, where i=1,2,\dots ,p+1. It follows that there are exactly p irreducible characters of G lying over {\phi}_{i} and vanishing on G\setminus {U}_{{\phi}_{i}} for each i. Since G={\bigcup}_{i=1}^{p+2}{U}_{{\phi}_{i}}, we have that the intersection (G\setminus {U}_{{\phi}_{i}})\cap (G\setminus {U}_{{\phi}_{j}}) is not empty for i\ne j. Let x be an element of (G\setminus {U}_{{\phi}_{i}})\cap (G\setminus {U}_{{\phi}_{j}}). Then there are 2p irreducible characters of G lying over {\phi}_{i}, {\phi}_{j} and vanishing at x, which leads to a contradiction. Now, we consider the case that G/{G}^{\prime}=r. In this case, {\phi}_{i}^{G}\in Irr(G), where i=1,2,\dots ,p+2, and so the p+2 irreducible characters {\phi}_{1}^{G},{\phi}_{2}^{G},\dots ,{\phi}_{p+2}^{G} vanish on G\setminus {G}^{\prime}, an obvious contradiction. Therefore, there are at most p+1 orbits of the action of G on \{Irr({G}^{\prime})\}\setminus \{{1}_{{G}^{\prime}}\}.
Subcase 1.2. This action has k orbits, where 3\le k\le p+1.
We can choose k irreducible characters of {G}^{\prime}, say {\phi}_{1},{\phi}_{2},\dots ,{\phi}_{k}, lying in each of k different orbits respectively. If one of the k irreducible characters, for example, {\phi}_{1} satisfies {U}_{{\phi}_{1}}/{G}^{\prime}=p, then there are at least p+2 irreducible characters of G lying over {\phi}_{1},{\phi}_{2},\dots ,{\phi}_{k} and vanishing on G\setminus {\bigcup}_{i=1}^{k}{U}_{{\phi}_{i}}, which forces G={\bigcup}_{i=1}^{k}{U}_{{\phi}_{i}}. Hence p<G/{G}^{\prime}<kp, and then G/{G}^{\prime}=q. But p is the minimal divisor of G, a contradiction to {U}_{{\phi}_{1}}/{G}^{\prime}=p. Therefore, we have that {U}_{{\phi}_{i}}/{G}^{\prime}=1 where i=1,2,\dots ,k, and hence G has at most p+1 nonlinear irreducible characters. By Lemma 2.7, one has that either G is an extra special pgroup or a Frobenius group with an elementary abelian kernel.
Let \phi \in Irr({G}^{\prime}) and \theta \in Irr({T}_{\phi}\phi ). Since {U}_{\phi}={G}^{\prime}, we have that \theta (1)=\sqrt{{T}_{\phi}/{G}^{\prime}}\cdot \phi (1). It follows that \chi (1)=G/{T}_{\phi}\cdot \theta (1)=G/{T}_{\phi}\cdot \sqrt{{T}_{\phi}/{G}^{\prime}}\cdot \phi (1), where \chi \in Irr(G\phi ). Hence, for each \chi \in {Irr}_{1}(G)\chi (1) is divided by every prime divisor of G/{G}^{\prime}. By [4], Theorem 12.2], G has a normal qcomplement, and so G has a normal \pi (G/{G}^{\prime})complement. Let {N}_{q} denote the normal qcomplement of G, where q is a prime divisor of G/{G}^{\prime}.
Subsubcase 1.2.1. If \pi (G/{G}^{\prime})=\pi (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 \pi (G/{G}^{\prime})\ne \pi (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}^{\prime}.
We first prove that if pG/{G}^{\prime}, then G/{N}_{p} is an abelian group. Suppose G/{N}_{p} is nonabelian. By Lemma 2.7, G/{N}_{p} is an extra special group. So G/{N}_{p} has p1 nonlinear irreducible characters, which implies that {Irr}_{1}(G{N}_{p})\le 2. Hence, one has that the action of G/{N}_{p} on the set \{Irr({N}_{p})\}\setminus \{{1}_{{N}_{p}}\} has at most 2 orbits. If {N}_{p} is nonabelian, then the action of G/{N}_{p} on the set \{Lin({N}_{p})\}\setminus \{{1}_{{N}_{p}}\} has exactly one orbit. Thus, ({N}_{p}/{N}_{p}^{\prime}1){p}^{2n+1}, which implies that {N}_{p}/{N}_{p}^{\prime} 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)\}\setminus \{{1}_{M}\} has exactly one orbit. By the same reasoning as above, one has that M/{M}^{\prime} is an even number, a contradiction; and so the assertion holds. Assume that {N}_{p} is an elementary abelian qgroup (q\ne p). Till now, we get that G is a Frobenius group with a kernel {N}_{p} and an extraspecial 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 q\ne p. If G/{N}_{q} is nonabelian, then G/{N}_{q} has at least q1 nonlinear irreducible characters by Lemma 2.2. But G has at most p+1 nonlinear irreducible characters, which implies that {N}_{q}=1, a contradiction.
Set K=\bigcap {N}_{q}. Then K is a normal \pi (G/{G}^{\prime})complement of G and {G}^{\prime}\subseteq K. Since G is solvable, we have that {G}^{\prime} has a Hall(\pi (G)\pi (G/{G}^{\prime})) subgroup H. Obviously, H is a Hall(\pi (G)\pi (G/{G}^{\prime})) subgroup of G. In this case, one has that K=H\le {G}^{\prime}, and hence K={G}^{\prime}. Set {1}_{{G}^{\prime}}\ne \lambda \in Irr({G}^{\prime}) and \mu \in Irr({T}_{\lambda}\lambda ). Since ({G}^{\prime},G/{G}^{\prime})=1, one has that λ is extendible to μ. Furthermore, λ is fullyramified with respect to {T}_{\lambda}, which implies that {T}_{\lambda}={G}^{\prime}. By Lemma 2.4, G is a Frobenius group with a kernel {G}^{\prime} and a cyclic complement L. Since G has at most p+1 nonlinear irreducible characters, one has that {G}^{\prime}\le (p+1)L+1, where p\le q. Hence, (iii) holds.
Subcase 1.3. This action has at most two orbits.
If the action of G on \{Irr({G}^{\prime})\setminus {1}_{{G}^{\prime}}\} has exactly one orbit, then {G}^{\prime}/{G}^{\u2033} is an even number, a contradiction. Now, we have that the action of G on the set \{Irr({G}^{\prime})\setminus {1}_{{G}^{\prime}}\} has exactly two orbits. By the same reasoning as above, one has that {G}^{\prime} is an abelian and a minimal normal subgroup of G. We can take two irreducible characters of {G}^{\prime}, say {\phi}_{1} and {\phi}_{2}, from the two different orbits respectively. If both {\phi}_{1} and {\phi}_{2} satisfy {U}_{{\phi}_{i}}/{G}^{\prime}=p, then there are 2p irreducible characters of G lying over {\phi}_{1} and {\phi}_{2} and vanishing on G\setminus {\bigcup}_{i=1}^{2}{U}_{{\phi}_{i}}, which implies G={\bigcup}_{i=1}^{2}{U}_{{\phi}_{i}}. But this is impossible since {U}_{{\phi}_{i}}\ne G. If one of {\phi}_{1} and {\phi}_{2}, for example {\phi}_{1} satisfies {U}_{{\phi}_{1}}/{G}^{\prime}=p, then G has exactly p+1 nonlinear irreducible characters. Moreover, we have G=HK is a Frobenius group with an elementary abelian kernel K and a cyclic complement H. Since H\cong G/K is abelian, one has that {G}^{\prime}\le K. On the other hand, we know that {Irr}_{1}(G{G}^{\prime})=p+1, which implies that {G}^{\prime}=K. Thus {U}_{{\phi}_{1}}/{G}^{\prime}=1, a contradiction. Therefore, we have that {U}_{{\phi}_{i}}/{G}^{\prime}=1, where i=1,2. In the case that G has exactly two nonlinear irreducible characters. By Lemma 2.6, one has that G is an extra special pgroup, as desired.
Case 2. G/{G}^{\prime}=p.
Let χ be a nonprinciple irreducible character of G and θ an irreducible constituent of {\chi}_{{G}^{\prime}}. In this case, we have that {\chi}_{{G}^{\prime}}=\theta or \chi ={\theta}^{G}. If \chi ={\theta}^{G}, then χ vanishes on G\setminus {G}^{\prime}, which implies that G has at most p+1 irreducible characters induced from irreducible characters of {G}^{\prime}.
Since the nonprinciple linear irreducible characters of {G}^{\prime} are not extendible to G, one has that {G}^{\prime}/{G}^{\u2033}=kp+1, where 0<k\le p+1. One the other hand, since p is the minimal prime divisor of G, we get that {G}^{\prime}/{G}^{\u2033}=kp+1. Let β be a nonprinciple irreducible character of {G}^{\prime} and φ an irreducible character of {G}^{\u2033} such that [{\beta}_{{G}^{\u2033}},\phi ]\ne 0. Then {\beta}_{{G}^{\u2033}}=\phi or \beta ={\phi}^{{G}^{\u2033}}.
Subcase 2.1. If {G}^{\prime} is an abelian group, then G is isomorphic to the group listed in (iii).
Since {G}^{\prime} is abelian, it follows by Lemma 2.1 that G is a Frobenius group with a kernel {G}^{\prime} and a cyclic complement L of order p, where {G}^{\prime} is a cyclic group of order kp+1 and k<p, as desired.
Subcase 2.2. If {G}^{\prime} 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 \delta \in Irr({G}^{\prime}) such that δ is extendible to G.
We first prove that {\delta}_{{G}^{\u2033}} is reducible and δ is the unique character of {G}^{\prime} which is extendible to G. Let \phi \in Irr({G}^{\u2033}) such that [{\delta}_{{G}^{\u2033}},\phi ]\ne 0. Suppose {\delta}_{{G}^{\u2033}} is irreducible, then {\delta}_{{G}^{\u2033}}=\phi. Let L=\{\lambda \delta \lambda \in Irr({G}^{\prime}/{G}^{\u2033})\} be the set of all extensions of φ. If one of the elements in L\setminus \{\delta \}, say λδ, is extendible to G, then G has 2p nonlinear irreducible characters lying over δ and λδ, and the 2p nonlinear irreducible characters vanish at the elements where φ vanishes, contrary to G is a V(p+1) group. Therefore, all the elements of L\setminus \{\delta \} are not extendible to G. It is easy to check that {(\lambda \delta )}_{{G}^{\u2033}}={(\lambda \delta )}_{{G}^{\u2033}}^{g}=\cdots ={(\lambda \delta )}_{{G}^{\u2033}}^{{g}^{p1}}=\phi for each g\in G\setminus {G}^{\prime}, where \lambda \delta \in L. So {(\lambda \delta )}^{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 k\ge 2. Thus {\delta}_{{G}^{\u2033}} is reducible. If \delta \ne \gamma \in Irr({G}^{\prime}) is extendible to G, by the same arguments as above, one has that γ is reducible, which implies that both δ and γ vanish at {G}^{\prime}\setminus {G}^{\u2033}. Moreover, G has 2p nonlinear irreducible characters lying over δ and γ, and the 2p characters vanish on the elements of {G}^{\prime}\setminus {G}^{\u2033}, which leads to a contradiction since G is a V(p+1) group. Hence, δ is the unique character of {G}^{\prime} which is extendible to G.
Let \eta \in {Irr}_{1}({G}^{\prime}) such that η is reducible. If \eta ={\theta}^{{G}^{\prime}} for some \theta \in Irr({G}^{\u2033}), then {t}_{1}=G:{I}_{G}(\theta )\mid G:{G}^{\u2033}=p\cdot kp+1. Since t={G}^{\prime}:{I}_{{G}^{\prime}}(\theta )=kp+1, we have that {t}_{1}=G:{G}^{\u2033}=p(kp+1), which implies that {\eta}^{g} is reducible for any g\in G. On the other hand, if {\eta}_{{G}^{\u2033}} is irreducible, by the same reason as above, one has that {\eta}^{g} is irreducible for any g\in G. It is easy to check that if two of the characters \eta ,{\eta}^{g},\dots ,{\eta}^{{g}^{p1}} are extensions of μ for some g\in G{G}^{\prime} and \mu \in Irr({G}^{\u2033}), then all the characters \eta ,{\eta}^{g},\dots ,{\eta}^{{g}^{p1}} are extensions of μ. Hence, we can get that {Irr}_{1}({G}^{\prime})=\{\delta \} or {Irr}_{1}({G}^{\prime})=\{\delta ,\eta ,{\eta}^{g},\dots ,{\eta}^{{g}^{p1}}\}. If {Irr}_{1}({G}^{\prime})=\{\delta \}, then {G}^{\u2033} is abelian and {G}^{\u2033}=kp+2 which is an even number, a contradiction. So {Irr}_{1}({G}^{\prime})=\{\delta ,\eta ,{\eta}^{g},\dots ,{\eta}^{{g}^{p1}}\}. Let \delta ={\lambda}^{{G}^{\prime}} and \eta ={\theta}^{{G}^{\prime}} where \lambda ,\theta \in Irr({G}^{\u2033}). If \lambda (1)=1 and \theta (1)>1, then {G}^{\u2033}/{G}^{\u2034}=\delta (1)+1, which is an even number, a contradiction. Also, if \lambda (1)>1 and \theta (1)=1, then {G}^{\u2033}/{G}^{\u2034}=p(kp+1)+1, a contradiction. Hence, \lambda (1)=\theta (1)=1, so {G}^{\u2033} is abelian and {G}^{\u2033}=(kp+1)(p+1)+1 (coprime to kp+1), G/{G}^{\u2033}=(kp+1)p, \eta (1)={\eta}^{g}(1)=\cdots ={\eta}^{{g}^{p1}}(1)=kp+1, \delta (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}^{\u2033}<H and H/{G}^{\u2033}=p, and so G/{G}^{\u2033} is abelian, a contradiction.
Subsubcase 2.2.2. Suppose all the nonlinear irreducible characters of {G}^{\prime} are not extendible to G.
By Lemma 2.3, G is a Frobenius group with a kernel {G}^{\prime} and a cyclic complement L of order p. Furthermore, we have that G has at most p+1 nonlinear irreducible characters. It follows by Lemma 2.6 that {G}^{\prime} is an elementary qgroup and {G}^{\prime}\le mp+1, where m\le p+1. But G is a nonsolvable 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
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
Chillag D: On zeros of characters of finite groups. Proc. Am. Math. Soc. 1999, 127: 977–983. 10.1090/S0002993999047905
Gagola SM: Characters vanishing on all but two conjugacy classes. Pac. J. Math. 1983, 109: 363–385.
Isaacs IM: Character Theory of Finite Groups. Academic Press, New York; 1976.
Isaacs IM, Navarro G: Finite group elements where no irreducible character vanishes. J. Algebra 1999, 222: 413–423. 10.1006/jabr.1999.8007
Qian G: Finite groups in which each irreducible character has at most two zeros. Adv. Math. (China) 2002, 32(1):77–78.
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/S0002993902064523
Qian, G: Arithmetical conditions of characters and the structures of finite group. PhD thesis, Wuhan University (2002)
Qian G: Multiplicity of character degrees and the structure of solvable groups. Acta Math. Sin. 2004, 47(1):125–130.
Seitz G: Finite groups having only one irreducible representation of degree greater than one. Proc. Am. Math. Soc. 1968, 19: 459–461. 10.1090/S0002993919680222160X
Wolf TR: Character correspondences in solvable groups. Ill. J. Math. 1978, 22: 327–340.
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
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.
Yang CF: A characterization of Frobenius groups with characters. J. Southwest China Norm. Univ. 2001, 26(2):129–131.
Zhang GX: The finite groups who have only two nonlinear irreducible character degrees. Chin. Ann. Math., Ser. A 1996, 17(2):227–232.
Zhu LR, Zeng JW: The finite groups with the same degree and the prime number of nonlinear irreducible characters. Adv. Math. 2008, 38(2):199–203.
Zhmud EM: On finite groups having an irreducible complex character with one class of zeros. Sov. Math. Dokl. 1979, 20: 795–797.
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 GraduateInnovation Funds of Science of SWU (ky2009013).
Author information
Authors and Affiliations
Corresponding author
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.
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/1029242X2012152
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029242X2012152