On a correspondence between blocks of finite groups induced from the Isaacs character correspondence (Q5937616)

From MaRDI portal
scientific article; zbMATH DE number 1619867
Language Label Description Also known as
English
On a correspondence between blocks of finite groups induced from the Isaacs character correspondence
scientific article; zbMATH DE number 1619867

    Statements

    On a correspondence between blocks of finite groups induced from the Isaacs character correspondence (English)
    0 references
    0 references
    8 September 2002
    0 references
    Let \(G\) be a finite group of odd order so that \(G\) is solvable by the Feit-Thompson theorem and let \(A\) be a finite group that acts on \(G\) with \((|G|,|A|)=1\). In this situation, the Isaacs correspondence gives a bijection \(\sigma(G,C_G(A))\colon\text{Irr}_A(G)\to\text{Irr}(C_G(A))\) between the \(A\)-fixed (ordinary) irreducible characters \(\text{Irr}_A(G)\) of \(G\) and the (ordinary) irreducible characters \(\text{Irr}(C_G(A))\) of the \(A\)-fixed point subgroup \(C_G(A)\) of \(G\). The main result of this paper is: Theorem 1. Let \(p\) be a prime, let \(G\), \(A\) be as above and let \(D\) be a \(p\)-subgroup of \(C_G(A)\). Also let \(\text{Bl}_A(G|D)\) be the set of \(A\)-stable \(p\)-blocks of \(G\) with \(D\) as a defect group. Then the Isaacs correspondence \(\sigma=\sigma(G,C_G(A))\) induces a correspondence between \(\text{Bl}_A(G|D)\) and a subset of \(\text{Bl}(C_G(A)|D)\) (the \(p\)-blocks of \(C_G(A)\) with \(D\) as a defect group) such that if \(B\in\text{Bl}_A(G|D)\) corresponds to \(b\in\text{Bl}(C_G(A)|D)\) then: (a) \(\sigma\colon\text{Irr}(B)\to\text{Irr}(b)\) induces a perfect isometry between \(B\) and \(b\); (b) \(\sigma\) induces a bijection \(\sigma\colon\text{IBr}(B)\) (the set of irreducible Brauer characters of \(B\)) \(\to\text{IBr}(b)\) (the set of irreducible Brauer characters of \(b\)); and (c) \(\sigma\) preserves decomposition numbers and Cartan invariants: \(d_{\chi^\alpha}=d_{\sigma(\chi)\sigma(\alpha)}\) and \(c_{\alpha\alpha'}=c_{\sigma(\alpha)\sigma(\alpha')}\) for all \(\chi\in\text{Irr}(B)\) and all \(\alpha,\alpha'\in\text{IBr}(B)\).
    0 references
    0 references
    finite groups
    0 references
    Isaacs correspondence
    0 references
    irreducible characters
    0 references
    \(p\)-blocks
    0 references
    defect groups
    0 references
    perfect isometries
    0 references
    irreducible Brauer characters
    0 references
    decomposition numbers
    0 references
    Cartan invariants
    0 references
    0 references