En GF(2)
=F2 tenemos 1=−1 y 2=0 . La factorización (utilizando factores primos en F2[x] ) del polinomio dado ya es x5+1=(x+1)(x4+x3+x2+x+1) . Para ver que f=(x4+x3+x2+x+1) es irreducible (= primo en F2[x] ), basta con comprobar que no hay ningún factor de grado uno o dos. Los factores irreducibles de grado uno y dos son x , (x+1) y (x2+x+1) . Los factores de grado uno se excluyen fácilmente. (Ya que f(0)=f(1)=1 .) Y el resto, por división con el resto de f por (x2+x+1) es x+1 por lo que también se excluye el factor de grado dos.
Un sistema de álgebra computacional es útil en estos casos, por ejemplo sage entrega la factorización:
sage: R.<x> = PolynomialRing(GF(2))
sage: factor(x^5+1)
(x + 1) * (x^4 + x^3 + x^2 + x + 1)
sage: # note that x^2 + 1 is reducible...
sage: factor(x^2+1)
(x + 1)^2
1 votos
¿Significa esto que estás factorizando sobre Z5 ?
0 votos
@LukeCollins no está en Z2
0 votos
Si quieres factorizar sobre los reales... (x5−1)=(x−1)(x2+1−√52x+1)(x2+1−√52x+1)=(x+cosπ)(x2+2cos2π5x+1)(x2+2cos4π5x+1) Sobre los números de Compex (x−e2πi)(x−e2π5i)(x−e4π5i)(x−e6π5i)(x−e8π5i)
0 votos
@DougM esto es sobre un campo de galois GF2 . Así que, desgraciadamente, en este caso no creo que la factorización sea válida para este problema?
0 votos
Un resultado general relevante aquí es que el polinomio ciclotómico Φn(x) , n impar, es irreducible sobre GF(2) sólo si 2 genera el grupo de clases de residuos multiplicativo Z∗n . Aquí Z∗5={20=1,21=2,22=4,23=3} así que esto se sostiene. La prueba utiliza la teoría de Galois de campos finitos. Por ejemplo aquí .