K-theory for the \(C^ *\)-algebras of the discrete Heisenberg group (Q1822020)

We show that the \(K_ j\)-groups of \(C^*(G)\), \(K_ j(C^*(G))\), \(j=0,1\), are isomorphic to \({\mathbb{Z}}^ 3\) and that \(\tau_*(K_ 0(C^*(G)))={\mathbb{Z}}\), where \(C^*(G)\) is the group \(C^*\)-algebra of the discrete Heisenberg group G and \(\tau_*\) is the homomorphism of \(K_ 0(C^*(G))\) associated to the canonical trace \(\tau\) on \(C^*(G)\).