English

A primitive normal pair with prescribed prenorm

Number Theory 2024-06-27 v2

Abstract

For any positive integers qq, nn, mm with qq being a prime power and n5n \geq 5, we establish a condition sufficient to ensure the existence of a primitive normal pair (ϵ,f(ϵ))(\epsilon,f(\epsilon)) in Fqn\mathbb{F}_{q^{n}} over Fq\mathbb{F}_{q} such that PNqn/q(ϵ)=a\mathrm{PN}_{q^n/q}(\epsilon)=a, where aFqa\in\mathbb{F}_{q} is prescribed. Here f=f1/f2Fqn(x)f={f_{1}}/{f_{2}}\in\mathbb{F}_{q^n}(x) is a rational function subject to some minor restrictions such that deg(f1f_{1})+deg(f2f_{2})=m=m and PNqn/q(ϵ)=i=0n1(0jn1jiϵqj)\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=3m=3, n6n\geq 6, and q=7kq=7^k where kNk\in\mathbb{N}, such a pair will exist certainly for all (q,n)(q,n) except possibly 1010 choices at most.

Keywords

Cite

@article{arxiv.2406.03571,
  title  = {A primitive normal pair with prescribed prenorm},
  author = {K. Chatterjee and S. K. Tiwari},
  journal= {arXiv preprint arXiv:2406.03571},
  year   = {2024}
}

Comments

arXiv admin note: substantial text overlap with arXiv:2405.11463

R2 v1 2026-06-28T16:55:03.795Z