The Frobenius-Schur indicator and projective modules (Q1812718): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/0021-8693(89)90331-1 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1988199379 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Transitive Gruppen gerader Ordnung, in denen jede Involution genau einen Punkt fest läßt / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bilinear forms on G-algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Virtually Irreducible Lattices / rank
 
Normal rank

Latest revision as of 16:01, 14 May 2024

scientific article
Language Label Description Also known as
English
The Frobenius-Schur indicator and projective modules
scientific article

    Statements

    The Frobenius-Schur indicator and projective modules (English)
    0 references
    25 June 1992
    0 references
    Let \(G\) be a finite group and let \(\{t_ i: 1\leq i\leq s\}\) be a full set of representatives of the distinct conjugacy classes of involutions in \(G\). If \(\chi\) is an irreducible complex character of \(G\), we recall that the Frobenius-Schur indicator of \(\chi\) is the number \(\nu(\chi)\) defined by \(\nu(\chi)=(1/| G|)\sum_{g\in G}\chi(g^ 2)\). We have \(\nu(\chi)=1\) if \(\chi\) is the character of a real representation of \(G\), \(\nu(\chi)=0\) if \(\chi\) is not real-valued and \(\nu(\chi)=-1\) if \(\chi\) is real-valued but not the character of a real representation of \(G\). Let \(C_ i\) denote the centralizer of \(t_ i\), \(1\leq i\leq s\). Let 1 denote the trivial character of \(G\) and \(l_ i\) the trivial character of \(C_ i\). The author proves the following interesting lemma. Let \(\theta\) be a class function on \(G\) that vanishes on all elements of order divisible by 2. Then we have \((1/| G|)\sum\theta(g^ 2)=(\theta,1)+\sum_ i(\theta_{C_ i},1_ i)\). The remainder of the paper shows how this lemma can be used to investigate projective summands of permutation modules over fields of characteristic 2. We mention some applications. If \(\theta\) above is real-valued and irreducible, then \(\nu(\theta)=1\) and there is an index \(i\) such that \((\theta_{C_ i},1_ i)=1\), whereas \((\theta_{C_ j},1_ j)=0\) if \(j\neq i\). It can be shown that the involution \(t_ i\) generates an extended defect group of the 2-block corresponding to \(\theta\), as defined in a paper of the reviewer [Osaka J. Math. 25, No. 1, 135-147 (1988; Zbl 0656.20015)]. Now let \(R\) be a complete discrete valuation ring of characteristic 0 that contains a primitive \(| G|\)th root of unity and suppose that \(k=R/J(R)\) is a field of characteristic 2. If \(\theta\) is the character of a projective indecomposable \(RG\)-module \(P\), then \(\theta\) satisfies the hypotheses of the lemma. The author shows that there is at most one index \(j\) such that \(P\) is a direct summand of the permutation module of \(RG\) associated to the trivial representation of \(C_ j\). Moreover, if there is such a value of \(j\), \(P\) occurs with multiplicity one as a summand of the permutation module, the decomposition number \(d_{\theta\chi}=0\) or 1 for each irreducible character \(\chi\) of \(G\) and \(\nu(\chi)=1\) if \(d_{\theta\chi}=1\). Further applications are given, including an analysis of the permutation character associated to a strongly embedded subgroup in \(G\).
    0 references
    finite group
    0 references
    involutions
    0 references
    irreducible complex character
    0 references
    Frobenius-Schur indicator
    0 references
    real representation
    0 references
    centralizer
    0 references
    class function
    0 references
    projective summands of permutation modules
    0 references
    extended defect group
    0 references
    2-block
    0 references
    projective indecomposable \(RG\)-module
    0 references
    permutation character
    0 references
    strongly embedded subgroup
    0 references

    Identifiers