Krull's principal ideal theorem

Statement

Let $R$ be a Noetherian and $x\in R$. Let $P</mat>beaminimalprimeidealamongthosecontaining<math>x$. Then, the codimension of $P$ is at most 1.

Generalizations

• Krull's height theorem: This is often also called the final version of the principal ideal theorem.