Grothendieck group

Etymology
After.

Noun

 * 1)  An abelian group constructed from a commutative monoid in a universal way.