## The lattice of ideals

We know that the collection of all ideals of a given ring form a rig. In fact, they also form a lattice. We put the partial order of inclusion on ideals, so is below if .

To show that this poset is a lattice we have to show that pairwise greatest lower bounds and least upper bounds exist. Lower bounds are easy: the intersection of two ideals is again an ideal. By definition, any ideal contained in both and is contained in .

Upper bounds are a little trickier, since we can’t just take the union of two ideals. That would work for subsets of a given set, but in general the union of two ideals isn’t an ideal. Instead, we take their sum. Clearly and . Also, if is another ideal containing both and , then contains all linear combinations of elements of and . But is the set of all such linear combinations. Thus , and is the least upper bound of and .

This lattice is related to the divisibility preorder. Given a commutative unital ring and two elements , recall that if there is an so that . Then every multiple of is also a multiple of . Thus we see that the principal ideal is contained in the principal ideal . On the other hand, if we can see that for some , so . In particular, two elements are associated if and only if they generate the same principal ideal.

Notice that this correspondence reverses the direction of the order. If is below in the divisibility ordering, then is *above* in the ideal ordering. Thus the “greatest common divisor” of two ideals is actually now the least ideal containing both of them. The language of ideals, however, is far more general than that of divisibility. We now need to recast most of what we know about divisibility from our experience with natural numbers into these more general ring-theoretic terms.

Nice introduction!

But it felt too short, I was left wanting to know more about the lattice of ideals! Is it complete? What are its sublattices? These may be easy-to-answer questions, but it would be cool to see them added to this post anyways :-)

Regards!

Comment by Jose Brox | August 5, 2008 |

Thanks, Jose. I might come back later and cover more when I get the chance. However, I’m really not a ring theorist, so I’m not an expert on this area. If there’s someone else who knows any general answers to these questions, I’d be glad to hear the answers.

Comment by John Armstrong | August 5, 2008 |

Sure, the lattice of ideals is complete: any collection of ideals has an inf in this lattice, given by taking the intersection. There is a general result that any lattice or poset which admits arbitrary infs also admits arbitrary sups (see my post Lattices and Duality on my blog with Vishal, for instance).

I don’t know of any particularly nice way of characterizing the sublattices.

Comment by Todd Trimble | August 5, 2008 |

There is one subset-which-forms-a-lattice of particular note*: the lattice of radical ideals (those closed under taking “nth roots” for all n > 0). One nice property of this is that it is isomorphic to the lattice of opens of a topological space (specifically, the Zariski spectrum of that ring); thus, it will be complete, though, again, an easier way to prove completeness would be by simply observing closure under arbitrary intersection. Furthermore, for any distributive lattice, the lattice of its (order) ideals will be isomorphic to the lattice of radical ideals of some ring, and vice versa.

*: It need not actually be a sublattice, as the joins within it may not coincide with the joins within the lattice of ideals. However, arbitrary meets within the two will coincide (being intersections in both cases); thus, it will be a sub-complete-meet-semilattice.

Comment by Sridhar Ramesh | August 5, 2008 |

This is true, Sridhar. If I get around to some classical algebraic geometry, I’ll cover that topology. Or you can read more from Charles at

Rigorous Trivialities.Comment by John Armstrong | August 5, 2008 |

what is the n.and s. conditions for the latiice of ideals of a ring to be distributive ?

Comment by M.K. Ahmad | November 16, 2009 |

[...] the intersection of a collection of algebras is itself a -algebra, just like we did way back when we showed that we had lower bounds in the lattice of ideals. So take all the -algebras containing — [...]

Pingback by Monotone Classes « The Unapologetic Mathematician | March 18, 2010 |