Answers are grounded in this paper and cite their sources.
Let q, n, m ∈ N be such that q is a prime power and a, b ∈ F. In this article we establish a sufficient condition for the existence of a primitive normal pair (α, f(α)) ∈ Fqᵐ over F with a prescribed primitive norm a and a non-zero trace b over F of α, where f(x) ∈ Fqᵐ(x) is a rational function of degree sum n with some minor restrictions. Furthermore, for q=7ᵏ, m ≥ 7 and rational functions with numerator and denominator being linear, we explicitly find at most 6 fields in which the desired pair may not exist.
No takes yet. Share an insight, caveat, or question.
Mazumder et al. (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: