Factorization of polynomials over finite fields

All factorization algorithms, including the case of multivariate polynomials over the rational numbers, reduce the problem to this case; see polynomial factorization. It is also used for various applications of finite fields, such as coding theory (cyclic redundancy codes and BCH codes), cryptography (public key cryptography by the means of elliptic curves), and computational number theory.

As the reduction of the factorization of multivariate polynomials to that of univariate polynomials does not have any specificity in the case of coefficients in a finite field, only polynomials with one variable are considered in this article.

Background

Finite field

The theory of finite fields, whose origins can be traced back to the works of Gauss and Galois, has played a part in various branches of mathematics. Due to the applicability of the concept in other topics of mathematics and sciences like computer science there has been a resurgence of interest in finite fields and this is partly due to important applications in coding theory and cryptography. Applications of finite fields introduce some of these developments in cryptography, computer algebra and coding theory.

A finite field or Galois field is a field with a finite order (number of elements). The order of a finite field is always a prime or a power of prime. For each prime power q = p^r, there exists exactly one finite field with q elements, up to isomorphism. This field is denoted GF(q) or F_q. If p is prime, GF(p) is the prime field of order p; it is the field of residue classes modulo p, and its p elements are denoted 0, 1, ..., p−1. Thus a = b in GF(p) means the same as a ≡ b (mod p).

Irreducible polynomials

Let F be a finite field. As for general fields, a non-constant polynomial f in F[x] is said to be irreducible over F if it is not the product of two polynomials of positive degree. A polynomial of positive degree that is not irreducible over F is called reducible over F.

Irreducible polynomials allow us to construct the finite fields of non-prime order. In fact, for a prime power q, let F_q be the finite field with q elements, unique up to isomorphism. A polynomial f of degree n greater than one, which is irreducible over F_q, defines a field extension of degree n which is isomorphic to the field with qⁿ elements: the elements of this extension are the polynomials of degree lower than n; addition, subtraction and multiplication by an element of F_q are those of the polynomials; the product of two elements is the remainder of the division by f of their product as polynomials; the inverse of an element may be computed by the extended GCD algorithm (see Arithmetic of algebraic extensions).

It follows that, to compute in a finite field of non prime order, one needs to generate an irreducible polynomial. For this, the common method is to take a polynomial at random and test it for irreducibility. For sake of efficiency of the multiplication in the field, it is usual to search for polynomials of the shape xⁿ + ax + b.

Irreducible polynomials over finite fields are also useful for pseudorandom number generators using feedback shift registers and discrete logarithm over F_2ⁿ.

The number of irreducible monic polynomials of degree n over F_q is the number of aperiodic necklaces, given by Moreau's necklace-counting function M_q(n). The closely related necklace function N_q(n) counts monic polynomials of degree n which are primary (a power of an irreducible); or alternatively irreducible polynomials of all degrees d which divide n.

Example

The polynomial P = x⁴ + 1 is irreducible over Q but not over any finite field.

On any field extension of F₂, P = (x + 1)⁴.
On every other finite field, at least one of −1, 2 and −2 is a square, because the product of two non-squares is a square and so we have

If $- 1 = a^{2},$ then $P = (x^{2} + a) (x^{2} - a) .$
If $2 = b^{2},$ then $P = (x^{2} + b x + 1) (x^{2} - b x + 1) .$
If $- 2 = c^{2},$ then $P = (x^{2} + c x - 1) (x^{2} - c x - 1) .$

Complexity

Polynomial factoring algorithms use basic polynomial operations such as products, divisions, gcd, powers of one polynomial modulo another, etc. A multiplication of two polynomials of degree at most n can be done in O(n²) operations in F_q using "classical" arithmetic, or in O(nlog(n) log(log(n)) ) operations in F_q using "fast" arithmetic. A Euclidean division (division with remainder) can be performed within the same time bounds. The cost of a polynomial greatest common divisor between two polynomials of degree at most n can be taken as O(n²) operations in F_q using classical methods, or as O(nlog²(n) log(log(n)) ) operations in F_q using fast methods. For polynomials h, g of degree at most n, the exponentiation h^q mod g can be done with O(log(q)) polynomial products, using exponentiation by squaring method, that is O(n²log(q)) operations in F_q using classical methods, or O(nlog(q)log(n) log(log(n))) operations in F_q using fast methods.

In the algorithms that follow, the complexities are expressed in terms of number of arithmetic operations in F_q, using classical algorithms for the arithmetic of polynomials.

3 more chapters are free with a Lably account.

Factoring algorithms

Many algorithms for factoring polynomials over finite fields include the following three stages:

Square-free factorization
Distinct-degree factorization
Equal-degree factorization

An important exception is Berlekamp's algorithm, which combines stages 2 and 3.

Berlekamp's algorithm

Berlekamp's algorithm is historically important as being the first factorization algorithm which works well in practice. However, it contains a loop on the elements of the ground field, which implies that it is practicable only over small finite fields. For a fixed ground field, its time complexity is polynomial, but, for general ground fields, the complexity is exponential in the size of the ground field.

Square-free factorization

The algorithm determines a square-free factorization for polynomials whose coefficients come from the finite field F_q of order q = p^m with p a prime. This algorithm firstly determines the derivative and then computes the gcd of the polynomial and its derivative. If it is not one then the gcd is again divided into the original polynomial, provided that the derivative is not zero (a case that exists for non-constant polynomials defined over finite fields).

