Primitive Normal Values of Rational Functions over Finite Fields

Abstract: In this paper, we consider rational functions $f$ with some minor restrictions over the finite field $\mathbb{F}{q^n},$ where $q=p^k$ for some prime $p$ and positive integer $k$. We establish a sufficient condition for the existence of a pair $(\alpha,f(\alpha))$ of primitive normal elements in $\mathbb{F}{q^n}$ over $\mathbb{F}{q}.$ Moreover, for $q=2^k$ and rational functions $f$ with quadratic numerators and denominators, we explicitly find that there are at most $55$ finite fields $\mathbb{F}{q^n}$ in which such a pair $(\alpha,f(\alpha))$ of primitive normal elements may not exist.