Grothendieck group
Let be an abelian semigroup.The Grothendieck group of is ,where is the equivalence relation: if there exists such that .This is indeed an abelian group
with zero element
(any ), inverse
and addition given by.It is common to use the suggestive notation for .
The Grothendieck group construction is a functor from the category
of abelian semigroups to the category of abelian groups.A morphism
induces a morphism which sends an element to .
Example 1
Let be the semigroup of natural numbers with composition given by addition.Then, .
Example 2
Let be the semigroup of non-zero integers with composition given by multiplication.Then, .
Example 3
Let be an abelian group, then via the identification (or if is multiplicative).
Let be a (essentially small) symmetric monoidal category.Its Grothendieck group is ,i.e. the Grothendieck group of the isomorphism classes of objects of .
Title | Grothendieck group |
Canonical name | GrothendieckGroup |
Date of creation | 2013-03-22 13:38:24 |
Last modified on | 2013-03-22 13:38:24 |
Owner | mhale (572) |
Last modified by | mhale (572) |
Numerical id | 11 |
Author | mhale (572) |
Entry type | Definition |
Classification | msc 16E20 |
Classification | msc 13D15 |
Classification | msc 18F30 |
Synonym | group completion |
Related topic | AlgebraicKTheory |
Related topic | KTheory |
Related topic | AlgebraicTopology |
Related topic | GrothendieckCategory |