7

I am tasked to show that $x^{5}-2$ is irreducible over $\mathbb{F}_{11}$ the finite field of 11 elements. I've deduced that it has no linear factors by Fermat's little theorem. But showing it has no quadratic factors is proving harder.

My approach so far is assume it did. Factor the polynomial and remulitply and compare coefficients to obtain a contradiction. I'm having trouble doing that since there are so many cases. I was given then hint

"How many elements are in a quadratic extension of $\mathbb{F}_{11}$"? The answer is 121 but I don't know how that helps me. Any hints on dealing with the hint would be very nice. Thanks.

TheNumber23
  • 3,304
  • 15
  • 31
  • I would regard the quadratic extension with respect to the only quadratic factor you mention in your post and have a look what happens to your polynomial there and how this relates to the number of elements. – Phira Dec 24 '13 at 23:06

3 Answers3

7

If $x^5 - 2$ has a quadratic factor, it has a root $\alpha$ in a quadratic extension $K$ of $\mathbb{F}_{11}$. Since the group of units of $K$ has $120$ elements, $\alpha^{120} = 1$. Now $\alpha^5 = 2$, so the order of $2$ must divide ...?

Daniel Fischer
  • 206,697
  • Great. The order of 2 must divide 20. Which it doesn't by just checking, 2,4,5 and 20. Thanks. – TheNumber23 Dec 24 '13 at 23:10
  • @TheNumber23 No, the order must divide $120/5=24$. We know that $10$ is the order of $2$ in $\mathbb F_{11}$ – Thomas Andrews Dec 24 '13 at 23:18
  • yeah bad at dividing. Sorry. – TheNumber23 Dec 24 '13 at 23:20
  • @Daniel Fischer I realize this is an old post, but how do we know that if $x^5-2$ has a quadratic factor, then it has a root $\alpha$ in a quadratic extension? – approximation Mar 03 '22 at 06:52
  • @approximation If it has a quadratic factor, it has the roots of that quadratic factor in some splitting field. Any root $\alpha$ of the quadratic would then be in the extension $\mathbb{F}_{11}(\alpha)$. – Robin Nov 14 '23 at 17:25
6

Absolutely nothing wrong with Daniel's solution. Just offering an alternative route.

We see that $4$ is a primitive fifth root of unity in $\Bbb{F}_{11}$. If $\alpha$ is a zero of $x^5-2$, then you already know that $\alpha$ is in some extension field $K=\Bbb{F}_{11}[\alpha]$ of degree $n>1$. Then the other zeros of the minimal polynomial of $\alpha$ are among $4^k\alpha, k=1,2,3,4$. Therefore there exists an automorphisms $\sigma\in Gal(K/\Bbb{F}_{11})$ such that $\sigma(\alpha)= 4^\ell\alpha$, $0<\ell<5$. But because $\sigma(4^\ell)=4^\ell$ this implies that the order of $\sigma$ is a multiple of five. The claim follows.

Jyrki Lahtonen
  • 133,153
3

Hint: $ $ in $\,\Bbb F_{11^{\large 2}}\!:\ \color{#c00}{a^{ 5}\! = 2}\, \overset{\color{#c00}{a\,\neq\, 0}}\Rightarrow\, \overbrace{\color{darkorange}{\bf 1}\!=a^{{120}}}^{\rm Lagrange}\! =\! {\large \frac{(\color{#c00}{a^{\Large{5}}})^{\large{25\!\!\!}}}{\color{#c00}{a^{\Large 5}}}\! =\! \frac{(\color{#c00}2^{\Large{5}})^{\large{5\!\!\!}}}{\color{#c00}2}\! =\! \frac{(-1)^{{5}}\!\!\!}{\color{#0a0}2}}\Rightarrow (-1)^5\!= \color{#0a0}2\cdot \color{darkorange}{\bf 1}\Rightarrow\!\Leftarrow $

Bill Dubuque
  • 272,048