English

Primitive normal pairs of elements with one prescribed trace

Number Theory 2024-11-11 v2

Abstract

Let q,n,mNq, n, m \in \mathbb{N} such that qq is a prime power, m3m \geq 3 and aFa \in \mathbb{F}. We establish a sufficient condition for the existence of a primitive normal pair (α\alpha, f(α)f(\alpha)) in Fqm\mathbb{F}_{q^m} over Fq\mathbb{F}_{q} such that TrFqm/Fq(α1)=a_{\mathbb{F}_{q^m}/\mathbb{F}_{q}}(\alpha^{-1})=a, where f(x)Fqm(x)f(x) \in \mathbb{F}_{q^m}(x) is a rational function with degree sum nn. In particular, for q=5k, k5q=5^k, ~k \geq 5 and degree sum n=4n=4, we explicitly find at most 11 choices of (q,m)(q, m) where existence of such pairs is not guaranteed.

Keywords

Cite

@article{arxiv.2306.03426,
  title  = {Primitive normal pairs of elements with one prescribed trace},
  author = {Arpan Chandra Mazumder and Himangshu Hazarika and Dhiren Kumar Basnet and Giorgos Kapetanakis},
  journal= {arXiv preprint arXiv:2306.03426},
  year   = {2024}
}

Comments

19 pages

R2 v1 2026-06-28T10:57:28.257Z