# The Ideal Generated by a Non-Unit Irreducible Element in a PID is Maximal ## Problem 177

Let $R$ be a principal ideal domain (PID). Let $a\in R$ be a non-unit irreducible element.

Then show that the ideal $(a)$ generated by the element $a$ is a maximal ideal. Add to solve later

## Proof.

Suppose that we have an ideal $I$ of $R$ such that
$(a) \subset I \subset R.$ Since $R$ is a PID, there exists $b \in R$ such that $I=(b)$. As $a \in (a)\subset I=(b)$, we can write
$a=bc$ for some $c \in R$.

The irreducibility of the element $a$ yields that either $b$ or $c$ is a unit element of $R$.
If $b$ is a unit, then $I=(b)=R$. If $c$ is a unit then we have $c’\in R$ such that $cc’=1$.
Then $b=b\cdot 1=bcc’=ac’$, and we have $I=(b)=(a)$.

Therefore, in either case, we see that we have $I=(a)$ or $I=R$.
Thus, $(a)$ 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 ##### In a Principal Ideal Domain (PID), a Prime Ideal is a Maximal Ideal

Let $R$ be a principal ideal domain (PID) and let $P$ be a nonzero prime ideal in $R$. Show that...

Close