makeKGroupMackeyFunctor -- constructs the $K$-group Mackey functor

• Usage:

  makeKGroupMackeyFunctor(p,q,n)

• Inputs:
  • p, an integer, a prime number $p$
  • q, an integer, a prime power $q$
  • n, an integer, a positive integer $n$
• Outputs:
  • a C_p Mackey Functor, the fixed point $C_p$-Mackey functor of the algebraic $K$-group $K_{2n-1}(\mathbb{F}_{q^p})$.

i1 : makeKGroupMackeyFunctor(5,9,4)

o1 =                      Res : | 1853302661441605 |
     cokernel | 6560 |  ------------------------------> cokernel | 12157665459056928800 |  -┐ Conj : | 6561 |
                       <------------------------------                                     <┘
                          Tr : | 1 |

o1 : CpMackeyFunctor