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 section $4.4$, exercise number $5$. It says the following: Let $F$ be a field of characteristic $p$. Show that $f(x)=x^p-x-a$ has no multiple roots and that $f(x)$ is irreducible in $F[x]$ if and only if $a\neq c^p-c$ for any $c\in F$.

$\bf{Proof:}$ First of all we note that $f'(x)=-1$, hence $\gcd(f,f')=1$, and we see that $f$ contains no multiple roots.

Secondly, assume that $a=c^p-c$ for some $c\in F$. Then we have that $$x^p-x-a=x^p-x-c^p-c=x^p-c^p-x+c=(x-c)^p-(x-c)=(x-c)((x-c)^{p-1}-1)$$Hence $f(x)$ is reducible. (That is, we have proven that if $f$ is irreducible then $a\neq c^p-c$ for any $c\in F$).

For the converse, I was trying to do something along the lines consider $E$ to be a splitting field for $f(x)$. Then, let $b$ be a root of $f(x)$ in $E$. This $b$ satisfies the identity $b^p-b=a$, hence I would like to show the existence of some root $b\in E$ to be actually in our field $F$. This is were I got stuck.

share|improve this question
    
Is $a \in F$ an arbitrary element? –  m_l Apr 24 '12 at 9:22
    
yes.${}{}{}{}{}{}$ –  Daniel Montealegre Apr 24 '12 at 9:25
    
The polynomial can be reducible over $F$ even, if it has no zeros in $F$. For example, if $p=5$ you have to show that $f(x)$ does not split into a product of quadratic and cubic. The answers to this question. explain, how you can deduce irreducibility of $f(x)$ over $F$. There were several approaches. Mine used a trick in showing that the coefficient of the second highest degree term of an eventual factor of $f$ is in the same field as the root. –  Jyrki Lahtonen Apr 24 '12 at 10:14
    
Of those answers, my favorite is the one given by zyx. However, that depends on the mapping $x\mapsto x^p$ being an automorphism of $F$. This is not the case for all fields of characteristic $p$, so ... –  Jyrki Lahtonen Apr 24 '12 at 10:20
add comment

1 Answer

up vote 9 down vote accepted

Let $E$ be a splitting field of $f(x)=x^p-x-a$ over $F$. Let $b\in E $ be a root of $F$. Then for any $n=1,2,\ldots,(p-1)$, the element $b+n$ is also a root of $F$, because $$f(b+n)=(b+n)^p-(b+n)-a=(b^p-b-a)+(n^p-n)=0+0=0$$ (to be precise, $b+n$ is just shorthand for $b+(n\cdot 1_F)$). Because $f$ is of degree $p$, we've now found all the roots. Clearly, we have that $E=F(b)$.

Let $g(x)\in F[x]$ be the minimal polynomial for $b$ over $F$. Note that $g\mid f$ because $f(b)=0$. Because $E=F(b)$, we have that $[E:F]=\deg(g)$.

Now note that $g(x-n)$ is the minimal polynomial for $b+n$ over $F$; if any monic irreducible polynomial $h(x)\in F[x]$ with $\deg(h)<\deg(g)$ had $h(b+n)=0$, then $h(x+n)$ would have $b$ as a root and still have smaller degree than $g$, contradicting the fact that $g$ is $b$'s minimal polynomial.

Let the factorization of $f$ into monic irreducibles be $f=q_1q_2\cdots q_r$ (there can't be any repeated factors, because that would lead to repeated roots). Each of the $q_i$ has as a root at least one of the $b+k$, and therefore (being monic and irreducible) is its minimal polynomial. This implies that $\deg(q_i)=\deg(g)$ for all $i$, and therefore $\deg(g)\mid \deg(f)=p$. Thus, either

  • $\deg(g)=p$, hence $f=g$ is irreducible, or

  • $\deg(g)=1$, hence $[E:F]=1$, hence $b\in F$

share|improve this answer
    
Why is $n^p-n=0$? –  Daniel Montealegre Apr 24 '12 at 10:37
    
That's because $n$, or to be precise $n\cdot 1_F$, lies in the prime field of $F$, which is a field of $p$ elements since $F$ is of characteristic $p$. –  Zev Chonoles Apr 24 '12 at 10:40
    
Got it. Very good answer. Thanks. –  Daniel Montealegre Apr 24 '12 at 10:43
add comment

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.