Primitive elements with prescribed traces

DOI10.1016/J.FFA.2022.102094MaRDI QIDQ6386137arXivWikidataFDO

Authors Andrew R. Booker, Stephen D. Cohen, Nicol Leong, Tim Trudgian

Publication date 19 December 2021

Published in arXiv

Full work available at URL https://doi.org/10.1016/J.FFA.2022.102094

Mathematics Subject Classification ID

Exponential sums (11T23) Structure theory for finite fields and commutative rings (number-theoretic aspects) (11T30) Finite fields (field-theoretic aspects) (12E20)

arXiv classification

math.NT

Abstract: Given a prime power $q$ and a positive integer $n$, let $mathbb{F}_{q^n}$ denote the finite field with $q^n$ elements. Also let $a,b$ be arbitrary members of the ground field $mathbb{F}_q$. We investigate the existence of a non-zero element $xiinmathbb{F}_{q^n}$ such that $xi+x{i}^{-1}$ is primitive and $T(xi)=a,T(x{i}^{-1})=b$, where $T(xi)$ denotes the trace of $xi$ in $mathbb{F}_q$. This was a question intended to be addressed by Cao and Wang in 2014. Their work dealt instead with another problem already in the literature. Our solution deals with all values of $ngeq5$. A related study involves the cubic extension $mathbb{F}_{q^3}$ of $mathbb{F}_q$. We show that if $qgeq8cdot10^{12}$ then, for any $ainmathbb{F}_q$ we can find a primitive element $xiinmathbb{F}_{q^3}$ such that $xi+x{i}^{-1}$ is also a primitive element of $mathbb{F}_{q^3}$, and for which the trace of $xi$ is equal to $a$. The improves a result of Cohen and Gupta. Along the way we prove a hybridised lower bound on prime divisors in various residue classes, which may be of interest to related existence questions.

This page was built for publication: Primitive elements with prescribed traces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6386137)