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

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\).