An extension of the (strong) primitive normal basis theorem
An extension of the primitive normal basis theorem and its strong version is proved. Namely, we show that for nearly all \(A = {\small \left( \begin{array}{cc} a&{}b \\ c&{}d \end{array} \right) } \in \mathrm{GL}_2(\mathbb {F}_{q})\), there exists some \(x\in \mathbb {F}_{q^m}\) such that both \(x\) and \((-dx+b)/(cx-a)\) are simultaneously primitive elements of \(\mathbb {F}_{q^m}\) and produce a normal basis of \(\mathbb {F}_{q^m}\) over \(\mathbb {F}_q\), granted that \(q\) and \(m\) are large enough.
normal basis primitive element finite field 11t30 11t06 11t24 12e20