Last time we defined and gave some examples of rings. Recapping, a ring is a special kind of group with an additional multiplication operation that “plays nicely” with addition. The important thing to remember is that a ring is intended to remind us arithmetic with integers (though not too much: multiplication in a ring need not be commutative). We proved some basic properties, like zero being unique and negation being well-behaved. We gave a quick definition of an integral domain as a place where the only way to multiply two things to get zero is when one of the multiplicands was already zero, and of a Euclidean domain where we can perform nice algorithms like the one for computing the greatest common divisor. Finally, we saw a very important example of the ring of polynomials.

In this post we’ll take a small step upward from looking at low-level features of rings, and start considering how general rings relate to each other. The reader familiar with this blog will notice many similarities between this post and our post on group theory. Indeed, the definitions here will be “motivated” by an attempt to replicate the same kinds of structures we found helpful in group theory (subgroups, homomorphisms, quotients, and kernels). And because rings are also abelian groups, we will play fast and loose with a number of the proofs here by relying on facts we proved in our two-post series on group theory. The ideas assume a decidedly distinct flavor here (mostly in ideals), and in future posts we will see how this affects the computational aspects in more detail.

## Homomorphisms and Sub-structures

The first question we should ask about rings is: what should mappings between rings look like? For groups they were set-functions which preserved the group operation ( for all ). The idea of preserving algebraic structure translates to rings, but as rings have two operations we must preserve both.

**Definition:** Let be rings, and let be a function on the underlying sets. We call a *ring homomorphism* if is a group homomorphism of the underlying abelian groups, and for all we have . A bijective ring homomorphism is called an *isomorphism*.

Indeed, we have the usual properties of ring homomorphisms that we would expect. All ring homomorphisms preserve the additive and multiplicative identities, multiplicative inverses (when they exist), and things like zero-divisors. We leave these verifications to the reader.

Ring homomorphisms have the same kinds of constructions as group homomorphisms did. One of particular importance is the kernel , which is the preimage of zero under , or equivalently the set . This is the same definition as for group homomorphisms, linear maps, etc.

The second question we want to ask about rings is: what is the appropriate notion of a sub-structure for rings? One possibility is obvious.

**Definition:** A *subring* of a ring is a subset which is also a ring under the same operations as those of (and with the same identities).

Unfortunately subrings do not have the properties we want them to have, and this is mostly because of the requirement that our rings have a multiplicative identity. For instance, we want to say that the kernel of a ring homomorphism is a subring of . This will obviously not be the case, because the multiplicative identity never maps to zero under a ring homomorphism! We also want an appropriate notion of a quotient ring, but if we quotient out (“declare to be zero”) a sub*ring*, then the identity will become zero, which yields all sorts of contradictions in all but the most trivial of rings. One nice thing, however, is that the *image* of a ring homomorphism is a subring of . It is a trivial exercise to prove.

Rather than modify our definition of a kernel or a quotient to make it work with the existing definition of a subring, we pick a different choice of an appropriate sub-structure: the ideal.

## The Study of Ideals

From an elementary perspective, an ideal is easiest understood as a generalization of even numbers. Even integers have this nice property that multiplying any integer by an even integer gives you an even integer. This is a kind of *closure property* that mathematicians really love to think about, because they tend to lead to further interesting properties and constructions. Indeed, we can generalize it as follows:

**Definition: **Let be a commutative ring, and . We call an *ideal* if two conditions are satisfied:

- is a sub
*group*of under addition. - For all and for all , we have .

That is, an ideal is a subgroup closed under multiplication. The even integers as a subset of give a nice example, as does the set . In fact, *every* ideal contains zero by being a subgroup. A slightly more complicated example is the set of polynomials divisible by as a subset of the polynomial ring .

We have to be a little careful here if our ring is not commutative. Technically this definition above is for a *left*-ideal, which is closed under left-multiplication. You can also define *right-*ideals closed under right-multiplication, and the official name for a plain old “ideal” is a *two-sided* ideal. The only time we will ever work with noncommutative rings (that we can envision) is with matrix rings, so excluding that case our ideals will forevermore be two-sided. Often times we will use the notation to denote the set of all possible left multiplications , and so the ideal condition is just . This is a multiplicative kind of coset, although as we are about to see we will use both additive and multiplicative cosets in talking about rings.

Let’s look at some properties of ideals that show how neatly this definition encapsulates what we want. First,

**Proposition: **The kernel of a ring homomorphism is an ideal.

*Proof*. Let be a ring homomorphism, and let . We already know that is a subgroup of under addition because kernels of group homomorphisms are subgroups. To show the ideal condition, simply take and note that , and so .

In fact the correspondence is one-to-one: *every* ideal is the kernel of a ring homomorphism and every ring homomorphism’s kernel is an ideal. This is not surprising as it was the case for groups, and the story starts here with quotients, too.

**Definition: **Let be a ring and an ideal of . The quotient group forms a ring called the *quotient* ring, and is still denoted by .

To show this definition makes any sense requires some thought: what are the operations of this new ring? Are they well-defined on coset representatives?

