Biset functors and genetic sections for \(p\)-groups (Q1764839)

From MaRDI portal
Revision as of 05:36, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Biset functors and genetic sections for \(p\)-groups
scientific article

    Statements

    Biset functors and genetic sections for \(p\)-groups (English)
    0 references
    0 references
    22 February 2005
    0 references
    Let \(k\) be a commutative ring and \(p\) a prime number. A biset functor \(F\) is a \(k\)-linear functor from \({\mathcal C}_{p,k}\) to \(k\)-Mod, where the objects of \({\mathcal C}_{p,k}\) are the finite \(p\)-groups, and \(\text{Hom} _{{\mathcal C}_{p,k}}(P,Q)=k\otimes_{\mathbb Z}B(Q\times P^{\text{ op}})\), where \(B(Q\times P^{\text{ op}})\) is the Burnside group of finite \((Q,P)\)-bisets. The author proves that for each \(p\)-group \(P\) there is a direct summand of \(F(P)\) having a natural direct sum decomposition indexed by the equivalence classes of genetic sections of \(P\). Here two sections \(T/S\) and \(T'/S'\) of \(P\) are equivalent if they are linked modulo \(P\), i.e., there is \(x\in P\) such that \(T^x\cap S'=S^x\cap T'\) and \(T^x\cdot S'=S^x\cdot T'\). The section \(T/S\) is called genetic if it has normal \(p\)-rank \(1\), and \(\text{End}_{{\mathbb Q}P}(\text{Ind}_T^P \text{Inf}_{T/S}^T\Phi_{T/S})=\text{End}_{{\mathbb Q}P}(\Phi_{T/S})\), where \(\Phi_{T/S}\) is the unique faithful irreducible \({\mathbb Q}T/S\)-module. This is then applied to describe the structure of the torsion part of the group \(D^\Omega(P)\) of relative syzygies in the Dade group of \(P\). Moreover, a precise conjecture on the structure of the torsion part \(D^t(P)\) of the Dade group of \(P\) is formulated.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    \(p\)-groups
    0 references
    \(P\)-sets
    0 references
    endo-permutation modules
    0 references
    Dade group
    0 references
    Burnside groups
    0 references
    biset functors.
    0 references