functoriality of the Burnside ring
We wish to show how the Burnside ring can be turned into a contravariant functor from the category of finite groups into the category of commutative, unital rings.
Let and be finite groups. We already know how acts on objects of the category of finite groups. Assume that is a group homomorphism. Furthermore let be a -set. Then can be naturally equiped with a -set structure via function:
One can easily check that this turns into a contravariant functor.
|Title||functoriality of the Burnside ring|
|Date of creation||2013-03-22 18:08:06|
|Last modified on||2013-03-22 18:08:06|
|Last modified by||joking (16130)|