Grothendieck group

== English == === Etymology === After Alexander Grothendieck. === Noun === Grothendieck group (plural Grothendieck groups) (mathematics) An abelian group constructed from a commutative monoid in a universal way.