6

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.

glS
  • 7,963
User8976
  • 12,966
  • 10
  • 45
  • 118
  • 1
    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 Answers1

12

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

Pedro
  • 125,149
  • 19
  • 236
  • 403