Grothendieck group

In mathematics, the Grothendieck group construction in abstract algebra constructs an abelian group from a commutative monoid M in the most universal way in the sense that any abelian group containing a homomorphic image of M will also contain a homomorphic image of the Grothendieck group of M. The Grothendieck group construction takes its name from the more general construction in category theory, introduced by Alexander Grothendieck in his fundamental work of the mid-1950s that resulted in the development of K-theory, which led to his proof of the Grothendieck-Riemann-Roch theorem. This article treats both constructions.