# Examples of Prime Ideals in Commutative Rings that are Not Maximal Ideals

## Problem 520

Give an example of a commutative ring $R$ and a prime ideal $I$ of $R$ that is not a maximal ideal of $R$.

Contents

## Solution.

We give several examples. The key facts are:

- An ideal $I$ of $R$ is prime if and only if $R/I$ is an integral domain.
- An ideal $I$ of $R$ is maximal if and only if $R/I$ is a field.

### Example 1: $\Z$ and $(0)$

The first example is the ring of integers $R=\Z$ and the zero ideal $I=(0)$.

Note that the quotient ring is $\Z/(0)\cong \Z$ and it is integral domain but not a field.

Thus the ideal $(0)$ is a prime ideal by Fact 1 but not a maximal ideal by Fact 2.

#### Remark

Note that $(0)$ is the only prime ideal of $\Z$ that is not a maximal ideal.

Nonzero ideals of $\Z$ are $(p)$ for some prime number $p$.

### Example 2: $\Z[x]$ and $(x)$

The second example is the ring of polynomials $R=\Z[x]$ over $\Z$ and the principal ideal $I=(x)$ generated by $x\in \Z[x]$.

The quotient ring is $\Z[x]/(x)\cong \Z$, which is an integral domain but not a field.

Thus the ideal $(x)$ is prime but not maximal by Fact 1, 2.

### Example 3: $\Q[x,y]$ and $(x)$

The third example is the ring of polynomials in two variables $R=\Q[x, y]$ over $\Q$ and the principal ideal $I=(x)$ generated by $x$.

The quotient ring $\Q[x,y]/(x)$ is isomorphic to $\Q[y]$.

(The proof of this isomorphism is given in the post Prove the Ring Isomorphism $R[x,y]/(x) \cong R[y]$.)

Note that $\Q[y]$ is an integral domain but it is not a field since, for instance, the element $y\in \Q[y]$ is not a unit.

Hence Fact 1, 2 implies that the ideal $(x)$ is prime but not maximal in the ring $\Q[x, y]$.

Add to solve later

Sponsored Links

## 1 Response

[…] the post ↴ Examples of Prime Ideals in Commutative Rings that are Not Maximal Ideals for examples of rings and prime ideals that are not maximal […]