The Unapologetic Mathematician

Mathematics for the interested outsider

Local Rings

Sorry for the break last Friday.

As long as we’re in the neighborhood — so to speak — we may as well define the concept of a “local ring”. This is a commutative ring which contains a unique maximal ideal. Equivalently, it’s one in which the sum of any two noninvertible elements is again noninvertible.

Why are these conditions equivalent? Well, if we have noninvertible elements r_1 and r_2 with r_1+r_2 invertible, then these elements generate principal ideals (r_1) and (r_2). If we add these two ideals, we must get the whole ring, for the sum contains r_1+r_2, and so must contain 1, and thus the whole ring. Thus (r_1) and (r_2) cannot both be contained within the same maximal ideal, and thus we would have to have two distinct maximal ideals.

Conversely, if the sum of any two noninvertible elements is itself noninvertible, then the noninvertible elements form an ideal. And this ideal must be maximal, for if we throw in any other (invertible) element, it would suddenly contain the entire ring.

Why do we care? Well, it turns out that for any manifold M and point p\in M the algebra \mathcal{O}_p of germs of functions at p is a local ring. And in fact this is pretty much the reason for the name “local” ring: it is a ring of functions that’s completely localized to a single point.

To see that this is true, let’s consider which germs are invertible. I say that a germ represented by a function f:U\to\mathbb{R} is invertible if and only if f(p)\neq0. Indeed, if f(p)=0, then f is certainly not invertible. On the other hand, if f(p)\neq0, then continuity tells us that there is some neighborhood V of p where f(p)\neq0. Restricting f to this neighborhood if necessary, we have a representative of the germ which never takes the value zero. And thus we can define a function g(q)=\frac{1}{f(q)} for q\in V, which represents the multiplicative inverse to the germ of f.

With this characterization of the invertible germs in hand, it should be clear that any two noninvertible germs represented by f_1 and f_2 must have f_1(p)=f_2(p)=0. Thus f_1(p)+f_2(p)=0, and the germ of f_1+f_2 is again noninvertible. Since the sum of any two noninvertible germs is itself noninvertible, the algebra \mathcal{O}_p of germs is local, and its unique maximal ideal \mathfrak{m}_p consists of those functions which vanish at p.

Incidentally, we once characterized maximal ideals as those for which the quotient R/I is a field. So which field is it in this case? It’s not hard to see that \mathcal{O}_p/\mathfrak{m}_p\cong\mathbb{R} — any germ is sent to its value at p, which is just a real number.

March 28, 2011 Posted by | Differential Topology, Ring theory, Structure of Rings, Topology | 3 Comments


Okay, I know I’ve been doing a lot more high-level stuff this week because of the E_8 thing, but it’s getting about time to break some new ground.

A ring is another very well-known kind of mathematical structure, and we’re going to build it from parts we already know about. First we start with an abelian group, writing this group operation as +. Of course that means we have an identity element {}0, and inverses (negatives).

To this base we’re going to add a semigroup structure. That is, we can also “multiply” elements of the ring by using the semigroup structure, and I’ll write this as we usually write multiplication in algebra. Often the semigroup will actually be a monoid — there will be an identity element 1. We call this a “ring with unit” or a “unital ring”. Some authors only ever use rings with units, and there are good cases to be made on each side.

Of course, it’s one thing to just have these two structures floating around. It’s another thing entirely to make them interact. So I’ll add one more rule to make them play nicely together:
(a+b)(c+d) = ac+ad+bc+bd
This is the familiar distributive law from high school algebra.

Notice that I’m not assuming the multiplication in a ring to be invertible. In fact, a lot of interesting structure comes from elements that have no multiplicative inverse. I’m also not assuming that the multiplication is commutative. If it is, we say the ring is commutative.

The fundamental example of a ring is the integers \mathbb{Z}. I’ll soon show its ring structure in my thread of posts directly about them. Actually, the integers have a lot of special properties we’ll talk about in more detail. The whole area of number theory basically grew out of studying this ring, and much of ring theory is an attempt to generalize those properties.

March 23, 2007 Posted by | Algebra, Ring theory, Structure of Rings | 3 Comments