# In a Principal Ideal Domain (PID), a Prime Ideal is a Maximal Ideal ## Problem 175

Let $R$ be a principal ideal domain (PID) and let $P$ be a nonzero prime ideal in $R$.
Show that $P$ is a maximal ideal in $R$. Add to solve later

Contents

## Definition

A commutative ring $R$ is a principal ideal domain (PID) if $R$ is a domain and any ideal $I$ is generated by a single element $a\in I$, that is $I=(a)$.

## Proof.

Since $R$ is a PID, we can write $P=(a)$, an ideal generated by an element $a\in R$.
Since $P$ is a nonzero ideal, the element $a\neq 0$.

Now suppose that we have
$P \subset I \subset R$ for some ideal $I$ of $R$.

We can write $I=(b)$ for some $b \in R$ since $R$ is a PID.
The element $a\in (a) \subset (b)$ and so there is an element $c \in R$ such that $a=bc$.

Since $a=bc$ is in the prime ideal $P$, we have either $b \in P$ or $c \in P$.
If $b\in P$, then it follows that $I=(b)\subset P$, and hence $P=I$.
If $c \in P=(a)$, then we have $d\in R$ such that $c=ad$.

Then we have
\begin{align*}
\end{align*}
and since $R$ is a domain and $a\neq 0$, we have
$1=bd.$ This yields that $b$ is a unit and hence $I=(b)=R$.

In summary, we observe that whenever we have $P \subset I \subset R$, we have either $I=P$ or $I=R$. Thus $P$ is a maximal ideal. Add to solve later

### More from my site

#### You may also like...

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

###### More in Ring theory ##### Equivalent Conditions For a Prime Ideal in a Commutative Ring

Let $R$ be a commutative ring and let $P$ be an ideal of $R$. Prove that the following statements are...

Close