Abstract:For any positive integers $q$, $n$, $m$ with $q$ being a prime power and $n \geq 5$, we establish a condition sufficient to ensure the existence of a primitive normal pair $(\epsilon,f(\epsilon))$ in $\mathbb{F}_{q^{n}}$ over $\mathbb{F}_{q}$ such that $\mathrm{PN}_{q^n/q}(\epsilon)=a$, where $a\in\mathbb{F}_{q}$ is prescribed. Here $f={f_{1}}/{f_{2}}\in\mathbb{F}_{q^n}(x)$ is a rational function subject to some minor restrictions such that deg($f_{1}$)+deg($f_{2}$)$=m$ and $\mathrm{PN}_{q^n/q}(\epsilon) =\sum_{i=0}^{n-1}\Bigg(\underset{j\neq i}{\underset{0\leq j\leq n-1}{\prod_{}^{}}}\epsilon^{q^j}\Bigg)$. Finally, we conclude that for $m=3$, $n\geq 6$, and $q=7^k$ where $k\in\mathbb{N}$, such a pair will exist certainly for all $(q,n)$ except possibly $10$ choices at most.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is whether there exists a primitive - normal pair $(\epsilon, f(\epsilon))$ in the finite field $F_{q^n}$ under specific conditions such that its prenorm $PN_{q^n/q}(\epsilon)=a$, where $a\in F_q$ is given. Specifically, for positive integers $q$, $n$, $m$, where $q$ is a prime power and $n\geq5$, the author establishes a sufficient condition to ensure the existence of such a primitive - normal pair $(\epsilon, f(\epsilon))$ that satisfies the following conditions: 1. Both $\epsilon$ and $f(\epsilon)$ are primitive and normal elements over $F_{q^n}$. 2. $PN_{q^n/q}(\epsilon)=a$, where $a\in F_q$ is a pre - specified value. 3. $f(x) = f_1(x)/f_2(x)\in F_{q^n}(x)$ is a rational function that satisfies certain mild restrictive conditions, and $\deg(f_1)+\deg(f_2)=m$. Furthermore, the paper also specifically points out that for $m = 3$, $n\geq6$, and $q = 7^k$ (where $k\in\mathbb{N}$), except for at most 10 possible choices, the above - mentioned primitive - normal pair will surely exist. Mathematically, the prenorm $PN_{q^n/q}(\epsilon)$ is defined as: \[PN_{q^n/q}(\epsilon)=\sum_{i = 0}^{n-1}\left(\prod_{\substack{0\leq j\leq n-1\\j\neq i}}\epsilon^{q^j}\right).\] To prove these results, the author uses character theory, sieve inequality and some other algebraic tools. Finally, the paper shows how to apply these results to determine the existence of elements with specific properties and verifies some specific cases by calculation.

A primitive normal pair with prescribed prenorm

Primitive normal pairs of elements with one prescribed trace

Existence of primitive normal pairs over finite fields with prescribed subtrace

Primitive normal pairs with prescribed traces over finite fields

Primitive normal Values of rational functions with one prescribed norm and trace over finite fields

Primitive pairs of rational functions with prescribed traces over finite fields

On pairs of $r$-primitive and $k$-normal elements with prescribed traces over finite fields

Arithmetic progression in a finite field with prescribed norms

On existence of primitive normal elements of rational form over finite fields of even characteristic

Relative ( pn , p , pn , n )-difference sets with GCD ( p , n )=1

Nonsymmetric Primitive Translation Schemes of Prime Power Order

On $r$-primitive $k$-normal polynomials with two prescribed coefficients

Primitive Normal Polynomials with Multiple Coefficients Prescribed: an Asymptotic Result

Primitive normal polynomials with the first two coefficients prescribed: A revised p-adic method

A new generalization of Fermat's Last Theorem

Primitive Complete Normal Bases for Regular Extensions: Exceptional Cyclotomic Modules

On Disjoint Residue Classes

A Criterion for the Normality of Polynomials over Finite Fields Based on Their Coefficients

On the Existence of Some Specific Primitive Elements over Finite Fields of Even Characteristic

Existence of Special Types Primitive Pairs in Finite Fields Avoiding Affine Hyperplanes