An equivariant tensor product on Mackey functors

For all subgroups H of a cyclic p-group G we define norm functors that build a G-Mackey functor from an H-Mackey functor. We give an explicit construction of these functors in terms of generators and relations based solely on the intrinsic, algebraic properties of Mackey functors and Tambara functors. We use these norm functors to define a monoidal structure on the category of Mackey functors where Tambara functors are the commutative ring objects.