Group completion
Redirect to:
Grothendieck group