Assertion: abelian group | /r/MadeOf | homomorphic image of m
Facets:
Source sentences:
text: In mathematics, the Grothendieck group construction 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 a specific case in category theory, introduced by Alexander Grothendieck in his proof of the Grothendieck–Riemann–Roch theorem, which resulted in the development of K-theory.
text: This expresses the fact that any abelian group A that contains a homomorphic image of M will also contain a homomorphic image of K, K being the "most general" abelian group containing a homomorphic image of M.