The isomorphism for $K_G^1$ in the question is right. see http://jtopol.oxfordjournals.org/content/4/4/737.full.pdf+html Section 3.5.4 and Appendix A.5
Bo Liu
- 673
- 4
- 12