homological algebra with Mackey functors for cyclic groups of prime order