A question about the infinite intersection of prime ideals

407 Views Asked by At

Let $R$ be a commutative unitary ring and $P_1,P_2,...,P_m$ a finite family of prime ideals in $R$ such that $$ \bigcap_{k=1}^m P_k \subseteq P $$ for a prime ideal $P$ in $R$. Then $P_k\subseteq P$ for some $k\in\{1,2,...,m\}$ because $P_1P_2...P_m\subseteq \bigcap_{k=1}^m P_k$ and $P$ is prime.

Is the same true for an arbitrary infinite intersection $\bigcap_M P_k$ of prime ideals?

More precisely, let $P_k$ with $k\in M$ and $J$ be prime ideals in $R$ with $\bigcap_M P_k\subseteq P$. Do we have $P_k\subseteq P$ for some $k\in M$?

2

There are 2 best solutions below

1
On BEST ANSWER

No: let $R=\mathbb{Z}$, $P=(0)$, and let $P_1=2\mathbb{Z},P_2=3\mathbb{Z},P_3=5\mathbb{Z}$, and so on. Then $$ \bigcap_{k=1}^{\infty}P_k=(0)=P$$ but none of the $P_k$ are contained in $P$.

0
On

No. Take the prime ideals $(p)$ for all the prime numbers in $\mathbb Z$.

It's clear that $$\bigcap_{p}(p)=(0)$$ and $(0)$ is prime, but $(p)$ is never a subset of $(0)$.