The Stacks project

Lemma 9.12.1. Let $F$ be a field. Let $P \in F[x]$ be an irreducible polynomial over $F$. Let $P' = \text{d}P/\text{d}x$ be the derivative of $P$ with respect to $x$. Then one of the following two cases happens

  1. $P$ and $P'$ are relatively prime, or

  2. $P'$ is the zero polynomial.

Then second case can only happen if $F$ has characteristic $p > 0$. In this case $P(x) = Q(x^ q)$ where $q = p^ f$ is a power of $p$ and $Q \in F[x]$ is an irreducible polynomial such that $Q$ and $Q'$ are relatively prime.

Proof. Note that $P'$ has degree $< \deg (P)$. Hence if $P$ and $P'$ are not relatively prime, then $(P, P') = (R)$ where $R$ is a polynomial of degree $< \deg (P)$ contradicting the irreducibility of $P$. This proves we have the dichotomy between (1) and (2).

Assume we are in case (2) and $P = a_ d x^ d + \ldots + a_0$. Then $P' = da_ d x^{d - 1} + \ldots + a_1$. In characteristic $0$ we see that this forces $a_ d, \ldots , a_1 = 0$ which would mean $P$ is constant a contradiction. Thus we conclude that the characteristic $p$ is positive. In this case the condition $P' = 0$ forces $a_ i = 0$ whenever $p$ does not divide $i$. In other words, $P(x) = P_1(x^ p)$ for some nonconstant polynomial $P_1$. Clearly, $P_1$ is irreducible as well. By induction on the degree we see that $P_1(x) = Q(x^ q)$ as in the statement of the lemma, hence $P(x) = Q(x^{pq})$ and the lemma is proved. $\square$


Comments (2)

Comment #2780 by on

It's not very important, but it would be better to write \not\mid compared to \not|: compare to .


Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 09H0. Beware of the difference between the letter 'O' and the digit '0'.