Let $F$ be a field , I want to prove that every proper nontrivial prime ideal of $F[x]$ is maximal.
My definitions of prime/maximal ideals are as follows:
$N$ is a prime ideal of $R$ iff $ab \in N \implies a \in N$ or $b \in N$.
Two definitions for maximal:
$I$ is a maximal ideal of $R$ if there is no proper ideal $N$ of $R$ properly containing $I$.
$I$ is a maximal ideal of a commutative ring $R$ iff $R/I$ is a field.
There is another definition my professor did in class involving cosets and units but I can't recall it.
As far as I am aware there are non-commutative fields, which makes this problem a little tricky.