grothendieck group
1. Definition
Let 
be a commutative monoid.
Then the grothendieck group is an abelian group 
with a monoid-homomorphism 
such that for every monoid-homomorphism 
to an abelian group 
there exists a unique group-homomorphism 
such that following diagram commutes