This algorithm uses the fact that, if the derivative of a polynomial is zero, then it is a polynomial in x^p, which is, if the coefficients belong to F_p, the pth power of the polynomial obtained by substituting x by x^1/p. If the coefficients do not belong to F_p, the pth root of a polynomial with zero derivative is obtained by the same substitution on x, completed by applying the inverse of the Frobenius automorphism to the coefficients.

This algorithm works also over a field of characteristic zero, with the only difference that it never enters in the blocks of instructions where pth roots are computed. However, in this case, Yun's algorithm is much more efficient because it computes the greatest common divisors of polynomials of lower degrees. A consequence is that, when factoring a polynomial over the integers, the algorithm which follows is not used: one first computes the square-free factorization over the integers, and to factor the resulting polynomials, one chooses a p such that they remain square-free modulo p.

<b id="mwAQ4">Algorithm</b>: <b id="mwAQ8">SFF</b> (Square-Free Factorization) <b id="mwARA">Input</b>: A <a rel="mw:WikiLink" href="./Monic_polynomial" title="Monic polynomial" id="mwARE">monic polynomial</a> <i id="mwARI">f</i> in <b id="mwARM">F</b><sub id="mwARQ"><i id="mwARU">q</i></sub>[<i id="mwARY">x</i>] where <i id="mwARc">q</i> = <i id="mwARg">p</i><sup id="mwARk"><i id="mwARo">m</i></sup> <b id="mwARs">Output</b>: Square-free factorization of <i id="mwARw">f</i> <i id="mwAR0">R</i> ← 1 # Make <i id="mwAR4">w</i> be the product (without multiplicity) of all factors of <i id="mwAR8">f</i> that have # multiplicity not divisible by <i id="mwASA">p</i> <i id="mwASE">c</i> ← <b id="mwASI">gcd</b>(<i id="mwASM">f</i>, <i id="mwASQ">f</i><span typeof="mw:Entity" id="mwASU">′</span>) <i id="mwASY">w</i> ← <i id="mwASc">f</i>/<i id="mwASg">c</i> # Step 1: Identify all factors in <i id="mwASk">w</i> <i id="mwASo">i</i> ← 1 <b id="mwASs">while</b> <i id="mwASw">w</i> ≠ 1 <b id="mwAS0">do</b> <i id="mwAS4">y</i> ← <b id="mwAS8">gcd</b>(<i id="mwATA">w</i>, <i id="mwATE">c</i>) <i id="mwATI">fac</i> ← <i id="mwATM">w</i> / <i id="mwATQ">y</i> <i id="mwATU">R</i> ← <i id="mwATY">R</i> · <i id="mwATc">fac</i><sup id="mwATg"><i id="mwATk">i</i></sup> <i id="mwATo">w</i> ← <i id="mwATs">y</i>; <i id="mwATw">c</i> ← <i id="mwAT0">c</i> / <i id="mwAT4">y</i>; <i id="mwAT8">i</i> ← <i id="mwAUA">i</i> + 1 <b id="mwAUE">end while</b> # <i id="mwAUI">c</i> is now the product (with multiplicity) of the remaining factors of <i id="mwAUM">f</i> # Step 2: Identify all remaining factors using recursion # Note that these are the factors of <i id="mwAUQ">f</i> that have multiplicity divisible by <i id="mwAUU">p</i> <b id="mwAUY">if</b> <i id="mwAUc">c</i> ≠ 1 <b id="mwAUg">then</b> <i id="mwAUk">c</i> ← <i id="mwAUo">c</i><sup id="mwAUs">1/<i id="mwAUw">p</i></sup> <i id="mwAU0">R</i> ← <i id="mwAU4">R</i>·<b id="mwAU8">SFF</b>(<i id="mwAVA">c</i>)<sup id="mwAVE"><i id="mwAVI">p</i></sup> <b id="mwAVM">end if</b> <b id="mwAVQ">Output</b>(<i id="mwAVU">R</i>)

The idea is to identify the product of all irreducible factors of f with the same multiplicity. This is done in two steps. The first step uses the formal derivative of f to find all the factors with multiplicity not divisible by p. The second step identifies the remaining factors. As all of the remaining factors have multiplicity divisible by p, meaning they are powers of p, one can simply take the pth square root and apply recursion.

Example of a square-free factorization

Let

f = x^{11} + 2 x^{9} + 2 x^{8} + x^{6} + x^{5} + 2 x^{3} + 2 x^{2} + 1 \in F_{3} [x],

to be factored over the field with three elements.

The algorithm computes first

