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:

    The almost universal bareness and smoothness of the landscape were as agreeable as novel, making it so much more like the deck of a vessel.
    Henry David Thoreau (1817–1862)

    Only the old are innocent. That is what the Victorians understood, and the Christians. Original sin is a property of the young. The old grow beyond corruption very quickly.
    Malcolm Bradbury (b. 1932)