In mathematics, the Grothendieck group, or group of differences, of a commutative monoid M is a certain abelian group. Wikipedia