You are currently browsing the category archive for the ‘K-theory’ category.
Recall from the last post that if is a commutative ring, we define to be the Grothendieck group of the isomorphism classes of finitely generated projective -modules. It is natural to ask what happens if we replace finitely generated projective modules with countably generated projective modules. Let us write for this group. It turns out that understanding is extremely easy.
Theorem: For any commutative ring , .
Proof: We have to show that if , , , and are countably generated projective -modules, there is some countably generated projective -module so that . Define . Hence .
A similar construction shows up in the theory of group rings. Here’s an exercise from T.Y. Lam’s Exercises in Classical Ring Theory:
Exercise 8.16: Let and be any two groups. Show that there is some ring so that . (Here is the ring of finite -linear combinations of elements of , and multiplication is defined by the group multiplication of .)
Solution: Let , and set . Then .
Lam makes the comment that, although consideration of the group rings and are very useful for determining properties of (for instance, the modules over these rings are the objects of study in group cohomology and representation theory, respectively), the group ring for an arbitrary ring might not give us much information about .
There’s an interesting article I found on more general Eilenberg swindles, but the authors don’t define progenerators, so I’ll include that here.
Let be a ring and a right -module. Define and . Then and are and bimodules, respectively. Furthermore, we can define multiplications by and by . We say that is a progenerator if and .
In many places in mathematics, we see some variant of the following simple construction. The first time we see it is in constructing the integers from the natural numbers:
Consider pairs of elements of (which includes zero for our purposes, but it doesn’t really matter this time). We form equivalence classes out of these pairs by saying that if . We can create a group structure on these pairs by setting . The resulting group is isomorphic to . So that’s how to construct the integers from the natural numbers.
We see a similar construction when we discuss localizations of rings. Let be a commutative ring and a multiplicative subset containing 1. (If is noncommutative, you can still localize provided that is an Ore set, but I don’t feel like going there now.) We now consider pairs under the equivalence relation if there is some so that . The set of equivalence classes has the structure of a ring, called the localization of at , and denoted by . This construction is generally seen with , where is a prime ideal of . The resulting ring is then local (meaning that it has a unique maximal ideal, namely . (We generally write rather than in this situation.) Anyway, this construction is really useful because localizations at prime ideals are frequently principal ideal domains, and we know all sorts of interesting theorems about finitely generated modules over principal ideal domains. And then we can use some Hasse principle-type result to transfer our results back to the original ring.
Notice that I allowed the multiplicative set of localization to contain zero. However, in this case, the localization becomes the trivial ring (or not a ring, if you require that in your definition of a ring, as many people do). More generally, allowing zero divisors in the multiplicative set causes various elements in to become zero in the localization.
A similar construction shows up in -theory. Suppose is any commutative semigroup. We consider pairs under the equivalence relation if there is some so that . (This is necessary since we do not assume that satisfies the cancellation property.) The resulting equivalence classes form a group called the Grothendieck group of and denoted by .
The Grothendieck group satisfies the following universal property. Let be the map sending to for any . (This is easily seen to be well-defined.) Now let be any abelian group and any semigroup homomorphism. Then there is a (unique) map so that .
Grothendieck groups can be very helpful for studying rings. Let be a commutative ring, and let denote the semigroup of isomorphism classes of projective modules (under the operation of direct sum). Then (or , as people often write) is an important object of study. If is a field, for instance, then . However, if is the ring of integers of a number field , then , where is the ideal class group.
Perhaps more interesting is Swan’s Theorem, which relates vector bundles over a compact topological space to the projective modules over its ring of continuous functions: they have isomorphic Grothendieck groups. But that’s probably the subject of another post, especially if I can manage to understand my notes from Max Karoubi’s lecture series in Edmonton.