The Roquette category of finite \(p\)-groups (Q894195)

The author introduces the Roquette category \(\mathcal R_p\) of finite \(p\)-groups, for some fixed prime \(p\). He shows that \(\mathcal R_p\) is an additive tensor category such that any finite \(p\)-group can be seen as an object of \(\mathcal R_p\), and he also proves that every finite \(p\)-group \(P\) admits a canonical direct summand \(\partial P\), called the edge of \(P\). Moreover \(P\) splits as the direct sum of edges of so-called Roquette \(p\)-groups. The tensor structure on \(\mathcal R_p\) can be described in terms of edges. The author's motivation for this study is that the additive functors from \(\mathcal R_p\) to the category of abelian groups coincide with the so-called rational \(p\)-biset functors. Hence there are applications in computing representation functors \(R_K\) for any field \(K\) of characteristic \(0\), or the functor of units of Burnside rings, or the torsion part of the Dade group of a finite \(p\)-group. The article starts with a summary of the required background on biset functors, Roquette groups, expansive and genetic subgroups of \(p\)-groups and rational \(p\)-biset functors (see, e.g. \textit{S. Bouc} [J. Algebra 319, No. 4, 1776--1800 (2008; Zbl 1149.19001); J. Algebra 284, No. 1, 179--202 (2005; Zbl 1062.19001)]). Thereafter the author introduces the Roquette category \(\mathcal R_p\), for some fixed prime \(p\), and describes its tensor structure. The last section is a compilation of examples and applications.