Existence of primitive normal pairs with one prescribed trace over finite fields

DOI10.1007/S10623-021-00956-7MaRDI QIDQ2243896zbMATH OpenOpenAlexFDO

Authors Hariom Sharma, Rajendra Kumar Sharma

Publication date 11 November 2021

Published in Designs, Codes and Cryptography (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2101.08191

zbMATH Keywords

charactersfinite fieldsnormal elementprimitive element

Mathematics Subject Classification ID

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

Abstract: Given $m,n,qinmathbbN$ such that $q$ is a prime power and $mgeq3$, $ainmathbb{F}_q$, we establish a sufficient condition for the existence of primitive pair $(alpha,f(alpha))$ in $mathbb{F}_{q^m}$ such that $alpha$ is normal over $mathbb{F}_q$ and $ext{Tr}_{mathbb{F}_{q^m}/mathbb{F}_q}(alph{a}^{-1})=a$, where $f(x)inmathbb{F}_{q^m}(x)$ is a rational function of degree sum $n$. Further, when $n=2$ and $q=5^k$ for some $kinmathbbN$, such a pair definitely exists for all $(q,m)$ apart from at most $20$ choices.

Review text

Let \(\mathbb F_{q}\) be a finite field with \(q\) elements and let \(\mathbb F_{q^m}\) be its extension field of degree \(m\). A primitive element of \(\mathbb F_{q^m}\) is a generator of the multiplicative group \(\mathbb F_{q^m}^*\). A normal element \(\alpha \in \mathbb F_{q^m}\) over \(\mathbb F_q\) is an element such that \(\alpha, \alpha^q,\ldots, \alpha^{q^{m-1}}\) form an \(\mathbb F_q\)-basis of \(\mathbb F_{q^m}\). Primitive and normal elements are crucial in the theory of finite fields and, hence, deeply investigated in the literature. This paper is dealing with the following question: Given two positive integers \(n\) and \(m\), a prime power \(q\) and an element \(a \in \mathbb F_q\), do there exist \(\alpha \in \mathbb F_{q^m}\) and a rational function \(f(x) \in \mathbb F_{q^m}(x)\) of degree sum equal to \(n\), such that \(\alpha\) is normal and primitive, \(f(\alpha)\) is primitive and \(\mathrm{Tr}_{\mathbb F_{q^m}/\mathbb F_q}(\alpha^{-1})=a\)? The authors give two sufficient conditions for this to be true, whose proofs are based on computations using character sums. It is finally presented a detailed working example studying when \(q=5^k\) and \(n=2\).

Recommendations

• Existence of primitive pairs with prescribed traces over finite fields
• On the existence of pairs of primitive normal elements over finite fields
• On the existence of pairs of primitive and normal elements over finite fields
• Primitive element pairs with one prescribed trace over a finite field
• Existence of some special primitive normal elements over finite fields
• Existence of primitive 1-normal elements in finite fields
• Pair of primitive elements with prescribed traces over finite fields
• Primitive element pairs with a prescribed trace in the cubic extension of a finite field
• Existence of primitive 2-normal elements in finite fields
• The existence of primitive normal elements of quadratic forms over finite fields

Cites work

• A CLASS OF INCOMPLETE CHARACTER SUMS
• An implementation for a fast public-key cryptosystem
• Character sums over Galois rings and primitive polynomials over finite fields.
• Existence of pair of primitive elements over finite fields of characteristic 2
• Existence of primitive pairs with prescribed traces over finite fields
• Existence of some special primitive normal elements over finite fields
• scientific article; zbMATH DE number 967590 (Why is no real title available?)
• On Some Exponential Sums
• Pair of primitive elements with prescribed traces over finite fields
• Pairs of primitive elements in fields of even order
• Primitive element pairs with a prescribed trace in the quartic extension of a finite field
• Primitive element pairs with one prescribed trace over a finite field
• Primitive elements with zero traces
• Primitive Normal Bases for Finite Fields
• Primitive values of quadratic polynomials in a finite field
• Primitive values of rational functions at primitive elements of a finite field
• THE PRIMITIVE NORMAL BASIS THEOREM – WITHOUT A COMPUTER
• Using Stepanov's method for exponential sums involving rational functions

Cited in

(12)

• Primitive element pairs with one prescribed trace over a finite field
• Primitive normal pairs with prescribed norm and trace
• Primitive values of rational functions at primitive elements of a finite field
• Pair of primitive elements with prescribed traces over finite fields
• Existence of primitive pairs with prescribed traces over finite fields
• On \(r\)-primitive \(k\)-normal elements with prescribed norm and trace over finite fields
• Existence of rational primitive normal pairs over finite fields
• Existence of primitive pairs with two prescribed traces over finite fields
• Arithmetic progression in a finite field with prescribed norms
• Arithmetic progressions of some special elements in finite fields
• A characterization and an explicit description of all primitive polynomials of degree two
• Hybrid bounds for prime divisors

Describes a project that uses

Uses Software

• GAP
• Matlab

This page was built for publication: Existence of primitive normal pairs with one prescribed trace over finite fields

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