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$.
Sponsored Links
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 […]