1
$\begingroup$

I'm trying to solve the following question, can you please help me?

Find an irreducible polynomial $p(x) \in \mathbb{Z}_2[x]$ with degree 4.

Thank you!

  • 0
    I have tried to test several polynomials (with degree 4) if they were irreducible. But i hoped that there is an other (structured) way to solve this question. :)2012-06-27
  • 1
    I'm assuming you mean the integers modulo $2$, rather than the $2$-adics. Is this correct?2012-06-27

2 Answers 2

8

An irreducible biquadratic cannot have a root, so the constant term must be $1$, and the number of nonzero coefficients must be odd. So we would have $$x^4 + ax^3 + bx^2 + cx + 1$$ with $a+b+c=1$ (addition is modulo $2$, of course, since $a,b,c\in\mathbb{Z}_2$).

Now, we also must avoid the case in which it is a product of two irreducible quadratics. What are the irreducible quadratics in $\mathbb{Z}_2[x]$? We have $x^2+x+1$... and that's it, because the other three quadratics, $x^2$, $x^2+1$, and $x^2+x$, all have roots.

So you need to make sure that $x^4+ax^3+bx^2+cx+1\neq (x^2+x+1)^2$.

So... can you find a polynomial that satisfies those two conditions ($a+b+c=1$ and $x^4+ax^3+bx^2+cx+1\neq (x^2+x+1)^2$) ?

  • 0
    A quadratic has degree $2$. A polynomial of degree $4$ is called a *quartic*.2012-06-27
  • 0
    @Chris: Actually, I meant to write "biquadratic" (which is another valid name for degree 4...) and messed up *twice*. Sigh; thanks.2012-06-27
  • 0
    I would guess, x^4 + 1. But I do not understand why a+b+c can only be 1. In the other quadratic you use (x^2 + x + 1), a+b+c=3?2012-06-27
  • 0
    @user1255553: I'm doing addition modulo $2$, of course, since you are working in $\mathbb{Z}_2$. So $3$ is the same thing s $1$.2012-06-27
  • 0
    @user1255553: Don't guess. Check!2012-06-27
  • 0
    Aaargh, of course, thank you! :) Does it always hold that a+b+c=1?2012-06-27
  • 0
    @user1255553: What do you mean by "always"? The reason we must have $a+b+c=1$ is because we should **not** have that $1$ is a root. But $p(1) = 1+a+b+c+1 = a+b+c$, so we must not have $a+b+c=0$; since the only other option is $1$, in order for the biquadratic to be irreducible we must have $a+b+c=1$. I explained that before asserting the conclusion.2012-06-27
  • 0
    So %p(x)=x^4 + x + 1%! :) Thank you all for you help2012-06-27
  • 0
    Three possible answers, @user1255553: $x^4+x+1$ that you found, its reciprocal $x^4+x^3+1$, and then $x^4+x^3+x^2+x+1$.2012-06-27
1

Hint $\rm\:f(x) = (x^5\!-\!1)/(x\!-\!1) = x^4\! +\! x^3\! +\! x^2\! +\! x\! +\! 1\:$ has no linear factors by $\rm\:f(0) = 1 = f(1).\:$ And $\rm\:f\:$ has no quadratic factors: the only irreducible quadratic is $\rm\:g(x) = x^2\!+\!x\!+\!1,\:$ but $\rm\:g\:|\:f\:$ $\Rightarrow$ $\rm\:(x\!-\!1)g\:|\:(x\!-\!1)f,\:$ i.e. $\rm\:x^3\!-\!1\:|\:x^5\!-\!1\:$ $\Rightarrow$ $\rm\:x^3\!-\!1\:|\:x^2\!-\!1 = (x^5\!-\!1)-x^2(x^3\!-\!1),\,$ contra degree.

  • 0
    Can we also argue that since $5$ is prime we know that this polynimial is irreducible over $\mathbb{Q}$ and since it is fixed it is also irreducible over $\mathbb{Z}$, if it was reducible in $\mathbb{Z}/2\mathbb{Z}$ that would of been a contradiction ?2012-06-27
  • 0
    @Belgi Note that $\rm\:x^2+2\:$ is irreducible over $\rm\:\mathbb Q\:$ but reducible over $\:\mathbb Z/2.$2012-06-27
  • 0
    Thanks, I was unsure about which direction is the correct one.2012-06-27