The functor of \(p\)-permutation modules for abelian groups (Q2438367)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The functor of \(p\)-permutation modules for abelian groups |
scientific article |
Statements
The functor of \(p\)-permutation modules for abelian groups (English)
0 references
11 March 2014
0 references
Let \(p\) is a prime number, \(k\) be a field of characteristic \(p\), let \(G\) be a finite group, and \(\text{pp}_k(G)\) be the Grothendieck group of \(p\)-permutation \(kG\)-modules, and let \({\mathbb C}\text{pp}_k(G)={\mathbb C}\otimes_{\mathbb Z}\text{pp}_k(G)\), so \({\mathbb C}\) becomes a \({\mathbb C}\)-linear biset functor. In this paper, the author finds all the composition factors of the biset functor \({\mathbb C}\text{pp}_k\) restricted to the category of abelian groups. To work with abelian groups, one needs define the tensor product of biset functors on groups of coprime order. Let \({\mathcal C}_{p\times p'}\) be the category whose objects are finite groups of the form \(P\times Q\), where \(P\) is a \(p\)-group and \(Q\) is a \(p'\)-group (the morphisms are defined using bisets). The author shows that the composition factors of \({\mathbb C}\text{pp}_k\) on \({\mathcal C}_{p\times p'}\) are certain simple functors parametrized by pairs consisting of a positive integer \(m\) prime to \(p\) and a primitive character \(\xi:({\mathbb Z} /m{\mathbb Z})^* \to {\mathbb C}^*\), having multiplicity \(1\) as composition factors. As a corollary, one obtains that if \(G\) is abelian and \(V\) is a simple \({\mathbb C} \text{Out}(G)\)-module, then the simple functor \(S_{G,V}\) is a composition factor of \({\mathbb C}\text{pp}_k\) if and only if there exists a positive integer \(m\) prime to \(p\) and a primitive character \(\xi:({\mathbb Z} /m{\mathbb Z})^* \to {\mathbb C}^*\) such that \(G\simeq C_m\) or \(G \simeq C_p\times C_p\times C_m\), where \(V\) is the \(1\)-dimensional module \(\mathbb C_\xi\), and moreover, the multiplicity of \(S_{G,V}\) is \(1\).
0 references
group algebras
0 references
biset functor
0 references
\(p\)-permutation modules
0 references
composition factors
0 references
abelian groups
0 references