Explicit Construction
To construct the Grothendieck group of a commutative monoid M, one forms the Cartesian product
- M×M.
The two coordinates are meant to represent a positive part and a negative part:
- (m, n)
is meant to correspond to
- m − n.
Addition is defined coordinate-wise:
- (m1, m2) + (n1, n2) = (m1 + n1, m2 + n2).
Next we define an equivalence relation on M×M. We say that (m1, m2) is equivalent to (n1, n2) if, for some element k of M, m1 + n2 + k = m2 + n1 + k. It is easy to check that the addition operation is compatible with the equivalence relation. The identity element is now any element of the form (m, m), and the inverse of (m1, m2) is (m2, m1).
In this form, the Grothendieck group is the fundamental construction of K-theory. The group K0(M) of a manifold M is defined to be the Grothendieck group of the commutative monoid of all isomorphism classes of vector bundles of finite rank on M with the monoid operation given by direct sum. The zeroth algebraic K group K0(R) of a ring R is the Grothendieck group of the monoid consisting of isomorphism classes of projective modules over R, with the monoid operation given by the direct sum.
The Grothendieck group can also be constructed using generators and relations: denoting by (Z(M),+') the free abelian group generated by the set M, the Grothendieck group is the quotient of Z(M) by the subgroup generated by .
Read more about this topic: Grothendieck Group
Famous quotes containing the words explicit and/or construction:
“Like dreaming, reading performs the prodigious task of carrying us off to other worlds. But reading is not dreaming because books, unlike dreams, are subject to our will: they envelop us in alternative realities only because we give them explicit permission to do so. Books are the dreams we would most like to have, and, like dreams, they have the power to change consciousness, turning sadness to laughter and anxious introspection to the relaxed contemplation of some other time and place.”
—Victor Null, South African educator, psychologist. Lost in a Book: The Psychology of Reading for Pleasure, introduction, Yale University Press (1988)
“The construction of life is at present in the power of facts far more than convictions.”
—Walter Benjamin (1892–1940)