Prime Ideal is Primary Ideal

From ProofWiki
Jump to navigation Jump to search


Let $R$ be a commutative ring with unity.

Let $\mathfrak p$ be a prime ideal of $R$.

Then $\mathfrak p$ is a primary ideal of $R$.


Let $xy \in \mathfrak p$.

Let $x \not \in \mathfrak p$

By definition of prime ideal:

$y^1 = y \in \mathfrak p$

Thus, by definition, $\mathfrak p$ is a primary ideal.