Can anybody explain to me how to find such a factorization? I have yet to find some kind of "algorithm" to do it properly. I know that
$$x^7 - 1 = (x - 1)(x^6 + x^5 + x^4 + x^3 + x^2 + x + 1)$$
with $(x-1)$ being irreducible. But how to I factorize the second polynomial further? Plus, are those factorizations always unique or are there several factorizations for the same polynomial?
Using the Berlekamp Algorithm we obtain $$ x^7-1=(x^3 + x^2 + 1)(x^3 + x + 1)(x + 1). $$ The factorization is unique, up to permutations and units, because the polynomial ring $\Bbb{F_2}[x]$ is a UFD.