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

From MaRDI portal





scientific article; zbMATH DE number 2136970
Language Label Description Also known as
default for all languages
No label defined
    English
    Biset functors and genetic sections for \(p\)-groups
    scientific article; zbMATH DE number 2136970

      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
      \(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

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references