c = gcd (f, f^{'}) = x^{9} + 2 x^{6} + x^{3} + 2.

Since the derivative is non-zero we have w = f/c = x² + 2 and we enter the while loop. After one loop we have y = x + 2, z = x + 1 and R = x + 1 with updates i = 2, w = x + 2 and c = x⁸ + x⁷ + x⁶ + x²+x+1. The second time through the loop gives y = x + 2, z = 1, R = x + 1, with updates i = 3, w = x + 2 and c = x⁷ + 2x⁶ + x + 2. The third time through the loop also does not change R. For the fourth time through the loop we get y = 1, z = x + 2, R = (x + 1)(x + 2)⁴, with updates i = 5, w = 1 and c = x⁶ + 1. Since w = 1, we exit the while loop. Since c ≠ 1, it must be a perfect cube. The cube root of c, obtained by replacing x³ by x is x² + 1, and calling the square-free procedure recursively determines that it is square-free. Therefore, cubing it and combining it with the value of R to that point gives the square-free decomposition

f = (x + 1) (x^{2} + 1)^{3} (x + 2)^{4} .

Distinct-degree factorization

This algorithm splits a square-free polynomial into a product of polynomials whose irreducible factors all have the same degree. Let f ∈ F_q[x] of degree n be the polynomial to be factored.

<b id="mwAYs">Algorithm</b> Distinct-degree factorization(DDF) <b id="mwAYw">Input</b>: A monic square-free polynomial <span class="texhtml " about="#mwt72" typeof="mw:Transclusion" data-mw='{"parts":[{"template":{"target":{"wt":"math","href":"./Template:Math"},"params":{"1":{"wt":"''f'' ∈ '''F'''<sub>''q''</sub>[''x'']"}},"i":0}}]}' id="mwAY0"><i>f</i> ∈ <b>F</b><sub><i>q</i></sub>[<i>x</i>]</span> <b id="mwAY4">Output</b>: The set of all pairs <span class="texhtml " about="#mwt73" typeof="mw:Transclusion" data-mw='{"parts":[{"template":{"target":{"wt":"math","href":"./Template:Math"},"params":{"1":{"wt":"(''g'', ''d'')"}},"i":0}}]}' id="mwAY8">(<i>g</i>, <i>d</i>)</span>, such that <span class="texhtml " about="#mwt74" typeof="mw:Transclusion" data-mw='{"parts":[{"template":{"target":{"wt":"math","href":"./Template:Math"},"params":{"1":{"wt":"''f''"}},"i":0}}]}' id="mwAZA"><i>f</i></span> has an irreducible factor of degree <span class="texhtml " about="#mwt75" typeof="mw:Transclusion" data-mw='{"parts":[{"template":{"target":{"wt":"math","href":"./Template:Math"},"params":{"1":{"wt":"''d''"}},"i":0}}]}' id="mwAZE"><i>d</i></span> and <span class="texhtml " about="#mwt76" typeof="mw:Transclusion" data-mw='{"parts":[{"template":{"target":{"wt":"math","href":"./Template:Math"},"params":{"1":{"wt":"''g''"}},"i":0}}]}' id="mwAZI"><i>g</i></span> is the product of all monic irreducible factors of <span class="texhtml " about="#mwt77" typeof="mw:Transclusion" data-mw='{"parts":[{"template":{"target":{"wt":"math","href":"./Template:Math"},"params":{"1":{"wt":"''f''"}},"i":0}}]}' id="mwAZM"><i>f</i></span> of degree <span class="texhtml " about="#mwt78" typeof="mw:Transclusion" data-mw='{"parts":[{"template":{"target":{"wt":"math","href":"./Template:Math"},"params":{"1":{"wt":"''d''"}},"i":0}}]}' id="mwAZQ"><i>d</i></span>. <b id="mwAZU">Begin</b> <span class="mwe-math-element" typeof="mw:Extension/math" about="#mwt80" data-mw='{"name":"math","attrs":{},"body":{"extsrc":"i:=1;\\qquad S:=\\emptyset,\\qquad f^*:=f;"}}' id="mwAZY"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle i:=1;\qquad S:=\emptyset ,\qquad f^{*}:=f;}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>i</mi> <mo>:=</mo> <mn>1</mn> <mo>;</mo> <mspace width="2em"></mspace> <mi>S</mi> <mo>:=</mo> <mi mathvariant="normal">∅<!-- ∅ --></mi> <mo>,</mo> <mspace width="2em"></mspace> <msup> <mi>f</mi> <mrow class="MJX-TeXAtom-ORD"> <mo>∗<!-- ∗ --></mo> </mrow> </msup> <mo>:=</mo> <mi>f</mi> <mo>;</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle i:=1;\qquad S:=\emptyset ,\qquad f^{*}:=f;}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/0bc07cda27ac6c4dc4784e0e0ba78e54fabd5dfb" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:31.521ex; height:2.676ex;" alt="{\displaystyle i:=1;\qquad S:=\emptyset ,\qquad f^{*}:=f;}"/></span> <b id="mwAZc">while</b> <span class="mwe-math-element" typeof="mw:Extension/math" about="#mwt82" data-mw='{"name":"math","attrs":{},"body":{"extsrc":"\\deg f^*\\ge 2i"}}' id="mwAZg"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \deg f^{*}\geq 2i}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>deg</mi> <mo>⁡<!-- ⁡ --></mo> <msup> <mi>f</mi> <mrow class="MJX-TeXAtom-ORD"> <mo>∗<!-- ∗ --></mo> </mrow> </msup> <mo>≥<!-- ≥ --></mo> <mn>2</mn> <mi>i</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \deg f^{*}\geq 2i}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/1bdc3746438bf9a54d880d2c8975ba4ca98729bf" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:11.313ex; height:2.676ex;" alt="{\displaystyle \deg f^{*}\geq 2i}"/></span> <b id="mwAZk">do</b> <span class="mwe-math-element" typeof="mw:Extension/math" about="#mwt84" data-mw='{"name":"math","attrs":{},"body":{"extsrc":"g=\\gcd(f^*, x^{q^i}-x)"}}' id="mwAZo"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle g=\gcd(f^{*},x^{q^{i}}-x)}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>g</mi> <mo>=</mo> <mo movablelimits="true" form="prefix">gcd</mo> <mo stretchy="false">(</mo> <msup> <mi>f</mi> <mrow class="MJX-TeXAtom-ORD"> <mo>∗<!-- ∗ --></mo> </mrow> </msup> <mo>,</mo> <msup> <mi>x</mi> <mrow class="MJX-TeXAtom-ORD"> <msup> <mi>q</mi> <mrow class="MJX-TeXAtom-ORD"> <mi>i</mi> </mrow> </msup> </mrow> </msup> <mo>−<!-- − --></mo> <mi>x</mi> <mo stretchy="false">)</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle g=\gcd(f^{*},x^{q^{i}}-x)}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/ee27946a8fb50f08c0dc043afeb37993016df3cc" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:20.04ex; height:3.509ex;" alt="{\displaystyle g=\gcd(f^{*},x^{q^{i}}-x)}"/></span> <b id="mwAZs">if</b> <span class="texhtml " about="#mwt85" typeof="mw:Transclusion" data-mw='{"parts":[{"template":{"target":{"wt":"math","href":"./Template:Math"},"params":{"1":{"wt":"''g'' ≠ 1"}},"i":0}}]}' id="mwAZw"><i>g</i> ≠ 1</span>, <b id="mwAZ0">then</b> <span class="mwe-math-element" typeof="mw:Extension/math" about="#mwt87" data-mw='{"name":"math","attrs":{},"body":{"extsrc":"S:=S\\cup\\{(g,i)\\}"}}' id="mwAZ4"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle S:=S\cup \{(g,i)\}}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>S</mi> <mo>:=</mo> <mi>S</mi> <mo>∪<!-- ∪ --></mo> <mo fence="false" stretchy="false">{</mo> <mo stretchy="false">(</mo> <mi>g</mi> <mo>,</mo> <mi>i</mi> <mo stretchy="false">)</mo> <mo fence="false" stretchy="false">}</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle S:=S\cup \{(g,i)\}}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/722a83e8c413e827ddd12e669dd339620187faf7" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:16.413ex; height:2.843ex;" alt="{\displaystyle S:=S\cup \{(g,i)\}}"/></span>; <span class="mwe-math-element" typeof="mw:Extension/math" about="#mwt89" data-mw='{"name":"math","attrs":{},"body":{"extsrc":"f^*:=f^*/g"}}' id="mwAZ8"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle f^{*}:=f^{*}/g}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <msup> <mi>f</mi> <mrow class="MJX-TeXAtom-ORD"> <mo>∗<!-- ∗ --></mo> </mrow> </msup> <mo>:=</mo> <msup> <mi>f</mi> <mrow class="MJX-TeXAtom-ORD"> <mo>∗<!-- ∗ --></mo> </mrow> </msup> <mrow class="MJX-TeXAtom-ORD"> <mo>/</mo> </mrow> <mi>g</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle f^{*}:=f^{*}/g}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/20328352889fc1d680d80a457de1ff919558478d" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:10.773ex; height:2.843ex;" alt="{\displaystyle f^{*}:=f^{*}/g}"/></span> <b id="mwAaA">end if</b> <span class="texhtml " about="#mwt90" typeof="mw:Transclusion" data-mw='{"parts":[{"template":{"target":{"wt":"math","href":"./Template:Math"},"params":{"1":{"wt":"''i'' := ''i'' + 1;"}},"i":0}}]}' id="mwAaE"><i>i</i> := <i>i</i> + 1;</span> <b id="mwAaI">end while</b>; <b id="mwAaM">if</b> <span class="mwe-math-element" typeof="mw:Extension/math" about="#mwt93" data-mw='{"name":"math","attrs":{},"body":{"extsrc":"f^*\\ne 1"}}' id="mwAaQ"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle f^{*}\neq 1}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <msup> <mi>f</mi> <mrow class="MJX-TeXAtom-ORD"> <mo>∗<!-- ∗ --></mo> </mrow> </msup> <mo>≠<!-- ≠ --></mo> <mn>1</mn> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle f^{*}\neq 1}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/fd940c7a14e054ca3e1ae6dc5d4f9559838fbe48" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:6.636ex; height:2.843ex;" alt="{\displaystyle f^{*}\neq 1}"/></span>, <b id="mwAaU">then</b> <span class="mwe-math-element" typeof="mw:Extension/math" about="#mwt94" data-mw='{"name":"math","attrs":{},"body":{"extsrc":"S:= S\\cup\\{(f^*,\\deg f^*)\\}"}}' id="mwAaY"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle S:=S\cup \{(f^{*},\deg f^{*})\}}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>S</mi> <mo>:=</mo> <mi>S</mi> <mo>∪<!-- ∪ --></mo> <mo fence="false" stretchy="false">{</mo> <mo stretchy="false">(</mo> <msup> <mi>f</mi> <mrow class="MJX-TeXAtom-ORD"> <mo>∗<!-- ∗ --></mo> </mrow> </msup> <mo>,</mo> <mi>deg</mi> <mo>⁡<!-- ⁡ --></mo> <msup> <mi>f</mi> <mrow class="MJX-TeXAtom-ORD"> <mo>∗<!-- ∗ --></mo> </mrow> </msup> <mo stretchy="false">)</mo> <mo fence="false" stretchy="false">}</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle S:=S\cup \{(f^{*},\deg f^{*})\}}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/d99e20231b55f7a3995f7ffcb7a58073ea9270c3" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:23.118ex; height:2.843ex;" alt="{\displaystyle S:=S\cup \{(f^{*},\deg f^{*})\}}"/></span>; <b id="mwAac">if</b> <span class="mwe-math-element" typeof="mw:Extension/math" about="#mwt97" data-mw='{"name":"math","attrs":{},"body":{"extsrc":"S=\\emptyset"}}' id="mwAag"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle S=\emptyset }"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>S</mi> <mo>=</mo> <mi mathvariant="normal">∅<!-- ∅ --></mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle S=\emptyset }</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/6a7c38be46a9b3fe15e5893edc24def5ba893e5e" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.505ex; width:5.76ex; height:2.509ex;" alt="{\displaystyle S=\emptyset }"/></span>, <b id="mwAak">then return</b> <span class="texhtml " about="#mwt96" typeof="mw:Transclusion" data-mw='{"parts":[{"template":{"target":{"wt":"math","href":"./Template:Math"},"params":{"1":{"wt":"{{mset|(''f'', 1)}}"}},"i":0}}]}' id="mwAao">{(<i>f</i>, 1)}</span>, <b id="mwAas">else return</b> <span class="texhtml " about="#mwt98" typeof="mw:Transclusion" data-mw='{"parts":[{"template":{"target":{"wt":"math","href":"./Template:Math"},"params":{"1":{"wt":"''S''"}},"i":0}}]}' id="mwAaw"><i>S</i></span> <b id="mwAa0">End</b>

The correctness of the algorithm is based on the following:

Lemma. For i ≥ 1 the polynomial

$x^{q^{i}} - x \in F_{q} [x]$
is the product of all monic irreducible polynomials in F_q[x] whose degree divides i.

At first glance, this is not efficient since it involves computing the GCD of polynomials of a degree which is exponential in the degree of the input polynomial. However,

g = gcd (f^{*}, x^{q^{i}} - x)

may be replaced by

g = gcd (f^{*}, (x^{q^{i}} - x \mod f^{*})) .

Therefore, we have to compute:

x^{q^{i}} - x \mod f^{*},

there are two methods:

Method I. Start from the value of

$x^{q^{i - 1}} \mod f^{*}$

computed at the preceding step and to compute its qth power modulo the new f*, using exponentiation by squaring method. This needs

$O (\log (q) \deg (f)^{2})$

arithmetic operations in F_q at each step, and thus

$O (\log (q) \deg (f)^{3})$
arithmetic operations for the whole algorithm.

Method II. Using the fact that the qth power is a linear map over F_q we may compute its matrix with

$O (\deg (f)^{2} (\log (q) + \deg (f)))$

operations. Then at each iteration of the loop, compute the product of a matrix by a vector (with O(deg(f)²) operations). This induces a total number of operations in F_q which is

$O (\deg (f)^{2} (\log (q) + \deg (f))) .$
Thus this second method is more efficient and is usually preferred. Moreover, the matrix that is computed in this method is used, by most algorithms, for equal-degree factorization (see below); thus using it for the distinct-degree factorization saves further computing time.

Equal-degree factorization

Cantor–Zassenhaus algorithm

In this section, we consider the factorization of a monic squarefree univariate polynomial f, of degree n, over a finite field F_q, which has r ≥ 2 pairwise distinct irreducible factors $f_{1}, \dots, f_{r}$ each of degree d.

We first describe an algorithm by Cantor and Zassenhaus (1981) and then a variant that has a slightly better complexity. Both are probabilistic algorithms whose running time depends on random choices (Las Vegas algorithms), and have a good average running time. In next section we describe an algorithm by Shoup (1990), which is also an equal-degree factorization algorithm, but is deterministic. All these algorithms require an odd order q for the field of coefficients. For more factorization algorithms see e.g. Knuth's book The Art of Computer Programming volume 2.

<b id="mwAgU">Algorithm</b> Cantor–Zassenhaus algorithm. <b id="mwAgY">Input:</b> A finite field <b id="mwAgc">F</b><sub id="mwAgg"><i id="mwAgk">q</i></sub> of odd order <i id="mwAgo">q</i>. A monic square free polynomial <i id="mwAgs">f</i> in <b id="mwAgw">F</b><sub id="mwAg0"><i id="mwAg4">q</i></sub>[<i id="mwAg8">x</i>] of degree <i id="mwAhA">n</i> = <i id="mwAhE">rd</i>, which has <i id="mwAhI">r</i> ≥ 2 irreducible factors each of degree <i id="mwAhM">d</i> <b id="mwAhQ">Output:</b> The set of monic irreducible factors of <i id="mwAhU">f</i>. Factors := {<i id="mwAhY">f</i>}; <b id="mwAhc">while</b> Size(Factors) < <i id="mwAhg">r</i> <b id="mwAhk">do</b>, Choose <i id="mwAho">h</i> in <b id="mwAhs">F</b><sub id="mwAhw"><i id="mwAh0">q</i></sub>[<i id="mwAh4">x</i>] with deg(<i id="mwAh8">h</i>) < <i id="mwAiA">n</i> at random; <span class="mwe-math-element" typeof="mw:Extension/math" about="#mwt124" data-mw='{"name":"math","attrs":{},"body":{"extsrc":"g:=h^{\\frac{q^d-1}{2}}- 1 \\pmod f"}}' id="mwAiE"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle g:=h^{\frac {q^{d}-1}{2}}-1{\pmod {f}}}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>g</mi> <mo>:=</mo> <msup> <mi>h</mi> <mrow class="MJX-TeXAtom-ORD"> <mfrac> <mrow> <msup> <mi>q</mi> <mrow class="MJX-TeXAtom-ORD"> <mi>d</mi> </mrow> </msup> <mo>−<!-- − --></mo> <mn>1</mn> </mrow> <mn>2</mn> </mfrac> </mrow> </msup> <mo>−<!-- − --></mo> <mn>1</mn> <mrow class="MJX-TeXAtom-ORD"> <mspace width="1em"></mspace> <mo stretchy="false">(</mo> <mi>mod</mi> <mspace width="0.333em"></mspace> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle g:=h^{\frac {q^{d}-1}{2}}-1{\pmod {f}}}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/b1ee2dfe68f660ee62d1c4ec18a48eef88a239df" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:25.391ex; height:4.843ex;" alt="{\displaystyle g:=h^{\frac {q^{d}-1}{2}}-1{\pmod {f}}}"/></span> <b id="mwAiI">for each</b> <i id="mwAiM">u</i> <b id="mwAiQ">in</b> Factors with deg(<i id="mwAiU">u</i>) > <i id="mwAiY">d</i> <b id="mwAic">do</b> <b id="mwAig">if</b> gcd(<i id="mwAik">g</i>, <i id="mwAio">u</i>) ≠ 1 and gcd(<i id="mwAis">g</i>, <i id="mwAiw">u</i>) ≠ <i id="mwAi0">u</i>, <b id="mwAi4">then</b> Factors:= Factors<span class="mwe-math-element" typeof="mw:Extension/math" about="#mwt126" data-mw='{"name":"math","attrs":{},"body":{"extsrc":"\\,\\setminus\\, \\{u\\}\\cup\\{(\\gcd(g,u),u/\\gcd(g,u))\\}"}}' id="mwAi8"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \,\setminus \,\{u\}\cup \{(\gcd(g,u),u/\gcd(g,u))\}}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mspace width="thinmathspace"></mspace> <mo class="MJX-variant">∖<!-- ∖ --></mo> <mspace width="thinmathspace"></mspace> <mo fence="false" stretchy="false">{</mo> <mi>u</mi> <mo fence="false" stretchy="false">}</mo> <mo>∪<!-- ∪ --></mo> <mo fence="false" stretchy="false">{</mo> <mo stretchy="false">(</mo> <mo movablelimits="true" form="prefix">gcd</mo> <mo stretchy="false">(</mo> <mi>g</mi> <mo>,</mo> <mi>u</mi> <mo stretchy="false">)</mo> <mo>,</mo> <mi>u</mi> <mrow class="MJX-TeXAtom-ORD"> <mo>/</mo> </mrow> <mo movablelimits="true" form="prefix">gcd</mo> <mo stretchy="false">(</mo> <mi>g</mi> <mo>,</mo> <mi>u</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> <mo fence="false" stretchy="false">}</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \,\setminus \,\{u\}\cup \{(\gcd(g,u),u/\gcd(g,u))\}}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/3640a5238d94b30c9b27c518b19af06f6f9ed781" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:33.774ex; height:2.843ex;" alt="{\displaystyle \,\setminus \,\{u\}\cup \{(\gcd(g,u),u/\gcd(g,u))\}}"/></span>; <b id="mwAjA">endif</b> <b id="mwAjE">endwhile</b> <b id="mwAjI">return</b> Factors

The correctness of this algorithm relies on the fact that the ring F_q[x]/f is a direct product of the fields F_q[x]/f_i where f_i runs on the irreducible factors of f. As all these fields have q^d elements, the component of g in any of these fields is zero with probability

\frac{q^{d} - 1}{2 q^{d}} \sim \frac{1}{2} .

This implies that the polynomial gcd(g, u) is the product of the factors of g for which the component of g is zero.

It has been shown that the average number of iterations of the while loop of the algorithm is less than $2.5 \log_{2} r$ , giving an average number of arithmetic operations in F_q which is $O (d n^{2} \log (r) \log (q))$ .

In the typical case where dlog(q) > n, this complexity may be reduced to

O (n^{2} (\log (r) \log (q) + n))

by choosing h in the kernel of the linear map

v \to v^{q} - v (\mod f)

and replacing the instruction

g := h^{\frac{q^{d} - 1}{2}} - 1 (\mod f)

g := h^{\frac{q - 1}{2}} - 1 (\mod f) .

The proof of validity is the same as above, replacing the direct product of the fields F_q[x]/f_i by the direct product of their subfields with q elements. The complexity is decomposed in $O (n^{2} \log (r) \log (q))$ for the algorithm itself, $O (n^{2} (\log (q) + n))$ for the computation of the matrix of the linear map (which may be already computed in the square-free factorization) and O(n³) for computing its kernel. It may be noted that this algorithm works also if the factors have not the same degree (in this case the number r of factors, needed for stopping the while loop, is found as the dimension of the kernel). Nevertheless, the complexity is slightly better if square-free factorization is done before using this algorithm (as n may decrease with square-free factorization, this reduces the complexity of the critical steps).

Victor Shoup's algorithm

Like the algorithms of the preceding section, Victor Shoup's algorithm is an equal-degree factorization algorithm. Unlike them, it is a deterministic algorithm. However, it is less efficient, in practice, than the algorithms of preceding section. For Shoup's algorithm, the input is restricted to polynomials over prime fields F_p.

The worst case time complexity of Shoup's algorithm has a factor $\sqrt{p} .$ Although exponential, this complexity is much better than previous deterministic algorithms (Berlekamp's algorithm) which have p as a factor. However, there are very few polynomials for which the computing time is exponential, and the average time complexity of the algorithm is polynomial in $d \log (p),$ where d is the degree of the polynomial, and p is the number of elements of the ground field.

Let g = g₁ ... g_k be the desired factorization, where the g_i are distinct monic irreducible polynomials of degree d. Let n = deg(g) = kd. We consider the ring R = F_q[x]/g and denote also by x the image of x in R. The ring R is the direct product of the fields R_i = F_q[x]/g_i, and we denote by p_i the natural homomorphism from the R onto R_i. The Galois group of R_i over F_q is cyclic of order d, generated by the field automorphism u → u^p. It follows that the roots of g_i in R_i are

p_{i} (x), p_{i} (x^{q}), p_{i} (x^{q^{2}}), \dots, p_{i} (x^{q^{d - 1}}) .

Like in the preceding algorithm, this algorithm uses the same subalgebra B of R as the Berlekamp's algorithm, sometimes called the "Berlekamp subagebra" and defined as

\begin{matrix} B & = {α \in R : p_{1} (α), \dots, p_{k} (α) \in F_{q}} \\ = {u \in R : u^{q} = u} \end{matrix}

A subset S of B is said a separating set if, for every 1 ≤ i < j ≤ k there exists s ∈ S such that $p_{i} (s) \neq p_{j} (s)$ . In the preceding algorithm, a separating set is constructed by choosing at random the elements of S. In Shoup's algorithm, the separating set is constructed in the following way. Let s in R[Y] be such that

\begin{matrix} s & = (Y - x) (Y - x^{q}) \dots (Y - x^{q^{d - 1}}) \\ = s_{0} + \dots + s_{d - 1} Y^{d - 1} + Y^{d} \end{matrix}

Then ${s_{0}, \dots, s_{d - 1}}$ is a separating set because $p_{i} (s) = g_{i}$ for i =1, ..., k (the two monic polynomials have the same roots). As the g_i are pairwise distinct, for every pair of distinct indexes (i, j), at least one of the coefficients s_h will satisfy $p_{i} (s_{h}) \neq p_{j} (s_{h}) .$

Having a separating set, Shoup's algorithm proceeds as the last algorithm of the preceding section, simply by replacing the instruction "choose at random h in the kernel of the linear map $v \to v^{q} - v (\mod f)$ " by "choose h + i with h in S and i in {1, ..., k−1}".

Time complexity

As described in previous sections, for the factorization over finite fields, there are randomized algorithms of polynomial time complexity (for example Cantor–Zassenhaus algorithm). There are also deterministic algorithms with a polynomial average complexity (for example Shoup's algorithm).

The existence of a deterministic algorithm with a polynomial worst-case complexity is still an open problem.

Rabin's test of irreducibility

Like distinct-degree factorization algorithm, Rabin's algorithm is based on the Lemma stated above. Distinct-degree factorization algorithm tests every d not greater than half the degree of the input polynomial. Rabin's algorithm takes advantage that the factors are not needed for considering fewer d. Otherwise, it is similar to distinct-degree factorization algorithm. It is based on the following fact.

Let p₁, ..., p_k, be all the prime divisors of n, and denote $n / p_{i} = n_{i}$ , for 1 ≤ i ≤ k polynomial f in F_q[x] of degree n is irreducible in F_q[x] if and only if $gcd (f, x^{q^{n_{i}}} - x) = 1$ , for 1 ≤ i ≤ k, and f divides $x^{q^{n}} - x$ . In fact, if f has a factor of degree not dividing n, then f does not divide $x^{q^{n}} - x$ ; if f has a factor of degree dividing n, then this factor divides at least one of the $x^{q^{n_{i}}} - x .$

<b id="mwAyM">Algorithm</b> Rabin Irreducibility Test <b id="mwAyQ">Input</b>: A monic polynomial <i id="mwAyU">f</i> in <b id="mwAyY">F</b><sub id="mwAyc"><i id="mwAyg">q</i></sub>[<i id="mwAyk">x</i>] of degree <i id="mwAyo">n</i>, <i id="mwAys">p</i><sub id="mwAyw">1</sub>, ..., <i id="mwAy0">p<sub id="mwAy4">k</sub></i> all distinct prime divisors of <i id="mwAy8">n</i>. <b id="mwAzA">Output</b>: Either "<i id="mwAzE">f</i> is irreducible" or "<i id="mwAzI">f</i> is reducible". <b id="mwAzM">for</b> <i id="mwAzQ">j</i> = 1 to <i id="mwAzU">k</i> <b id="mwAzY">do</b> <span class="mwe-math-element" typeof="mw:Extension/math" about="#mwt191" data-mw='{"name":"math","attrs":{},"body":{"extsrc":"n_j=n/p_j"}}' id="mwAzc"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle n_{j}=n/p_{j}}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <msub> <mi>n</mi> <mrow class="MJX-TeXAtom-ORD"> <mi>j</mi> </mrow> </msub> <mo>=</mo> <mi>n</mi> <mrow class="MJX-TeXAtom-ORD"> <mo>/</mo> </mrow> <msub> <mi>p</mi> <mrow class="MJX-TeXAtom-ORD"> <mi>j</mi> </mrow> </msub> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle n_{j}=n/p_{j}}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/81ab0a0631d638c313f97bb29269cd0c7d0ed773" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.005ex; width:10.039ex; height:3.009ex;" alt="{\displaystyle n_{j}=n/p_{j}}"/></span>; <b id="mwAzg">for</b> <i id="mwAzk">i</i> = 1 to <i id="mwAzo">k</i> <b id="mwAzs">do</b> <span class="mwe-math-element" typeof="mw:Extension/math" about="#mwt193" data-mw='{"name":"math","attrs":{},"body":{"extsrc":"h:=x^{q^{n_i}}-x \\bmod f"}}' id="mwAzw"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle h:=x^{q^{n_{i}}}-x{\bmod {f}}}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>h</mi> <mo>:=</mo> <msup> <mi>x</mi> <mrow class="MJX-TeXAtom-ORD"> <msup> <mi>q</mi> <mrow class="MJX-TeXAtom-ORD"> <msub> <mi>n</mi> <mrow class="MJX-TeXAtom-ORD"> <mi>i</mi> </mrow> </msub> </mrow> </msup> </mrow> </msup> <mo>−<!-- − --></mo> <mi>x</mi> <mrow class="MJX-TeXAtom-ORD"> <mo lspace="thickmathspace" rspace="thickmathspace">mod</mo> <mrow class="MJX-TeXAtom-ORD"> <mi>f</mi> </mrow> </mrow> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle h:=x^{q^{n_{i}}}-x{\bmod {f}}}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/73094cf1d0c7f3add27f0f3141ab040a03c07b4b" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:20.098ex; height:3.176ex;" alt="{\displaystyle h:=x^{q^{n_{i}}}-x{\bmod {f}}}"/></span>; <i id="mwAz0">g</i> := gcd(<i id="mwAz4">f</i>, <i id="mwAz8">h</i>); <b id="mwA0A">if</b> <i id="mwA0E">g</i> ≠ 1, <b id="mwA0I">then return</b> "<i id="mwA0M">f</i> is reducible" <b id="mwA0Q">and STOP</b>; <b id="mwA0U">end for</b>; <span class="mwe-math-element" typeof="mw:Extension/math" about="#mwt195" data-mw='{"name":"math","attrs":{},"body":{"extsrc":"g:= x^{q^{n}}-x \\bmod f"}}' id="mwA0Y"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle g:=x^{q^{n}}-x{\bmod {f}}}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>g</mi> <mo>:=</mo> <msup> <mi>x</mi> <mrow class="MJX-TeXAtom-ORD"> <msup> <mi>q</mi> <mrow class="MJX-TeXAtom-ORD"> <mi>n</mi> </mrow> </msup> </mrow> </msup> <mo>−<!-- − --></mo> <mi>x</mi> <mrow class="MJX-TeXAtom-ORD"> <mo lspace="thickmathspace" rspace="thickmathspace">mod</mo> <mrow class="MJX-TeXAtom-ORD"> <mi>f</mi> </mrow> </mrow> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle g:=x^{q^{n}}-x{\bmod {f}}}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/87fc99e8d753c9f02665f6bc1920f16ba011365a" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:19.281ex; height:3.009ex;" alt="{\displaystyle g:=x^{q^{n}}-x{\bmod {f}}}"/></span>; <b id="mwA0c">if</b> <i id="mwA0g">g</i> = 0, <b id="mwA0k">then return</b> "<i id="mwA0o">f</i> is irreducible", <b id="mwA0s">else return</b> "<i id="mwA0w">f</i> is reducible"

The basic idea of this algorithm is to compute $x^{q^{n_{i}}} mod f$ starting from the smallest $n_{1}, \dots, n_{k}$ by repeated squaring or using the Frobenius automorphism, and then to take the correspondent gcd. Using the elementary polynomial arithmetic, the computation of the matrix of the Frobenius automorphism needs $O (n^{2} (n + \log q))$ operations in F_q, the computation of

x^{q^{n_{i}}} - x (\mod f)

needs O(n³) further operations, and the algorithm itself needs O(kn²) operations, giving a total of $O (n^{2} (n + \log q))$ operations in F_q. Using fast arithmetic (complexity $O (n \log n)$ for multiplication and division, and $O (n (\log n)^{2})$ for GCD computation), the computation of the $x^{q^{n_{i}}} - x mod f$ by repeated squaring is $O (n^{2} \log n \log q)$ , and the algorithm itself is $O (k n (\log n)^{2})$ , giving a total of $O (n^{2} \log n \log q)$ operations in F_q.