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

Prime Ideal Problems and Solution in Ring Theory in Mathematics

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$.

 
FavoriteLoadingAdd to solve later

Sponsored Links

Solution.

We give several examples. The key facts are:

  1. An ideal $I$ of $R$ is prime if and only if $R/I$ is an integral domain.
  2. 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]$.


FavoriteLoadingAdd to solve later

Sponsored Links

More from my site

You may also like...

1 Response

  1. 07/26/2017

    […] 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 […]

Leave a Reply

Your email address will not be published. Required fields are marked *

More in Ring theory
Unique Factorization Domain Problems and Solutions
The Quadratic Integer Ring $\Z[\sqrt{5}]$ is not a Unique Factorization Domain (UFD)

Prove that the quadratic integer ring $\Z[\sqrt{5}]$ is not a Unique Factorization Domain (UFD).  

Close