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