Grothendieck group noun1 •An abelian group constructed from a commutative monoid in a universal way. formsGrothendieck groups