Is a prime principal ideal which is not maximal among principal ideals always idempotent?

296 Views Asked by At

Let $R$ be a commutative ring with identity, $P$ a prime principal ideal of $R$. Suppose that there exists a proper principal ideal $I$ of $R$ which is strictly larger than $P$ (i.e. $R\supsetneq I\supsetneq P$), then can we conclude $P^2=P$?

I find this property always holds when $R$ is an integral domain or a principal ideal ring, so I'm curious about if it's satisfied for more general rings.

1

There are 1 best solutions below

0
On BEST ANSWER

Let $R = \frac{k[x,y,z]}{(1-xy)z}.$ Let $P = (z)$ and $I = (x)$.

Note that $P$ is prime because modding out by $z$ gives $k[x,y]$, but that $P^2 \ne P$. And $z \in (x)$ because $z = xyz$.