The key idea of topological K-theory is to turn this semi-g…

The key idea of topological K-theory is to turn this semi-group of vector bundles into an actual (abelian) group by adjoining inverses, a general procudure known as the Grothendieck group construction, after its inventor.