Grothendieck group
= Grothendieck group
{c}
{wiki}
The Grothendieck group of a commutative monoid is its universal abelian-group completion. For vector bundles under direct sum, its elements are formal differences $[E]-[F]$ modulo stabilization.
= Grothendieck group
{c}
{wiki}
The Grothendieck group of a commutative monoid is its universal abelian-group completion. For vector bundles under direct sum, its elements are formal differences $[E]-[F]$ modulo stabilization.