Intereting Posts

How exactly do you measure circumference or diameter?
How many ways are there to color vertexes of a $n\times n$ square that in every $1\times 1$ squares we should have $2$ blue and $2$ red vertexes?
Exercising divergent summations: $\lim 1-2+4-6+9-12+16-20+\ldots-\ldots$
Find $n$ such that $n/2$ is a square, $n/3$ is a cube, and $n/5$ a fifth power
$-4\zeta(2)-2\zeta(3)+4\zeta(2)\zeta(3)+2\zeta(5)=S$
Isometry group of a norm is always contained in some Isometry group of an inner product?
Is $x/x$ equal to $1$
Module isomorphisms and coordinates modulo $p^n$
Can't come even near to the solution.. Can somebody take a look?
Ring of trigonometric functions with real coefficients
Prerequisite for Petersen's Riemannian Geometry
General Topology and Basis definition
Can a matrix have a null space that is equal to its column space?
What is the definition of “rotation” in a general metric space? (Or a Finsler manifold?)
How to find a normal abelian subgroup in a solvable group?

I just asked wolframalpha to factor $X^{16}+X$ over $\mathbb{F}_2$. The normal factorization is

$$

X(X+1)(X^2-X+1)(X^4-X^3+X^2-X+1)(X^8+X^7-X^5-X^4-X^3+X+1)

$$

and over $GF(2)$ it is

$$

X(X+1)(X^2+X+1)(X^4+X+1)(X^4+X^3+1)(X^4+X^3+X^2+X+1).

$$

Does the second form follow from the first, or is there a different way to factor over $\mathbb{F}_2$? I noticed that simply replacing the $-$ signs with $+$ signs in the first factorization doesn’t yield the second one.

- Do polynomials in two variables always factor in linear terms?
- Fields of arbitrary cardinality
- Is multiplication the only operation that satisfies the associative, commutative and distributive law?
- The group $E(\mathbb{F}_p)$ has exactly $p+1$ elements
- Can $k$ be dense in $k$? where $p_xq_y-p_yq_x \in k^*$.
- Minimal polynomial of $\sqrt{2} + \sqrt{3}$
- Showing a homomorphism of a field algebraic over $\mathbb{Q}$ to itself is an isomorphism.
- Ring of $p$-adic integers $\mathbb Z_p$
- problems in group theory
- Determining the cardinality of $SL_2 (F_3) $

It shouldn’t be a surprise that switching from integer (or rational) coefficients to modular coefficients allows for further factorization. The simplest example is probably the factorization

$$

x^2+1=x^2+2x+1=(x+1)^2

$$

over $F_2$.

Here the key difference between the two factorizations is that the polynomial of degree 8 splits into a product of two quartic polynomials over $F_2$: $$(x^4+x+1)(x^4+x^3+1)=x^8+x^7+x^5+x^4+x^3+x+1$$ that is equal to (up to sign changes) your last factor.

Once you start on finite fields in your studies you will immediately learn that all the elements of $GF(16)$ are roots of the polynomial $x^{16}+x$. As that field is a degree 4 extension of $F_2$, all those elements have minimal polynomials of degree a factor of 4. Furthermore, all such irreducible polynomials appear as factors of $x^{16}+x$. Now, we easily see that both $x^4+x+1$ and its reciprocal polynomial $x^4+x^3+1$ are both irreducible in the ring $F_2[x]$, so they must appear as factors.

The second form does follow from the first. Note that over $\mathbb F_2$, the pair of polynomials

$$

X^2 – X + 1 \quad \text{ and } \quad X^2 + X + 1

$$

and the other pair

$$

X^4 – X^3 + X^2 – X + 1 \quad \text{ and } \quad X^4 + X^3 + X^2 + X + 1

$$

are the same. The only difference that comes up in $\mathbb F_2$ is that the polynomial of degree $8$ factors.

Hope that helps,

- Triangle problem – finding the angle
- Write an expression in terms of $n$ for the $n$th term in the following sequence: $9,16,25,36,49$
- How to evaluate these indefinite integrals with $\sqrt{1+x^4}$?
- If $G$ is a group and $N$ is a nontrivial normal subgroup, can $G/N \cong G$?
- product of hermitian and unitary matrix
- What's the nth integral of $\frac1{x}$?
- Order of $\mathrm{GL}_n(\mathbb F_p)$ for $p$ prime
- Find $n$ for which $\frac{n(n+1)}{2}$ is perfect square
- Any prime is irreducible
- Asymptotic approximation of sum $\sum_{k=0}^{n}\frac{{n\choose k}}{2^{2^k}}$
- Applications of Gauss sums
- When is a field a nontrivial field of fractions?
- Minimal polynomial of $\omega:=\zeta_7+\overline{\zeta_7}$
- Simplifying an Arctan equation
- Spectrum of the right shift operator on $\ell^2({\bf Z})$