Then we can decompose L?(G) into a finite direct sum of subspaces ([8], Example 3.2): LG) = QP. wer with each summand invariant under conjugation by elements of p(Gr). ‘Thus, we must have that for each f ¢ A and T ¢ ©. JIT) < BRLG).) oeGr Now, let r= {real forex (24Gn,,)} where 1g, denotes the character which takes value 1 on each element of Gp. Then [ is an ideal of A wl strongly Morita equivalent to C(0/G) ([8], Lemma 3.9). The quotient (C*-algebra can be shown to be isomorphic to the direct sum of compact operators An= QB BUG). a OTE MoO Ny, Since Gp is a finite abelian group, Gr has |Gz| elements, Thus, A/7 is the direct sum of No copies of compact operators (on possibly different Hilbert spaces), where Ng is in the statement of the theorem. ‘The short exaet sequence of C*-algebras O51 +AsA/I0 Q gives rise to the six-term exact sequence in K-theory Ko F) —— Ko A) — Kg A/1) @) (A/T) — KA) — il) Since K-theory is invariant under isomorphism and Morita equivalence, respects direct sums, and Ko(K) = Z and Ki(K) = 0 for any algebra of compact operators (, we obtain the exact sequence 0 Ky(C(M/G)) + Ky(C(M) » G) > Z% 4 Ry (C(M/G)) Ky (C(M) »G) 30. (Ay Whether G is isomorphic to T or it is finite, the hypotheses of [8], Theorem 5.20 apply, and so the image of the map is a torsion subgroup of #)(C(8/G)). Since this group is torsion-free by assumption, we have that 0 is the zero map, and so ¢ is an isomorphism, Furthermore, the left part of (4) isa short exact sequence which splits since Z™? is a free abelian group. o