What’s in all powers of a principal prime?

Let $R$ be a commutative ring and $(p)$ be a principal prime ideal. What can be said about the intersection $\cap_{k=1}^\infty (p)^k$? Let’s abbreviate this $\cap (p)^k$ (I like to use the convention that when limits are not specified, then the operation like intersection is taken over all possible indices).

Let’s try an example. For the integers, every principal prime is of the form $(p)$ where $p$ is a prime number or zero. And $(p)^k = (p^k)$ so $\cap (p)^k = (0)$. In fact if $R$ is any Noetherian integral domain then $\cap (p)^k = 0$.

If $R$ is not an integral domain then $\cap (p)^k$ is not necessarily zero. For example, let $S$ be an integral domain and let $R = S\times S$. In $S\times S$, the prime ideal generated by the single element $p = (1,0)$ is its own $k$-th power for all $k$. So $\cap (p)^k = p$.

Of course, it is impossible that in an integral domain to have $(p) = (p)^2$ for some principal prime $p$ unless $p = 0$. Of course, it is possible in an integral domain to have $P = P^2$ for a nonzero prime ideal $P$ that is necessarily not principal. Just take a “polynomial” ring over a field where the powers are allowed to be all nonnegative rationals; that is, a ring of the form $k[\Q^+]$ where $\Q^+$ is the monoid of all nonnegative rational numbers under multiplication. In the case of $k[\Q^+]$, a prime such that $P^2 = P$ would be the prime $P$ generated by all elements of the form $x^q$ where $q \gt 0$ is a rational number.

I will leave the reader with the following question:

Does there exist an integral domain, necessarily non-Noetherian, that contains a principal prime $(p)$ with $\cap (p)^k\not= 0$?

Leave a comment

Fields marked with * are required. LaTeX snippets may be entered by surrounding them with single dollar signs. Use double dollar signs for display equations.