6

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?

BMI
  • 535

1 Answers1

5

For example if $R\subseteq S$ is flat: the extension then actually is faithfully flat and thus for every ideal $I\subseteq R$ we have $IS\cap R=I$. Applying this to $I=P^n$ yields $$P^n = SP^n\cap R = (SP)^n \cap R = Q^n \cap R.$$

However flatness is not a frequent property of integral extensions ...

Hagen Knaf
  • 8,932
  • 1
    Flatness is more common then you think, due to the "miracle flatness theorem": Is $R$ is regular, $S$ is Cohen-Macaualy, and $R \subseteq S$ is finite, then $S$ is flat over $R$. – David E Speyer Sep 12 '11 at 17:29
  • 2
    But for $\dim (R)>2$ the condition of being Cohen-Macaulay strongly restricts the admissible singularities of $S$. Moreover even in the $1$-dimensional case one (almost) completely excludes the case of non-normal domains $R$. – Hagen Knaf Sep 13 '11 at 07:20
  • The property also holds if $R,S$ are Dedekind domains, I think. – Watson Jan 11 '17 at 15:33
  • My comment above actually follows from your answer and this question. – Watson Feb 10 '17 at 23:03