Universal Property
In its simplest form, the Grothendieck group of a commutative monoid is the universal way of making that monoid into an abelian group. Let M be a commutative monoid. Its Grothendieck group N should have the following universal property: There exists a monoid homomorphism
- i:M→N
such that for any monoid homomorphism
- f:M→A
from the commutative monoid M to an abelian group A, there is a unique group homomorphism
- g:N→A
such that
- f=gi.
In the language of category theory, the functor that sends a commutative monoid M to its Grothendieck group N is left adjoint to the forgetful functor from the category of abelian groups to the category of commutative monoids.
Read more about this topic: Grothendieck Group
Famous quotes containing the words universal and/or property:
“To revolutionize, at one effort, the universal world of human thought, human opinion, and human sentiment.... All that he has to do is to write and publish a very little book. Its title should be simple—a few plain words—”My Heart Laid Bare.” But—this little book must be true to its title.”
—Edgar Allan Poe (1809–1849)
“It is better to write of laughter than of tears, for laughter is the property of man.”
—François Rabelais (1494–1553)