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:
“... the Ovarian Theory of Literature, or, rather, its complement, the Testicular Theory. A recent camp follower ... of this explicit theory is ... Norman Mailer, who has attributed his own gift, and the literary gift in general, solely and directly to the possession of a specific pair of organs. One writes with these organs, Mailer has said ... and I have always wondered with what shade of ink he manages to do it.”
—Cynthia Ozick (b. 1928)
“No real “vital” character in fiction is altogether a conscious construction of the author. On the contrary, it may be a sort of parasitic growth upon the author’s personality, developing by internal necessity as much as by external addition.”
—T.S. (Thomas Stearns)