Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

In thinking about this recent question, I was reading about distributive lattices, and the Wikipedia article includes a very interesting characterization:

A lattice is distributive if and only if none of its sublattices is isomorphic to $M_3$ or $N_5$.

where
$\hskip 1.7in$ enter image description here

As the answers to the other question demonstrate, it is pretty easy to construct examples of rings with non-distributive ideal lattices; for example, any Noetherian domain either having Krull dimension $>1$, or being non-integrally closed, has a non-distributive ideal lattice. For example, true to the above characterization, the lattice of ideals of $k[x,y]$ has an $M_3$ sublattice: $$(x,y)$$ $$\text{ / }\qquad |\qquad \text{ \ }$$ $$\quad\quad(x)\quad\quad(y)\,\,\,\,\quad (x+y)$$ $$\text{ \ } \qquad |\qquad \text{ / }$$ $$(0)$$ Of course, it has many other such sublattices, and even in the above example, there are other ideals like $(x+2y)$, $(x^2)$, etc. that live between $(0)$ and $(x,y)$, that we have thrown out for the purposes of getting our $M_3$ sublattice. What I would like to see are examples both of a ring having an ideal lattice isomorphic to $M_3$, and a ring having ideal lattice isomorphic to $N_5$. (I take my rings to be commutative unital rings, and I want to consider the lattice of ideals as including $R=(1)$.) As I mentioned, there are other ideals between $(0)$ and $(x,y)$, so getting a ring with an $M_3$ ideal lattice is not as easy as localizing $k[x,y]$ at $(x,y)$.

My best shot at producing a ring with an $M_3$ ideal lattice was $R=\mathbb{F}_2[x,y]/(x,y)^2$, which has $$R$$ $$|$$ $$(x,y)$$ $$\text{ / }\qquad |\qquad \text{ \ }$$ $$\quad\quad(x)\quad\quad(y)\,\,\,\,\quad (x+y)$$ $$\text{ \ } \qquad |\qquad \text{ / }$$ $$(0)$$

So, what are some good examples of rings having ideal lattice isomorphic to $M_3$? What about $N_5$?

share|improve this question
1  
The $N_5$ question is easy, because the lattice of ideals of a ring is modular (and so is, for that matter, the lattice of submodules of any module), and a modular lattice never contains $N_5$. –  rschwieb Apr 27 '12 at 13:13
    
In your second picture, I don't think that is a sublattice of $(\{\text{ideals of }k[x,y]\},⊆)$, because $(x)\!\cap\!(x\!+\!y)=(x^2\!+\!xy)\neq0$. Could you please find ideals that do form a sublattice $M_3$? –  Leon May 27 '12 at 8:05
    
@rschwieb: I think Leon means my claimed $M_3$ sublattice of $k[x,y]$ ($k$ a field), so I think his criticism is correct. The result implies that there are ideals that do form an $M_3$ sublattice, but I can't think of any off the top of my head. –  Zev Chonoles Jun 3 '12 at 2:30
    
OK, thanks: I probably misunderstood. –  rschwieb Jun 3 '12 at 11:18
    
I just realized one more interesting thing about this example. By a theorem of Kaplansky, a finite commutative ring with maximal ideals principal is a principal ideal ring... and here we have a finite commutative ring with every ideal principal except for its maximal ideal :) –  rschwieb Nov 29 '12 at 19:24

3 Answers 3

up vote 7 down vote accepted

There are no such rings.

A commutative ring with finitely many ideals is artinian. A commutative artinian ring is a direct product of artinian local rings. The direct product of n local rings has n maximal ideals, so you know n = 2 or 3. However, the lattice of a direct product is a type of lattice product, and the lattices you give are not such products (since they are so small, just check all lattices of the appropriate cardinality).

For the particular lattices you are looking at, there is a counting argument: If R, S are rings, then the ideals of R × S are all I × J for ideals I and J of R and S respectively. In particular, if a commutative ring had M3 as an ideal lattice, then it would be a direct product of three artinian local rings, and so one could write 4 as a product of three positive integers greater than 1. If a commutative ring had N5 as an ideal lattice, then 5 would be a product of two positive integers greater than 1.

share|improve this answer
    
Very neat argument! Thanks! –  Zev Chonoles Aug 19 '11 at 4:52

Consider $R=\mathbb F_2[x,y]/(x^2,xy,y^2)$. This is local, and the maximal ideal is $\mathfrak{m}=(x,y)R$, a $2$-dimensional $\mathbb F_2$ vector space, whose subspaces are precisely the ideals of $R$. Because the base field is very small, there are exactly five such subspaces.

share|improve this answer
2  
Isn't this essentially Zev's original example? $(x,y)^2 = (x^2,xy,y^2)$, if I'm not mistaken. The problem is that you don't get $M_3$, because you also have $R$ "on top" of the maximal ideal. –  Arturo Magidin Aug 19 '11 at 4:34
    
Oh, he wants $R$ in the lattice... –  Mariano Suárez-Alvarez Aug 19 '11 at 4:35
    
Yes, I suppose I should have been more explicit about that. (Also, I see now that I localized at $(x,y)$ unnecessarily in my example) –  Zev Chonoles Aug 19 '11 at 4:42

I know the original question was about commutative rings, but I just wanted to include in this post that there is a cute example if you allow noncommutative rings.

In $R=M_2(\mathbb{F}_2)$ (the 2 by 2 matrix ring with entries from the field of two elements) there are exactly five right ideals, and they form the lattice $M_3$. (The same can be said for the left ideals.)

Because $R$ is semisimple each right ideal is generated by an idempotent. One can check there are 6 nontrivial idempotents, but actually it turns out they pair off and they only generate three different ideals. These ideals are: $$\begin{pmatrix}1&0\\0&0\end{pmatrix}R, \begin{pmatrix}0&0\\0&1\end{pmatrix}R, \begin{pmatrix}0&1\\0&1\end{pmatrix}R $$

One should not forget to check that their pairwise intersections are $\{0\}$ and that their pairwise sums are $R$!

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.