Bisets as categories and tensor product of induced bimodules. (Q711375)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Bisets as categories and tensor product of induced bimodules.
scientific article

    Statements

    Bisets as categories and tensor product of induced bimodules. (English)
    0 references
    0 references
    26 October 2010
    0 references
    Let \(R\) be a commutative ring, let \(G,H,K\) be finite groups, let \(X\) be a subgroup of \(H\times G\), and let \(Y\) be a subgroup of \(K\times H\). Moreover, let \(M\) be an \(RX\)-module and \(N\) be an \(RY\)-module. The main result of the paper under review is a direct sum decomposition of the \(RK\)-\(RG\)-bimodule \((\text{Ind}^{K\times H}_YN)\otimes_{RH}(\text{Ind}^{H\times G}_XM)\), analogous to the Mackey formula. The proof makes use of the fact that the category \(RX\)-Mod of \(RX\)-modules is equivalent to the category of functors \(\langle U\rangle\to R\)-Mod where \(\langle U\rangle\) is a category attached to the \(H\)-\(G\)-biset \((H\times G)/X\).
    0 references
    bisets
    0 references
    tensor products
    0 references
    induced modules
    0 references
    finite groups
    0 references
    direct sums
    0 references
    Mackey formula
    0 references
    categories of functors
    0 references

    Identifiers

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