makeFixedPointMackeyFunctor -- constructs the fixed-point Mackey functor of a C_p-module

Given a module $M$ with $C_p$-action specified by an automorphism $\text{c}\colon M\to M$, there is a naturally associated fixed-point Mackey functor $\text{FP}(M)$. The underlying module is the module $M$ with conjugation given by $\text{c}$. The fixed module is the module $M^{C_p}$ of fixed points of the action, represented as the kernel of $1-\text{c}$. The restriction is the map $$\text{res}_e^{C_p} \colon M^{C_p} \to M$$ induced by the inclusion of fixed-points. The transfer is the map $$\text{tr}_e^{C_p} \colon M\to M^{C_p}$$ given by $1+\text{c}+\text{c}^2+\cdots+\text{c}^{p-1}$.