An extension of the (strong) primitive normal basis theorem
Let \(p\) be a prime, \(q\) a power of \(p\), and \(m\) a positive integer. Let \(\mathbb{F}_q\) denote the finite field of order \(q\) and \(\overline{\mathbb{F}}_q\) its algebraic closure. A generator of the cyclic group \(\mathbb{F}_{q^m}^*\) is called a primitive element of \(\mathbb{F}_{q^m}\). Let \(x\in \mathbb{F}_{q^m}\). A basis of \(\mathbb{F}_{q^m}\) over \(\mathbb{F}_{q}\) of the form \(\{x, x^q, \ldots, x^{q^{m-1}}\}\) is called a \textit{normal basis} of \(\mathbb{F}_{q^m}\) over \(\mathbb{F}_{q}\), and such an element is called \textit{free} over \(\mathbb{F}_{q}\). In [J. Reine Angew. Math. 103, 230--237 (1888; JFM 20.0073.03)], \textit{K. Hensel} proved that there exists a normal basis of \(\mathbb{F}_{q^m}\) over \(\mathbb{F}_{q}\). In [Math. Comput. 48, No. 177, 217--231 (1987; Zbl 0615.12023)], \textit{H. W. Lenstra Jr.} and \textit{R. J. Schoof} proved \textit{The Primitive Normal Basis Theorem} which says that there is a primitive normal basis of \(\mathbb{F}_{q^m}\) over \(\mathbb{F}_{q}\), i.e. there exists some \(x\in \mathbb{F}_{q^m}\) that is simulataneously primitive and free over \(\mathbb{F}_q\). Recently, \textit{S. D. Cohen} and \textit{S. Huczynska} provided a computer-free proof of \textit{The Primitive Normal Basis Theorem} in [J. Lond. Math. Soc. 67, No. 1, 41--56 (2003; Zbl 1045.11087)]. \textit{S. D. Cohen} and \textit{S. Huczynska} proved \textit{The Strong Primitive Normal Basis Theorem} in [Acta Arith. 143, No. 4, 299--332 (2010; Zbl 1219.11182)] which says that there exists some \(x\in \mathbb{F}_{q^m}\) such that \(x\) and \(x^{-1}\) are both simulataneously primitive and free over \(\mathbb{F}_q\), unless the pair \((q, m)\) is one of \((2, 3), (2, 4), (3, 4), (4, 3)\) or \((5, 4)\). Let \(A = \begin{pmatrix} a & b\\ c & d \end{pmatrix} \in \text{GL}_2(\mathbb{F}_q)\) and \(\mathbb{I}_n:= \{F\in \mathbb{F}_q[X]\,:\, F\,\,\text{irreducible of degree}\,n\,\}\). Let \(F\in \mathbb{I}_n,\, n\geq 2\), and define \[ F^A(X):= (cX+d)^n\,F\Big(\displaystyle\frac{aX+b}{cX+d}\Big). \] Then \(x\in \overline{\mathbb{F}}_q\) is a root of \(F\) if and only if \((-dx+b)/(cx-a)\) is a root of \(F^A\). In the article under review, an extension to \textit{The Primitive Normal Basis Theorem} and \textit{The Strong Primitive Normal Basis Theorem} is considered, which is stated as the following problem. Does there exist some \(x\in \mathbb{F}_{q^m}\) such that both \(x\) and \((-dx+b)/(cx-a)\) are simultaneously primitive and free over \(\mathbb{F}_{q}\)? The author proves that the aforementioned problem can be solved for most \(A \in \text{GL}_2(\mathbb{F}_q)\) when \(q\geq 23\) and \(m\geq 17\). Hence, the main result of the reviewed article is the following theorem. \vskip 0.2in \noindent Theorem. Let \(q\geq 23\), \(m\geq 17\), and \(A = \begin{pmatrix} a & b\\ c & d \end{pmatrix} \in \text{GL}_2(\mathbb{F}_q)\), such that if \(A\) has exactly two non-zero entries and \(q\) is odd, then the quotient of these entries is a square in \(\mathbb{F}_{q^m}\) (thus \(A\) may have two, three or four non-zero entries). There exists some \(x\in \mathbb{F}_{q^m}\) such that both \(x\) and \((-dx+b)/(cx-a)\) are simultaneously primitive and free over \(\mathbb{F}_{q}\).
- A generalization of the primitive normal basis theorem
- Algebraic constructions for Costas arrays
- Bases for Finite Fields
- Equations over finite fields. An elementary approach
- Existence and properties of \(k\)-normal elements over finite fields
- Explicit theorems on generator polynomials
- Factorization of a class of polynomials over finite fields
- scientific article; zbMATH DE number 1716471 (Why is no real title available?)
- scientific article; zbMATH DE number 1528681 (Why is no real title available?)
- scientific article; zbMATH DE number 5174929 (Why is no real title available?)
- scientific article; zbMATH DE number 6327479 (Why is no real title available?)
- scientific article; zbMATH DE number 3287365 (Why is no real title available?)
- scientific article; zbMATH DE number 967590 (Why is no real title available?)
- scientific article; zbMATH DE number 3075874 (Why is no real title available?)
- Mixed exponential sums over finite fields
- New directions in cryptography
- Normal bases and primitive elements over finite fields
- On the action of \(\text{GL}_2(\mathbb F_q)\) on irreducible polynomials over \(\mathbb F_q\)
- On the existence of some specific elements in finite fields of characteristic 2
- Primitive Normal Bases for Finite Fields
- Primitive normal bases with prescribed trace
- Primitive Roots in a Finite Field
- THE PRIMITIVE NORMAL BASIS THEOREM – WITHOUT A COMPUTER
- The strong primitive normal basis theorem
- Using Stepanov's method for exponential sums involving rational functions
- On the existence of primitive completely normal bases of finite fields
- Primitive element pairs with one prescribed trace over a finite field
- Primitivity, freeness, norm and trace
- Primitive normal pairs with prescribed norm and trace
- On the existence of pairs of primitive normal elements over finite fields
- Further results on the Morgan-Mullen conjecture
- Existence of some special primitive normal elements over finite fields
- Variations of the primitive normal basis theorem
- A normal form supplement to the Oettli-Prager theorem
- Normal bases and primitive elements over finite fields
- On \(r\)-primitive \(k\)-normal elements over finite fields
- scientific article; zbMATH DE number 1594295 (Why is no real title available?)
- The strong primitive normal basis theorem
- On the existence of primitive normal elements of rational form over finite fields of even characteristic
- Pair of primitive elements with prescribed traces over finite fields
- A generalization of the primitive normal basis theorem
- Pair of primitive normal elements of rational form over finite fields of characteristic 2
- Primitive normal values of rational functions over finite fields
- Inverses of r-primitive k-normal elements over finite fields
- On the existence of \(r\)-primitive pairs \((\alpha, f(\alpha))\) in finite fields
This page was built for publication: An extension of the (strong) primitive normal basis theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2254530)
