Characters vanishing on all but two conjugacy classes. (Q791628)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Characters vanishing on all but two conjugacy classes.
scientific article

    Statements

    Characters vanishing on all but two conjugacy classes. (English)
    0 references
    1983
    0 references
    A theorem of Burnside asserts that for any group \(G\) any non-linear irreducible character has zero (deep generalizations of this result were obtained by P. X. Gallagher, and also (in unpublished papers) by E. M. Zmud' and A. J. Weitzblit). The extreme case is considered here, namely, groups \(G\) for which a character \(\chi\) exists which vanishes on all but two conjugacy classes. If \(| G|>2\) than \(\chi\) is unique and is, moreover, the unique faithful irreducible character of \(G\). In this case \(G\) contains a unique minimal normal subgroup \(N\) which is an elementary abelian \(p\)-group, \(p\) is a prime. The character \(\chi\) vanishes on \(G-N\) and \(\chi(n)\neq 0\) for all \(n\in N\) (i.e. \(N^{\#}\) is a conjugacy class of \(G\)). We have \(C_ G(N)=O_ p(G)\). If \(G\) is solvable then \(O_ p(G)=F(G)\), the Fitting subgroup of \(G\). Moreover, \(G/O_ p(G)\) has a normal \(p\)-complement which is isomorphic to the multiplicative group of a near-field, and a Sylow \(p\)-subgroup of \(G/O_ p(G)\) is abelian. Theorem 5.6. Let \(G\) be a non-solvable group with the title property. Then \(O_ p(G)\neq \{1\}\) for some unique prime \(p\). Moreover, the group \(H=G/O_ p(G)\) has one of the following forms: (i) There exists \(S\triangleleft H\) with \(S\cong SL(2,q)\), where \(q>2\) is a power of \(p\), \(H/S\) is a cyclic \(p\)-group and \(C_ H(S)=Z(S)\). (ii) \(p=3\), \(H\) contains a normal subgroup S of index 2, and \(S\cong SL(2,5)\) and \(C_ H(S)=Z(S)\). \(S\) is not split in \(H\) (i.e. \(S\) contains all involutions from \(H\)). (iii) \(p=3\) and \(H\cong SL(2,13)\). (iv) \(p=11\) and \(H\cong SL(2,5)\). (v) \(p=29\) and \(H\cong SL(2,5)\times C_ 7\). (vi) \(p=59\) and \(H\cong SL(2,5)\times C_{29}\). Theorem 6.2. \(N=O_ p(G)\) iff \(G\) is a doubly transitive Frobenius group (we assume \(| G|>2\)). Theorem 6.3. Let \(Q\) be any \(p\)-group and let \(a>1\) be any integer. Then a group \(G\) exists satisfying the following conditions: (a) \(G\) has an irreducible character which vanishes on all but two conjugacy classes. (b) \(G=PH\) where \(P\triangleleft G\) is a Sylow \(p\)-subgroup and \(H\) is cyclic of order \(p^ a-1\). (c) \(Z(P)H\) is a doubly transitive Frobenius group of order \(p^ a(p^ a-1)\). (d) \(Q\) is isomorphic to a subgroup of \(P/Z(P)\). We mention that E. M. Zmud' in a series of papers studied finite groups \(G\) with the following property: \(G\) has an irreducible non-linear character \(\chi\) such that all zeros of \(\chi\) are conjugate in \(G\).
    0 references
    0 references
    0 references
    0 references
    0 references
    irreducible characters
    0 references
    minimal normal subgroups
    0 references
    elementary Abelian \(p\)-groups
    0 references
    Fitting subgroup
    0 references
    normal \(p\)-complements
    0 references
    Sylow subgroups
    0 references
    doubly transitive Frobenius groups
    0 references
    0 references