An analyst thinks of the ring of polynomials as a useful tool because, on intervals, it is dense in the continuous functions in the uniform topology. If we want to understand the relationship between and polynomial rings in a more general context, it might pay off to expand our scope from polynomial rings to more general types of well-behaved rings.

The rings we’ll be considering today are the commutative rings of real-valued continuous functions on a topological space with pointwise addition and multiplication. It turns out that one can fruitfully interpret ring-theoretic properties of this ring in terms of topological properties of , and in certain particularly nice cases one can completely recover the space . Although the relevance of these rings to number theory seems questionable, the goal here is to build geometric intuition. You can consider this post an extended solution to Exercise 26 in Chapter 1 of Atiyah-Macdonald.

**Basic properties**

cannot have nonzero nilpotents: if a function has a nonzero value somewhere so does all of its powers. So these rings cannot be too badly behaved; their nilradical is zero. This will be true of all the rings we are concerned with.

has nontrivial idempotents if and only if is disconnected: if a nonconstant function satisfies , then where on and on . The preimage of neighborhoods of both of these points is open, so are disjoint open sets. Conversely if is disconnected such a function always exists. Ring-theoretically this means . (Recall that a continuous function on a space is determined by a tuple of continuous functions on each connected component.)

The units of are precisely those functions which are nonzero everywhere. This is because the inverse function is continuous, so the inverse of a continuous function which is nonzero everywhere is a continuous function which is nonzero anywhere. This unit group is huge, which is something to keep in mind if we want a sensible notion of unique factorization for .

Given a subset of , the set of all functions such that is an ideal of . By continuity it suffices to only consider closed. When is a single element we get ideals corresponding to -algebra homomorphisms into , which is an integral domain (in fact a field). It follows that the ideals are prime. But now that we’ve seen so many (surjective) homomorphisms into fields we might as well name them separately: they are the **maximal** ideals. Among prime ideals, the maximal ideals are distinguished by the fact that no other proper ideal (i.e. one which is not the whole ring) contains them. In rings like and every nonzero prime ideal is maximal, but this is not always true. For example, if then the ideal generated by is prime but not maximal, since is an integral domain but not a field.

**Maximal spectrum**

The upshot of all this is that we can recover information about the points of by looking at some of the maximal ideals of . This is **very important**, and raises some questions:

- Are these the only maximal ideals of ?
- When are two maximal ideals the same?

We’d like the second condition to hold so that we have some hope of identifying with (possibly a subset of) the maximal ideals. For this to be true there must be some function which vanishes at but not at . The preimages of disjoint neighborhoods of are open and disjoint, so it follows that must be Hausdorff. But we don’t know yet if this is sufficient.

We’d like the first condition to hold so that we can identify with the maximal ideals (once we know when the second condition holds). If is some other ideal which isn’t contained in for any (hence which is contained in some other maximal ideal), then for every there is some function which is nonzero at . What we’d like to do is to use these functions to build a function which is nonzero everywhere, i.e. a unit, since that will show that must be the whole ring. If finitely many of them sufficed, we could take the sum of their squares.

Now, notice that the preimages form an open cover of . If were, say, compact, then we **could** take finitely many and find a unit in . And for now this is exactly what we’re going to do. With this additional hypothesis we have now ruled out the possibility of any weird maximal ideals running around, so to every point we can associate a maximal ideal , and this map is surjective. It remains to determine when this map is bijective. The condition that there exists a continuous function to taking different values at two points is called “separation by a continuous function,” and a sufficient condition for this to be possible is the subject of a standard fact in topology.

**Urysohn’s Lemma:** Let be a normal space, i.e. disjoint closed sets in can be separated by neighborhoods. Then disjoint closed sets can be separated by a continuous function .

Since closed subsets of a compact space are compact and disjoint compact sets can be separated by neighborhoods in a Hausdorff space, it follows that compact Hausdorff spaces are normal.

**Corollary:** If is compact Hausdorff, then is a bijection between and the set of maximal ideals of .

stands for **maximal spectrum**, a terminology hailing from functional analysis.

The obvious question from here is whether we can do better than recover just the points of : can we recover its topology? Well, there are open sets we know we have to have. Our goal is to find a topology on such that is precisely the set of all continuous functions on . But given a set of functions on a space there is a unique coarsest topology making all of those functions continuous; this is just the initial topology obtained by taking the inverse image of all open sets in sight.

**Proposition:** If is compact Hausdorff and is given the initial topology coming from , then is a homeomorphism.

*Proof.* This is not really a statement about ; it suffices to show that the topology on is initial for the continuous functions . To do this we’ll show that the **zero sets** form a basis for the closed sets of , as follows: given a closed set and a point we can find, by Urysohn’s lemma, a function such that but such that . Taking the intersection over all gives the desired result.

(Note that we used a weaker condition than the conclusion of Urysohn’s lemma, which was that points and closed sets could be separated. This condition is called complete regularity, and it turns out to be much nicer than normality.)

**Primes and ideals**

Again let’s summarize the situation.

- Ideals in arise as sets of the form “functions satisfying for all in some subset of ,” which is without loss of generality closed by continuity.
- Maximal ideals (nonzero prime ideals) occur by choosing a single point. When is compact Hausdorff these are the only maximal ideals, and one can recover the topology on as the initial topology on . This description requires only knowledge about .
- More generally, closed sets in arise as sets of the form “points satisfying for all in some subset of ,” which is without loss of generality an ideal. Again, this description requires only knowledge about . This is the Zariski topology on .

This suggests a very interesting way to study more general commutative rings: think of them as **continuous functions on their maximal spectrum in the Zariski topology!**

But we have to be careful. The property of that makes it a true ring of functions is that its residue fields are all the same – they’re all . This is also true for the polynomial ring – the residue fields are all . But for the residue fields are all different: the residue field at is . So integers do form functions on the set of primes, but not into the same set for each prime…

In the next post we’ll see how this works for polynomial rings .

on July 17, 2012 at 8:05 pm |Banach algebras, the Gelfand representation, and the commutative Gelfand-Naimark theorem « Annoying Precision[…] keep in mind as examples in this post. Keep in mind the following, which was discussed previously here and […]

on November 22, 2010 at 5:46 pm |Boolean rings, ultrafilters, and Stone’s representation theorem « Annoying Precision[…] with the argument from this previous blog post about recovering the topology of a compact Hausdorff space from the ring . There we argued that […]

on November 25, 2009 at 4:05 pm |Akhil MathewIs it sufficient only to consider the maximal spectrum in the general case?

The weak* topology on the space of continuous homomorphisms (which are uniquely determined) is also the same as the topology in this case. I think this is how the theorem that a compact Hausdorff space is determined by its ring of continuous functions is usually proved (i.e. using Banach algebras) even though it is entirely the same thing.

on November 25, 2009 at 5:47 pm |Qiaochu YuanThe general case is odd because points being separated by a continuous real-valued function is a strictly stronger condition than Hausdorff, so ends up identifying certain points.

I rather like the Banach algebra approach but it leads in sort of a different direction, and I want to get to varieties at some point.