For the first, we already know the addition operation because it is the same operation when we view as a quotient group; that is, . The additive identity is just . The multiplication operation is similar: . And the multiplicative identity is clearly .

The fact that multiplication works as we said it does above gives more motivation for the definition of an ideal. To prove it, pick any representatives and . Their product is

Where we denote by . The condition for an ideal to be an ideal is precisely that the weird parts, the , become just . And indeed, is an additive group, so sums of things in are in , and moreover is closed under multiplication by arbitrary elements of . More rigorously, is equivalent to under the coset equivalence relation because their difference is a member of .

Now we can realize that every ideal is the kernel of some homomorphism. Indeed, if is an ideal of , then there is a natural map (called the *canonical projection, *see our post on universal properties for more) defined by sending an element to its coset: . It should be obvious to the reader that the kernel of is exactly (because if and only if ; this is a fact we borrow from groups). And so there is a correspondence between kernels and ideals. They are really the same concept manifested in two different ways.

Because we have quotient rings and ring homomorphisms, we actually get a number of “theorems” for free. These are the isomorphism theorems for rings, the most important one being the analogue of the First Isomorphism Theorem for groups. That is, if is a ring homomorphism, is a subring of , and moreover . We invite the reader to prove it by hand (start by defining a map and prove it’s a ring isomorphism). There are some other isomorphism theorems, but they’re not particularly deep; rather, they’re just commonly-applied corollaries of the first isomorphism theorem. In light of this blog’s discussions on category theory, the isomorphism theorems are a trivial consequence of the fact that rings have quotients, and that happens to be well-behaved.

## Noetherian Rings and Principal Ideal Domains

One cannot overestimate the importance of ideals as a fundamental concept in ring theory. They are literally the cornerstone of everything interesting in the subject, and especially the computational aspects of the field (more on that in future posts). So to study ideals, we make some basic definitions.

**Definition: **Let be any subset of the ring . The ideal *generated* by is the smallest ideal of containing , denoted . It is “smallest” in the sense that all ideals containing must also contain .

Indeed, we can realize directly as the set of all possible finite linear combinations where the and . Such a linear combination is called an -linear combination because the “coefficients” come from . It is not hard to see that this is an ideal. It is obviously a subgroup since sums of linear combinations are also linear combinations, and negation distributes across the sum. It satisfies multiplicative closure because

is another -linear combination.

One convenient way to think of this ideal is as the intersection of all ideals which contain . Since the intersection of any family of ideals is an ideal (check this!) this will always give us the smallest possible ideal containing .

One important bit of notation is that if is the ideal generated by a *finite* set , then we write where . We say that is *finitely generated**.* If happens to be a singleton, we say that is a *principal ideal*. Following the notation of linear algebra, a minimal (by cardinality) generating set for an ideal is called a *basis* for the ideal.

Thinking about how ideals are generated is extremely important both in the pure theory of rings and in the computational algorithms that deal with them. It’s so important, in fact, that there are entire classes of rings defined by how their ideals behave. We give the two most important ones here.

**Definition: **A commutative ring is called *Noetherian* if all of its ideals are finitely generated. An integral domain is called a *principal ideal domain* if all of its ideals are principal.

The concept of a Noetherian ring is a particularly juicy one, and it was made famous by the founding mother of commutative ring theory, Emmy Noether. Without going into too much detail, just as an integral domain is the most faithful abstraction of the ring of integers, a Noetherian ring is the best way to think about polynomial rings (and quotients of polynomial rings). This is highlighted by a few basic facts and some deep theorems:

**Fact: **If is a Noetherian ring and an ideal, then is Noetherian.

This follows from the correspondence of ideals between and . Indeed, for every ideal there is an ideal of which contains . Moreover, this correspondence is a bijection. So if we want a generating set for , we can lift it up to via , get a finite generating set for , and project the generators back down to . Some of the generators will be killed off (sent to by ), but what remains will be a valid generating set for , and still finite.

**Theorem (Hilbert Basis Theorem):** If is a Noetherian ring, then the polynomial ring in one variable is Noetherian. Inductively, is also Noetherian.

These theorems start to lay the foundation for algebraic geometry, which connects ideals generated by a family of polynomials to the *geometric* solution set of those polynomials. Since a vast array of industrial problems can be reduced to solving systems of polynomial equations (take robot motion planning, for example), it would be quite convenient if we could write programs to reason about those systems of equations. Indeed, such algorithms do exist, and we make heavy use of theorems like the Hilbert Basis Theorem to ensure their correctness.

In the next post in this series, we’ll start this journey through elementary algebraic geometry by defining a *variety*, and establishing its relationship to ideals of polynomial rings. We’ll then work towards theorems like Hilbert’s Nullstellensatz, the computational operations we wish to perform on ideals, and the algorithms that carry out those operations. As usual, we’ll eventually see some applications and write some code.

Until then!

I’ve read that Bilbo Baggins once made a contribution to ring theory.

In section Homomorphisms and Sub-structures, the first definition state that function f is S->R, then f(x *_R y) = f(x) *_S f(y), the domain is S, so I think it may be a typo.