Biset transformations of Tambara functors (Q397906): Difference between revisions

Let \(G\) and \(H\) be finite groups and \(U\) an \(H\)-\(G\)-biset. Then it is known that \(U\) induces a functor \(U\circ_G-\) from the category of \(G\)-sets to the category of \(H\)-sets, and also a functor from the category of Mackey functors on \(G\) to the category of Mackey functors on \(H\), called the \textit{biset transformation along} \(U\). In this article, the author shows that if \(U\) is right-free, then the functor \(U\circ_G-\) preserves exponential diagrams, and a corollary, he obtains a functor from the category of Tambara functors on \(H\) to the category of Tambara functors on \(G\). The properties of this biset transformation functor are investigated, mainly in connection with ideal quotients and fractions, and the left adjoint is also constructed.