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

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


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

Please Login to Comment.

This site uses Akismet to reduce spam. Learn how your comment data is processed.

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