# Tagged: PID

## Problem 724

Let $R$ be a principal ideal domain. Let $a\in R$ be a nonzero, non-unit element. Show that the following are equivalent.

(1) The ideal $(a)$ generated by $a$ is maximal.
(2) The ideal $(a)$ is prime.
(3) The element $a$ is irreducible.

## Problem 535

(a) Prove that every prime ideal of a Principal Ideal Domain (PID) is a maximal ideal.

(b) Prove that a quotient ring of a PID by a prime ideal is a PID.

## Problem 534

Let $I$ be a nonzero ideal of the ring of Gaussian integers $\Z[i]$.

Prove that the quotient ring $\Z[i]/I$ is finite.

## Problem 228

Let $R$ be a commutative ring with $1$. Show that if $R$ is an integral domain, then the characteristic of $R$ is either $0$ or a prime number $p$.

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