The maps $\psi_k$ are all isomorphisms; this is a simple application of the transfer ("averaging") construction. See Theorem 2.4, Chapter II, of Bredon's book "Introduction to compact transformation groups".
Misha
- 31.2k
- 1
- 94
- 163