# $F$ is a field iff $F[x]$ is a Principal Ideal Domain

A commutative ring $F$ is a field iff $F[x]$ is a Principal Ideal Domain.

I have done the part that if $F$ is a field then $F[x]$ is a PID using the division algorithm and contradicting the minimality of degree of a polynomial.

But I am facing difficulty to do the other part.

• Suppose that $F$ is not a field, and choose some non-unit $a$. Consider the ideal $(a, x)$. – rogerl Mar 31 '15 at 18:04

## 1 Answer

Suppose $k[X]$ is a PID. Prove that $(X)$ is a maximal ideal and then note $k\simeq k[X]/(X)$.