K-group, zeroth (Ex)
From Manifold Atlas
- Show that the group is isomorphic to the group obtain by applying the Grothendieck construction to the abelian monoid of isomorphism classes of finitely generated projective -modules under direct sum.
- Compute , where is the symmetric group on three elements.
- Show that the -module of sections of the tangent bundle is finitely generated projective and even stably finitely generated free, but not finitely generated free.