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:
“It is remarkable what a value is still put upon wood even in this age and in this new country, a value more permanent and universal than that of gold. After all our discoveries and inventions no man will go by a pile of wood. It is as precious to us as it was to our Saxon and Norman ancestors. If they made their bows of it, we make our gun-stocks of it.”
—Henry David Thoreau (18171862)
“A few days later the younger son gathered all he had and traveled to a distant country, and there he squandered his property in dissolute living.”
—Bible: New Testament, Luke 15:13.