6
$\begingroup$

Let $R\subseteq S$ be an integral extension of commutative rings with identity. Let $P$ be a prime ideal in $R$ and $Q$ a prime ideal in $S$. If $Q=PS$ and $P=Q\cap R$ what can we say about $Q^n\cap R$? This ideal always contains $P^n$, but when does equality hold?

1 Answers 1