An Idelic Life

Algebraic number theory and anything else I feel like telling the world about

# New objects from old using equivalence classes of pairs

Tuesday, August 14, 2007 in K-theory, ring theory

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 $(a,b)$ of elements of $\mathbb{N}$ (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 $(a,b)\sim(c,d)$ if $a+d=b+c$. We can create a group structure on these pairs by setting $(a,b)+(c,d)=(a+c,b+d)$. The resulting group is isomorphic to $\mathbb{Z}$. So that’s how to construct the integers from the natural numbers.

We see a similar construction when we discuss localizations of rings. Let $R$ be a commutative ring and $S$ a multiplicative subset containing 1. (If $R$ is noncommutative, you can still localize provided that $S$ is an Ore set, but I don’t feel like going there now.) We now consider pairs $(r,s)\in R\times S$ under the equivalence relation $(r_1,s_1)\sim(r_2,s_2)$ if there is some $t\in S$ so that $tr_1s_2=tr_2s_1$. The set of equivalence classes has the structure of a ring, called the localization of $R$ at $S$, and denoted by $R_S$. This construction is generally seen with $S=R\setminus\mathfrak{p}$, where $\mathfrak{p}$ is a prime ideal of $R$. The resulting ring is then local (meaning that it has a unique maximal ideal, namely $\mathfrak{p}R_S$. (We generally write $R_{\mathfrak{p}}$ rather than $R_S$ 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 $0\neq 1$ in your definition of a ring, as many people do). More generally, allowing zero divisors in the multiplicative set causes various elements in $R$ to become zero in the localization.

A similar construction shows up in $K$-theory. Suppose $A$ is any commutative semigroup. We consider pairs $(a,b)\in A\times A$ under the equivalence relation $(a,b)\sim(c,d)$ if there is some $e\in A$ so that $a+d+e=b+c+e$. (This is necessary since we do not assume that $A$ satisfies the cancellation property.) The resulting equivalence classes form a group called the Grothendieck group of $A$ and denoted by $K_0(A)$.

The Grothendieck group satisfies the following universal property. Let $\phi$ be the map sending $a\in A$ to $(a+b,b)$ for any $b\in A$. (This is easily seen to be well-defined.) Now let $G$ be any abelian group and $\psi:A\to G$ any semigroup homomorphism. Then there is a (unique) map $\theta:K_0(A)\to G$ so that $\theta\phi=\psi$.

Grothendieck groups can be very helpful for studying rings. Let $R$ be a commutative ring, and let $A$ denote the semigroup of isomorphism classes of projective $R$ modules (under the operation of direct sum). Then $K_0(A)$ (or $K_0(R)$, as people often write) is an important object of study. If $R$ is a field, for instance, then $K_0(R)\cong\mathbb{Z}$. However, if $R$ is the ring of integers of a number field $K$, then $K_0(R)\cong\mathbb{Z}\oplus C(K)$, where $C(K)$ 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.

About these ads

Like Loading...

## 1 comment

Comments feed for this article

Let me think of a few other uses. Localizations of modules. Local rings have lots of nice properties, especially Nakayama’s lemma, which makes them useful in commutative algebra. In algebraic geometry, the local ring on a scheme plays an important role (and the stalk of a quasicoherent sheaf-this is just localization too). At most places (at nonsingular points), the local rings will even be regular and consequently UFDs of finite homological dimension. Completions (e.g. the p-adic integers) give rise to local rings. Those complete local rings are of course interest in the theory of local fields, and for ideles in the theory of global fields. Localization can even be used to prove unique factorization of ideals in a Localization is also friendly since it is an exact functor. It commutes with Hom and the tensor product in a certain sense (the former for finitely presented modules, at least; localization is also really a tensor product operation). Yes, I agree: localization is universal.

%d bloggers like this:
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 53, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 5, "enable": false}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9209257960319519, "perplexity_flag": "head"}