makeZeroOnUnderlyingMackeyFunctor -- constructs a Mackey functor which is zero on underlying

• Usage:

  makeZeroOnUnderlyingMackeyFunctor(p,M)

• Inputs:
  • p, an integer, a prime number $p$
  • M, a module, An abelian group
• Outputs:
  • a C_p Mackey Functor, A Mackey functor with underlying level 0 and fixed level M.

i1 : makeZeroOnUnderlyingMackeyFunctor(5,ZZ^3)

o1 =        Res : 0
       3  -----------> 0  -┐ Conj : 0
     ZZ  <-----------     <┘
            Tr : 0

o1 : CpMackeyFunctor