Grothendieck Group - Universal Property

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:MN

such that for any monoid homomorphism

f:MA

from the commutative monoid M to an abelian group A, there is a unique group homomorphism

g:NA

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 (1817–1862)

    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.