Hom(CpMackeyFunctor,CpMackeyFunctor) -- computes the Hom group between two Cp Mackey functors

• Function: Hom

• Usage:

  Hom(M,N)

• Inputs:
  • M, a C_p Mackey Functor,
  • N, a C_p Mackey Functor,
• Optional inputs:
  • DegreeLimit => ..., default value null
  • MinimalGenerators => ..., default value true
  • Strategy => ..., default value null
• Outputs:
  • a module, the abelian group of homomorphisms $\text{Hom}_{\text{Mack}_{C_p}}(M,N)$

i1 : M = makeBurnsideMackeyFunctor(2);

i2 : N = makeUnderlyingFreeMackeyFunctor(2);

i3 : Hom(M,N)

o3 = image | 1 |
           | 1 |
           | 1 |
           | 2 |

                               4
o3 : ZZ-module, submodule of ZZ