Sequences of irreducible polynomials without prescribed coefficients over odd prime fields (Q2339141)

A construction of infinite sequences of monic irreducible polynomials with coefficients in \(\mathbb{Z}_p,\;p\) is an odd prime, is described. The construction is based on the Cohen transformation \(f^R(x)=(2x)^nf\left(\frac{1}{2}(x+x^{-1})\right)\) [\textit{S. D. Cohen}, Des. Codes Cryptography 2, No. 2, 169--174 (1992; Zbl 0768.11048)]. It is essential that no restrictions on the first polynomial \(f_0\), except irreducibility, are assumed. Also, if \(p^{2n}-1 = 2^{e_1} \cdot m\) for some odd integer \(m\) and some nonnegative integer \(e_1\), then after an initial segment \(f_0, \dots , 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\).