Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

It is well known that if $F_d(x)$ is the product of monic irreducible polynomials in $\mathbb{Z}/(p)[x]$ of degree $d$, then $$ x^{p^n}-x=\prod_{d\mid n}F_d(x). $$

It is also known that $x^{p^n}-x$ has no repeated roots, as can be seen by formal differentiation. But, is it possible to see that $\prod_{d\mid n}F_d(x)$ has no repeated roots directly without using the above theorem?

share|improve this question

1 Answer 1

up vote 3 down vote accepted

Yes. It is sufficient to show that no irreducible polynomial over $\mathbb F_p$ has a repeated root and that no two irreducible polynomials have a common root.

Let $f \in \mathbb F_p[X]$ be an irreducible polynomial. If $x \in \overline{\mathbb F_p}$ is a repeated root of $f$ then it is also a root of $f'$. Since $f$ is irreducible, it is the minimal polynomial of $x$, hence divides $f'$. But $f'$ has lower degree than $f$, so $f' = 0$. This means that $f$ involves only $p$-powers of $X$, i.e. $f(X) = g(X^p)$ for an $g \in \mathbb F_p[X]$. But $g(X^p) = g(X)^p$ in $\mathbb F_p[X]$, contradicting the irreducibility of $f$.

Now let $f,g \in \mathbb F_p[X]$ two different monic irreducible polynomials with a common root $x$. Then both $f$ and $g$ are the minimal polynomial of $x$, and since they are both monic they are in fact equal.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.