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:
“We early arrive at the great discovery that there is one mind common to all individual men: that what is individual is less than what is universal ... that error, vice and disease have their seat in the superficial or individual nature.”
—Ralph Waldo Emerson (1803–1882)
“Crimes increase as education, opportunity, and property decrease. Whatever spreads ignorance, poverty and, discontent causes crime.... Criminals have their own responsibility, their own share of guilt, but they are merely the hand.... Whoever interferes with equal rights and equal opportunities is in some ... real degree, responsible for the crimes committed in the community.”
—Rutherford Birchard Hayes (1822–1893)