makeFixedTrivMackeyFunctor -- constructs the fixed-point Mackey functor for the trivial action of $C_p$ on $\mathbb{Z}/p$

• Usage:

  makeFixedTrivMackeyFunctor(p)

• Inputs:
  • p, an integer, a prime number $p$
• Outputs:
  • a C_p Mackey Functor, the fixed-point Mackey functor for the trivial action of $C_p$ on $\mathbb{Z}/p$

i1 : makeFixedTrivMackeyFunctor(5)

o1 =                   Res : | 1 |
     cokernel | 5 |  ---------------> cokernel | 5 |  -┐ Conj : | 1 |
                    <---------------                  <┘
                       Tr : 0

o1 : CpMackeyFunctor