Sequences of binary irreducible polynomials

In this paper we construct an infinite sequence of binary irreducible polynomials starting from any irreducible polynomial f_0 \in \F_2 [x]. If $f_0$ is of degree $n = 2^l \cdot m$, where $m$ is odd and $l$ is a non-negative integer, after an initial finite sequence of polynomials $f_0, f_1, ..., f_{s}$ with $s \leq l+3$, the degree of $f_{i+1}$ is twice the degree of $f_i$ for any $i \geq s$.Comment: 7 pages, minor adjustment

Sequences of irreducible polynomials without prescribed coefficients over odd prime fields

In this paper we construct infinite sequences of monic irreducible polynomials with coefficients in odd prime fields by means of a transformation introduced by Cohen in 1992. We make no assumptions on the coefficients of the first polynomial $f_0$ of the sequence, which belongs to \F_p [x], for some odd prime $p$, and has positive degree $n$. If $p^{2n}-1 = 2^{e_1} \cdot m$ for some odd integer $m$ and non-negative integer $e_1$, then, after an initial segment $f_0, ..., f_s$ with $s \leq e_1$, the degree of the polynomial $f_{i+1}$ is twice the degree of $f_i$ for any $i \geq s$.Comment: 10 pages. Fixed a typo in the reference

Construction of irreducible polynomials through rational transformations

Let $\mathbb F_q$ be the finite field with $q$ elements, where $q$ is a power of a prime. We discuss recursive methods for constructing irreducible polynomials over $\mathbb F_q$ of high degree using rational transformations. In particular, given a divisor $D>2$ of $q+1$ and an irreducible polynomial $f\in \mathbb F_{q}[x]$ of degree $n$ such that $n$ is even or $D\not \equiv 2\pmod 4$, we show how to obtain from $f$ a sequence $\{f_i\}_{i\ge 0}$ of irreducible polynomials over $\mathbb F_q$ with $\mathrm{deg}(f_i)=n\cdot D^{i}$.Comment: 21 pages; comments are welcome

Constructing irreducible polynomials recursively with a reverse composition method

We suggest a construction of the minimal polynomial $m_{\beta^k}$ of $\beta^k\in \mathbb F_{q^n}$ over $\mathbb F_q$ from the minimal polynomial $f= m_\beta$ for all positive integers $k$ whose prime factors divide $q-1$. The computations of our construction are carried out in $\mathbb F_q$. The key observation leading to our construction is that for $k \mid q-1$ holds $$m_{\beta^k}(X^k) = \prod_{j=1}^{\frac kt} \zeta_k^{-jn} f (\zeta_k^j X),$$ where $t= \max \{m\mid \gcd(n,k): f (X) = g (X^m), g \in \mathbb F_q[X]\}$ and $\zeta_{k}$ is a primitive $k$-th root of unity in $\mathbb F_q$. The construction allows to construct a large number of irreducible polynomials over $\mathbb F_q$ of the same degree. Since different applications require different properties, this large number allows the selection of the candidates with the desired properties

Closed formulas for the factorization of Xn−1X^n-1, the nn-th cyclotomic polynomial, Xn−aX^n-a and f(Xn)f(X^n) over a finite field for arbitrary positive integers nn

The factorizations of the polynomial $X^n-1$ and the cyclotomic polynomial $\Phi_n$ over a finite field $\mathbb F_q$ have been studied for a very long time. Explicit factorizations have been given for the case that $\mathrm{rad}(n)\mid q^w-1$ where $w=1$, $w$ is prime or $w$ is the product of two primes. For arbitrary $a\in \mathbb F_q^\ast$ the factorization of the polynomial $X^n-a$ is needed for the construction of constacyclic codes. Its factorization has been determined for the case $\mathrm{rad}(n)\mid q-1$ and for the case that there exist at most three distinct prime factors of $n$ and $\mathrm{rad}(n)\mid q^w-1$ for a prime $w$. Both polynomials $X^n-1$ and $X^n-a$ are compositions of the form $f(X^n)$ for a monic irreducible polynomial $f\in \mathbb F_q[X]$. The factorization of the composition $f(X^n)$ is known for the case $\gcd(n, \mathrm{ord}(f)\cdot \mathrm{deg}(f))=1$ and $\mathrm{rad}(n)\mid q^w-1$ for $w=1$ or $w$ prime. However, there does not exist a closed formula for the explicit factorization of either $X^n-1$, the cyclotomic polynomial $\Phi_n$, the binomial $X^n-a$ or the composition $f(X^n)$. Without loss of generality we can assume that $\gcd(n,q)=1$. Our main theorem, Theorem 18, is a closed formula for the factorization of $X^n-a$ over $\mathbb F_q$ for any $a\in \mathbb F_q^\ast$ and any positive integer $n$ such that $\gcd(n,q)=1$. From our main theorem we derive one closed formula each for the factorization of $X^n-1$ and of the $n$-th cyclotomic polynomial $\Phi_n$ for any positive integer $n$ such that $\gcd(n,q)=1$ (Theorem 2.5 and Theorem 2.6). Furthermore, our main theorem yields a closed formula for the factorization of the composition $f(X^n)$ for any irreducible polynomial $f\in \mathbb F_q[X]$, $f\neq X$, and any positive integer $n$ such that $\gcd(n,q)=1$ (Theorem 27).Comment: We added factorizations of $X^n-1$ and the $n$-th cyclotomic polynomial. We improved the selection of the parameters for our main theorem, gave a more thorough proof for it and corrected the choice of the representative system for the case $gcd(s_1,s_2)>1$. We included a reference to [WY18]. In Proposition 6 we corrected the choice of $r$ for the case $a=1