Source author record

Stephen D. Cohen

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

9works
5topics
4close collaborators

Published work

9 publications

preprint2022arXiv

Primitive element pairs with a prescribed trace in the cubic extension of a finite field

We prove that for any prime power q∉{3,4,5}q\notin\{3,4,5\}, the cubic extension Fq3\mathbb{F}_{q^3} of the finite field Fq\mathbb{F}_q contains a primitive element ξξ such that ξ+ξ−1ξ+ξ^{-1} is also primitive, and TrFq3/Fq(ξ)=a\textrm{Tr}_{\mathbb{F}_{q^3}/\mathbb{F}_q}(ξ)=a for any prescribed a∈Fqa\in\mathbb{F}_q. This completes the proof of a conjecture of Gupta, Sharma, and Cohen concerning the analogous problem over an extension of arbitrary degree n≥3n\ge3.

preprint2022arXiv

Primitive elements with prescribed traces

Given a prime power qq and a positive integer nn, let Fqn\mathbb{F}_{q^{n}} denote the finite field with qnq^n elements. Also let a,ba,b be arbitrary members of the ground field Fq\mathbb{F}_{q}. We investigate the existence of a non-zero element ξ∈Fqnξ\in \mathbb{F}_{q^{n}} such that ξ+ξ−1ξ+ ξ^{-1} is primitive and T(ξ)=a,T(ξ−1)=bT(ξ)=a, T(ξ^{-1})=b, where T(ξ)T(ξ) denotes the trace of ξξ in Fq\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 n≥5n \geq 5. A related study involves the cubic extension Fq3\mathbb{F}_{q^{3}} of Fq\mathbb{F}_{q}. We show that if q≥8⋅1012q\geq 8\cdot 10^{12} then, for any a∈Fqa\in \mathbb{F}_{q} we can find a primitive element ξ∈Fq3ξ\in \mathbb{F}_{q^{3}} such that ξ+ξ−1ξ+ ξ^{-1} is also a primitive element of Fq3\mathbb{F}_{q^{3}}, and for which the trace of ξξ is equal to aa. 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.

preprint2022arXiv

The existence of Fq\mathbb{F}_q-primitive points on curves using freeness

Let CQ\mathcal C_Q be the cyclic group of order QQ, nn a divisor of QQ and rr a divisor of Q/nQ/n. We introduce the set of (r,n)(r,n)-free elements of CQ\mathcal C_Q and derive a lower bound for the the number of elements θ∈Fqθ\in \mathbb F_q for which f(θ)f(θ) is (r,n)(r,n)-free and F(θ)F(θ) is (R,N)(R,N)-free, where f,F∈Fq[x] f, F \in \mathbb F_q[x]. As an application, we consider the existence of Fq\mathbb F_q-primitive points on curves like yn=f(x)y^n=f(x) and find, in particular, all the odd prime powers qq for which the elliptic curves y2=x3±xy^2=x^3 \pm x contain an Fq\mathbb F_q-primitive point.

preprint2021arXiv

The trace of 2-primitive elements of finite fields (amended version)

Let qq be a prime power and n,rn, r integers such that r∣qn−1r\mid q^n-1. An element of Fqn\mathbb{F}_{q^n} of multiplicative order (qn−1)/r(q^n-1)/r is called \emph{rr-primitive}. For any odd prime power qq, we show that there exists a 22-primitive element of Fqn\mathbb{F}_{q^n} with arbitrarily prescribed Fq\mathbb{F}_q trace when n≥3n\geq 3. Also we explicitly describe the values that the trace of such elements may have when n=2n=2. A feature of this amended version is the reduction of the discussion to extensions of prime degree nn.

preprint2019arXiv

Primitive Element Pairs with a Prescribed Trace in the Quartic Extension of a Finite Field

In this article, we give a largely self-contained proof that the quartic extension Fq4\mathbb{F}_{q^4} of the finite field Fq\mathbb{F}_q contains a primitive element αα such that the element α+α−1α+α^{-1} is also a primitive element of Fq4,{\mathbb{F}_{q^4}}, and TrFq4∣Fq(α)=aTr_{\mathbb{F}_{q^4}|\mathbb{F}_{q}}(α)=a for any prescribed a∈Fqa \in \mathbb{F}_q. The corresponding result for finite field extensions of degrees exceeding 4 has already been established by Gupta, Sharma and Cohen.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.