Does there exist a ring which is not a principal ideal ring and which has exactly six different ideals?

Does there exist a ring which is not a principal ideal ring and which has exactly six different ideals?

(For me a ring is commutative with a unit element.)

I can show that any ring having at most five ideals is a principal ideal ring.

EDIT: The proof goes as follows, it is not so hard. Suppose that $R$ is a ring which is not principal and which has at most five ideals. Then there must exist a proper ideal of the form $(\alpha,\beta)$ in $R$ which is not principal. Then $(0), (\alpha),(\beta),(\alpha, \beta), R$ must be the five different ideals of $R$. But what about $(\alpha + \beta)$? It cannot be $(0)$ or $(\alpha,\beta)$ or $R$. Say that it is $(\alpha)$. Then we get that $\alpha \mid \beta$, hence $(\alpha,\beta) = (\alpha)$, contradiction! Similarly, it cannot be $(\beta)$. Hence we are done.

• Can you sketch the proof about the 5-ideals ring ? I am interested in this result. Oct 25 '11 at 12:52
• From the statement "$R$ has an ideal which isn't principal" it does not follow that there is a nonprincipal ideal of the form $(\alpha,\beta)$. Maybe 2-generated ideals are all principal, and that the best you can do is $3$ or more. But still, you can pick a minimal finite generating set for the nonprincipal ideal and argue similarly. Dec 15 '15 at 15:56

Yes; the ring $R=\mathbb{F}_2[x,y]/(x,y)^2$ has exactly six ideals, namely $$R$$ $$|$$ $$(x,y)$$ $$\text{ / }\qquad |\qquad \text{ \ }$$ $$\quad\quad(x)\quad\quad(y)\,\,\,\,\quad (x+y)$$ $$\text{ \ } \qquad |\qquad \text{ / }$$ $$(0)$$ There are only 8 elements of the ring (representatives are of the form $a+bx+cy$, for $a,b,c\in\mathbb{F}_2$) and one can check that these are all the ideals by first examining all the principal ideals, which end up being the ideals $(0),(x),(y),(x+y),R=(1)$; then noting that any non-principal proper ideal must contain exactly 4 elements (as an additive subgroup of $R$, it must have size 1, 2, or 4; but if it is of size 1 or 2 it will necessarily be principal, generated by either 0 (if size 1) or its non-zero element (if size 2)), and any of the 4 elements $1+bx+cy$ is a unit, so it can't contain any of them if it is to be proper. Hence the only non-principal ideal is $(x,y)$.