Pith. sign in

REVIEW

Existence of primitive normal pairs over finite fields with prescribed subtrace

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2405.11463 v3 pith:32RTSUOV submitted 2024-05-19 math.NT

Existence of primitive normal pairs over finite fields with prescribed subtrace

classification math.NT
keywords epsilonmathbbexistencemathrmnormalpairprimitivecertainly
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

Given positive integers $q,n,m$ and $a\in\mathbb{F}_{q}$, where $q$ is an odd prime power and $n\geq 5$, we investigate the existence of a primitive normal pair $(\epsilon,f(\epsilon))$ in $\mathbb{F}_{q^{n}}$ over $\mathbb{F}_{q}$ such that $\mathrm{STr}_{q^n/q}(\epsilon)=a$, where $f(x)=\frac{f_{1}(x)}{f_{2}(x)}\in\mathbb{F}_{q^n}(x)$ is a rational function together with deg$(f_{1})+$deg$(f_{2})=m$ and $\mathrm{STr}_{q^n/q}(\epsilon) = \sum_{0\leq i<j\leq n-1}^{}\epsilon^{q^i+q^j}$. Finally, we conclude that for $m=2$, $n\geq 6$ and $q=7^k$; $k\in\mathbb{N}$, such a pair will exist certainly for all $(q,n)$ except at most $11$ choices.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.