Iterated constructions of completely normal polynomials

From MaRDI portal
(Redirected from Publication:1994972)



Abstract: The Rsigma,t-transform introduced by Bassa and Menares can be used to construct families of irreducible polynomials in mathbbFq[x]. This iterative construction is a generalization of Cohen's R-transform. For this transform, Chapman proved that under some conditions, the polynomials in the resulting family are completely normal. In this paper we establish conditions ensuring that the polynomials obtained by using the Rsigma,t-transform are completely normal polynomials and we give a simple proof of Chapman's result.


Let \(\mathbb{F}_q\) be the finite field of \(q\) elements and \(n\) a positive integer. An element \(\alpha \in \mathbb{F}_{q^n}\) is said normal over \(\mathbb{F}_q\) if its \(\mathbb{F}_q\)-conjugates form an \(\mathbb{F}_q\)-vector space basis of \(\mathbb{F}_{q^n}\). An element \( \alpha \in \mathbb{F}_{q^n}\) is completely normal if it generates over any intermediate field \(\mathbb{F}_{q^d}\) (where \(d|n\)) a normal basis of \(\mathbb{F}_{q^n}\) over \(\mathbb{F}_{q^d}\). Let \(f \in \mathbb{F}_q[x]\) be an irreducible polynomial, \(f\) is called normal (completely normal) over \(\mathbb{F}_q[x]\) if any of its roots is normal (completely normal) in the extension \(\mathbb{F}_{\deg f}/\mathbb{F}_q\). Let \(\sigma \in \mathrm{GL}_2(\mathbb{F}_q)\) and \(t\) is a positive integer. In the paper under review, the author gives sequences of polynomials obtained by using the \(R_{\sigma, t}\)-transform, that start with a certain linear polynomial in \( \mathbb{F}_q[x] \), and establishes conditions that ensure that said sequences are sequences of completely normal polynomials over \(\mathbb{F}_q[x]\). The \(R_{\sigma, t}\)--transform were introduced in a recent work by \textit{A. Bassa} and \textit{R. Menares} [\url{arXiv:1909.02608}]. They give interactive constructions of irreducible polynomials over \(\mathbb{F}_q\) of growing degree. This interactive construction is a generalization of \textit{S. D. Cohen}'s \(R\)-transform [Des. Codes Cryptography 2, 169--174 (1992; Zbl 0768.11048)]. For this \(R\)-transform, R. Chapman provides explicit constructions of sequences of irreducible polynomials whose roots are completely normal elements [\textit{R. Chapman}, Finite Fields Appl. 3, No. 1, 1--10 (1997; Zbl 0952.11028)]. The author also gives a simple proof of Chapman's result mentioned before using his results and shows a generalization that allow the construction of completely normal polynomial families where the starting polynomial is not necessarily linear.











This page was built for publication: Iterated constructions of completely normal polynomials

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1994972)