Group completion

Redirect to:

  • Grothendieck group