Tell me more ×
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.

Let $F$ be a field of arbitrary characteristic, $a\in F$, and $p$ a prime number. Show that $$f(X)=X^p-a$$ is irreducible in $F[X]$ if it has no root in $F$.

This answer to a related question mentions the result is due to Capelli.

I can prove the result if $F$ has characteristic $p$ as follows. Suppose $f$ is reducible: $f(X)=g(X)h(X)$ with $g(X)$ an irreducible factor of degree $m$, $1\le m<p$. Then if $\alpha$ is a root of $g$ in some extension field $K$ of $F$, we have $$f(X)=X^p-\alpha^p=(X-\alpha)^p$$ so its divisor $g(X)$ must be of the form $(X-\alpha)^m$. Since the coefficient of $X^{m-1}$ in $g$ is in $F$, we have $m\alpha\in F$. So $\alpha\in F$ because $m$ is invertible modulo $p$.

How would you show the result in other characteristics?

share|improve this question

2 Answers

up vote 1 down vote accepted

A proof of this result can be found on page 297 of Lang's Algebra and goes as follows.

Let $F$ be a field of characteristic $q \neq p$. If $f(x)$ has no root in $F$, then it must be the case that $a$ is not a $p$ - th power in $F$. Suppose that $f(x)$ is reducible. By passing the larger extension $K = F(\alpha)$ , we see that $\alpha$ must have degree $d$ where $d < p$. Then $\alpha^p = a$ and by applying $N_{K/F}(-)$ gives that $N_{K/F}(\alpha)^p = a^d$ by multiplicativity of the field norm. Since $(d,p) = 1$ this means that $a$ is a power of $p$ in $F$, a contradiction.

share|improve this answer
I'm curious though because I don't see where the hypothesis that the characteristic is not equal to $p$ is used. – BenjaLim Dec 28 '12 at 1:33
What I think: If the field is of characteristic $p$ then for any $a\in F$ there is $b\in F$ s.t $b^p=a$ hence $F(b)=b^p-a=a-a=0$ hence the polynomial is reducible – Belgi Dec 28 '12 at 1:39
@Belgi The Frobenius automorphism is surjective IIRC iff the field is finite. – BenjaLim Dec 28 '12 at 1:40
hmm yes, but we are not given that $F$ is not finite – Belgi Dec 28 '12 at 1:41
@Belgi Nor are we given that $F$ is finite. The point now is that $F$ is an arbitrary field of arbitrary characteristic. – BenjaLim Dec 28 '12 at 1:42
show 11 more comments

1) I can give you the details of a paper by Chebotarev translated from russian to german in which appears the Capelli Lemma, yet

2) There's also a paper in italian by Capelli, from 1904, which details I can give you, yet

3) The book "Algebra I", by Rédei, has the same lemma with extensions. Alas, the book was written in hungarian, though it seems to be there's a translation to german with, perhaps, the help of Halmös.

Googling around a little there are several references to that lemma but, as far as I could see, none of the first ones, at least, brings the version you want.

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.