11
$\begingroup$

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.

  • 2
    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.2015-12-15

1 Answers 1

12

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)$.

By the way, this ring came up in my question here.

  • 0
    Hi Zev -- I used this ring in [this answer](http://math.stackexchange.com/a/170802/6622) :-)2012-07-14