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:
“Universal suffrage should rest upon universal education. To this end, liberal and permanent provision should be made for the support of free schools by the State governments, and, if need be, supplemented by legitimate aid from national authority.”
—Rutherford Birchard Hayes (1822–1893)
“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.