Grothendieck Groups of Exact Categories
A common generalization of these two concepts is given by the Grothendieck group of an exact category . Simplified an exact category is an additive category together with a class of distinguished short sequences A → B → C. The distinguished sequences are called "exact sequences", hence the name. The precise axioms for this distinguished class do not matter for the construction of the Grothendieck group.
It is defined in the same way as before as the abelian group with one generator for each (isomorphism class of) object(s) of the category and one relation
for each exact sequence
- .
Alternatively one can define the Grothendieck group using a similar universal property: An abelian group G together with a mapping is called the Grothendieck group of iff every "additive" map from into an abelian group X ("additive" in the above sense, i.e. for every exact sequence we have ) factors uniquely through φ.
Every abelian category is an exact category if we just use the standard interpretation of "exact". This gives the notion of a Grothendieck group in the previous section if we choose -mod the category of finitely generated R-modules as . This is really abelian because R was assumed to be artinian and (hence noetherian) in the previous section.
On the other hand every additive category is also exact if we declare those and only those sequences to be exact that have the form with the canonical inclusion and projection morphisms. This procedure produces the Grothendieck group of the commutative monoid in the first sense (here means the "set" of isomorphism classes in .)
Read more about this topic: Grothendieck Group
Famous quotes containing the words groups, exact and/or categories:
“screenwriter
Policemen so cherish their status as keepers of the peace and protectors of the public that they have occasionally been known to beat to death those citizens or groups who question that status.”
—David Mamet (b. 1947)
“He who asks fortune-tellers the future unwittingly forfeits an inner intimation of coming events that is a thousand times more exact than anything they may say. He is impelled by inertia, rather than curiosity, and nothing is more unlike the submissive apathy with which he hears his fate revealed than the alert dexterity with which the man of courage lays hands on the future.”
—Walter Benjamin (1892–1940)
“Of course I’m a black writer.... I’m not just a black writer, but categories like black writer, woman writer and Latin American writer aren’t marginal anymore. We have to acknowledge that the thing we call “literature” is more pluralistic now, just as society ought to be. The melting pot never worked. We ought to be able to accept on equal terms everybody from the Hassidim to Walter Lippmann, from the Rastafarians to Ralph Bunche.”
—Toni Morrison (b. 1931)