Recovering information about a group from its complex group algebra (Q1083523)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Recovering information about a group from its complex group algebra
scientific article

    Statements

    Recovering information about a group from its complex group algebra (English)
    0 references
    0 references
    0 references
    1986
    0 references
    Let G and H be finite groups. How alike are G and H if the complex group algebras \({\mathbb{C}}G\) and \({\mathbb{C}}H\) are isomorphic? In this paper the author proves the following theorems: 1. If for some prime p, G has a normal p-complement, then H has a normal p-complement. 2. If M and N are respectively normal \(\pi\)-Hall subgroups of G and H, then \({\mathbb{C}}M\cong {\mathbb{C}}N\) and \({\mathbb{C}}(G/M')\cong {\mathbb{C}}(H/N')\). The two results give Corollary 3. If G is nilpotent, then so is H. If G has a Sylow tower, then so does H. For the proofs, the author considers an equivalent question by asking what information about a finite group G can be obtained from a knowledge of its degree multiplicity function \(m_ G\) defined by \[ m_ G(x)=| \{\chi \in Irr(G)| \quad \chi (1)=x\}|. \] A theorem of J. Thompson states that if \(m_ G(x)=0\) whenever \(x>1\) and \(p\nmid x\), then G has a normal p-complement. The author has given a proof of this theorem in his book [Character theory of finite groups (1976; Zbl 0337.20005), Corollary 12.2]. The author uses a modificaton of that proof to establish the following lemma which implies Theorem 1. and Thompson's theorem. Lemma: Fix a prime p. For finite groups G, write \({\mathcal U}(G)=\{\chi \in Irr(G)|\) \(p\nmid \chi (1)\}\), \(u(G)=\sum_{\chi \in {\mathcal U}(G)}\chi (1)^ 2\) and \(a(G)=| G:G'|_ p\). Then a(G) divides u(G) and G has a normal p-complement if and only if u(G)/a(G) is not divisible by p.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    isomorphism problem
    0 references
    finite groups
    0 references
    complex group algebras
    0 references
    normal p- complement
    0 references
    normal \(\pi \)-Hall subgroups
    0 references
    Sylow tower
    0 references
    degree multiplicity function
    0 references
    0 references
    0 references