The centralizer of a subgroup in a group algebra. (English) Zbl 1272.20002
Let \(F\) be an algebraically closed field of characteristic \(p>0\) and let \(H\) be a subgroup of a finite group \(G\). Then the set of all elements of the group ring \(FG\) that commute with all elements of \(H\) is called the centralizer algebra \(FG^H\). The purpose of this article is to answer several questions about the algebra \(FG^H\). Among these, the authors provide examples to show that:
1) the centre \(Z(FG^H)\) can be larger that the \(F\)-algebra generated by \(Z(FG)\) and \(Z(FH)\);
2) it is not always true that the simple \(FG^H\)-modules are the same as the nonzero \(FG^H\)-modules \(\operatorname{Hom}_{FH}(S,T\!\downarrow\! H)\), where \(S\) and \(T\) are \(FH\)- and \(FG\)-modules, respectively;
3) \(FG^H\) can have primitive central idempotents that are not of the form \(ef\), where \(e\) and \(f\) are primitive central idempotents of \(FG\) and \(FH\), respectively.
1) the centre \(Z(FG^H)\) can be larger that the \(F\)-algebra generated by \(Z(FG)\) and \(Z(FH)\);
2) it is not always true that the simple \(FG^H\)-modules are the same as the nonzero \(FG^H\)-modules \(\operatorname{Hom}_{FH}(S,T\!\downarrow\! H)\), where \(S\) and \(T\) are \(FH\)- and \(FG\)-modules, respectively;
3) \(FG^H\) can have primitive central idempotents that are not of the form \(ef\), where \(e\) and \(f\) are primitive central idempotents of \(FG\) and \(FH\), respectively.
Reviewer: S. V. Mihovski (Plovdiv)
MSC:
20C05 | Group rings of finite groups and their modules (group-theoretic aspects) |
16S34 | Group rings |
20C20 | Modular representations and characters |
20C08 | Hecke algebras and their representations |
Keywords:
finite groups; group algebras; centralizer algebras; Hecke algebras; simple modules; central idempotentsReferences:
[1] | DOI: 10.1006/jsco.1996.0125 · Zbl 0898.68039 · doi:10.1006/jsco.1996.0125 |
[2] | DOI: 10.1016/j.jalgebra.2006.01.060 · Zbl 1155.20004 · doi:10.1016/j.jalgebra.2006.01.060 |
[3] | Local representation theory (1986) |
[4] | DOI: 10.1006/jabr.1994.1045 · Zbl 0810.20011 · doi:10.1006/jabr.1994.1045 |
[5] | J. Reine Angew. Math. 468 pp 1– (1995) |
[6] | The representation theory of the symmetric group 16 (1981) |
[7] | Linear and projective representations of symmetric groups (2005) |
[8] | DOI: 10.1016/j.jalgebra.2003.12.029 · Zbl 1131.20301 · doi:10.1016/j.jalgebra.2003.12.029 |
[9] | DOI: 10.1006/jabr.1999.8127 · Zbl 1059.20014 · doi:10.1006/jabr.1999.8127 |
[10] | Representation theory of finite groups and finite-dimensional algebras 95 pp 425– (1991) |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.