Prove that if $p(x)$ is irreducible, then $\langle p(x) \rangle$ is a maximal ideal of $F[x]$

Problem:

Let $F$ be a field. Prove that if $p(x)$ is irreducible, then $\langle p(x) \rangle$ is a maximal ideal of $F[x]$.

Attempt:

Let $d(x),a(x),p(x) \in F[x]$ and suppose $\text{gcd}[a(x), p(x)] = d(x)$. Then $d(x) \mid p(x)$. So $p(x) = d(x)c(x)$ for some $c(x) \in F[x]$. Because $p(x)$ is irreducible, either $d(x)$ or $c(x)$ is a constant.

If $d(x)$ is a nonzero constant in $F$, then $\langle p(x) \rangle = F[x]$ by [previous proof]* and $\langle p(x) \rangle$ is not maximal because it generates all of $F[x]$.

If $c(x)$ is a nonzero constant, then: \begin{align*} p(x) &= d(x)c(x) \\ p(x) &= d(x)c && \text{$c(x) = c$ is a constant}\\ p(x)c^{-1} &= d(x)cc^{-1} \\ p(x)c^{-1} &= d(x) \\ d(x) &= p(x)c^{-1} \end{align*}

Since $d(x) \mid a(x)$, we have that $a(x) = d(x)e(x)$ for some $e(x) \in F[x]$. Then: \begin{align*} a(x) &= d(x)e(x) \\ a(x) &= p(x)c^{-1}e(x) && \text{substitution}\\ a(x) &= p(x)e(x)c^{-1} \end{align*}

This implies that $a(x)$ is a multiple of $p(x)$.

Questions:

My understanding is that if $d(x)$ is a nonzero constant, then $\langle p(x) \rangle$ cannot be maximal because it generates the entire ring. But it also seems to me that $c(x)$ being a constant presents a contradiction.

Does $a(x)$ being a multiple of $p(x)$ present a contradiction, because $a(x)$ and $p(x)$ are relatively prime?

If not, how can I use that $c(x)$ being constant shows that $\langle p(x) \rangle$ is maximal?

Second, guided attempt:

Let $J$ be an ideal containing $\langle p(x) \rangle$ that isn't equal to $\langle p(x) \rangle$. Then there must exist a polynomial $a(x)$ that is in $J$ but not in $\langle p(x) \rangle$. We'll show that $J = F[x]$ using that $p(x)$ and $a(x)$ are relatively prime.

Let $d(x),a(x),p(x) \in F[x]$ and suppose $\text{gcd}[a(x), p(x)] = d(x)$. Then $d(x) \mid p(x)$. So $p(x) = d(x)c(x)$ for some $c(x) \in F[x]$. Because $p(x)$ is irreducible, either $d(x)$ or $c(x)$ is a constant.

By [previous proof]*, if $d(x)$ is a nonzero constant in $F$, then $J=F[x]$ and we are done.

If, on the other hand, $c(x)$ is a nonzero constant, then: \begin{align*} p(x) &= d(x)c(x) \\ p(x) &= d(x)c && \text{$c(x) = c$ is a constant}\\ p(x)c^{-1} &= d(x)cc^{-1} \\ p(x)c^{-1} &= d(x) \\ d(x) &= p(x)c^{-1} \end{align*}

Since $d(x) \mid a(x)$, we have that $a(x) = d(x)e(x)$ for some $e(x) \in F[x]$. Then: \begin{align*} a(x) &= d(x)e(x) \\ a(x) &= p(x)c^{-1}e(x) && \text{substitution}\\ a(x) &= p(x)e(x)c^{-1} \end{align*}

This implies that $a(x)$ is a multiple of $p(x)$, which is a contradiction, because $a(x)$ and $p(x)$ are relatively prime. Thus, $\langle p(x) \rangle$ is a maximal ideal of $F[x]$.

* Previous proof: If $J$ is an ideal of $A$ and $J$ contains an invertible element $a$ of $A$, then $J = A$.

Solution 1:

Every ideal of $F[x]$ is principal. If $\langle p(x)\rangle$ is not maximal, then $p(x)$ must have a non-constant factor with a lower degree, which is impossible.