makeZeroMackeyFunctor -- constructs the zero Mackey functor for the group

Usage:

makeZeroMackeyFunctor(p)
Inputs:
- p, an integer, a prime number $p$
Outputs:
- a C_p Mackey Functor, the zero Mackey functor for $C_p$

Description

Perhaps the easiest Mackey functor is the zero Mackey functor which has the zero-module as both the underlying and fixed modules. This is the zero object in the abelian category of Mackey functors, and is therefore important to implement for homological algebra computations.

i1 : makeZeroMackeyFunctor(2)

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

o1 : CpMackeyFunctor

Ways to use makeZeroMackeyFunctor:

makeZeroMackeyFunctor(ZZ)

For the programmer

The object makeZeroMackeyFunctor is a method function.

The source of this document is in CpMackeyFunctors/Documentation/ConstructorsDoc.m2:205:0.

makeZeroMackeyFunctor -- constructs the zero Mackey functor for the group

Description

See also

Ways to use makeZeroMackeyFunctor:

For the programmer