Pairs of r-primitive and k-normal elements in finite fields

DOI10.1007/S00574-023-00341-ZzbMATH Open1521.11077arXiv2210.11504OpenAlexW4365451211MaRDI QIDQ6042641FDOQ6042641

Authors: Josimar J. R. Aguirre, Victor G. L. Neumann 

Publication date: 3 May 2023

Published in: Bulletin of the Brazilian Mathematical Society. New Series (Search for Journal in Brave)

Abstract: Let $mathbb{F}_{q^n}$ be a finite field with $q^n$ elements and $r$ be a positive divisor of $q^n-1$. An element $alphainmathbb{F}_{q^n}^{\ast }$ is called $r$-primitive if its multiplicative order is $(q^n-1)/r$. Also, $alphainmathbb{F}_{q^n}$ is $k$-normal over $mathbb{F}_q$ if the greatest common divisor of the polynomials $g_{alpha}(x)=alpha{x}^{n-1}+alph{a}^q{x}^{n-2}+ldots+alph{a}^{q^{n-2}}x+alph{a}^{q^{n-1}}$ and $x^n-1$ in $mathbb{F}_{q^n}[x]$ has degree $k$. These concepts generalize the ideas of primitive and normal elements, respectively. In this paper, we consider non-negative integers $m_1,m_2,k_1,k_2$, positive integers $r_1,r_2$ and rational functions $F(x)=F_1(x)/F_2(x)inmathbb{F}_{q^n}(x)$ with $deg(F_i)leq{m}_i$ for $iin1,2$ satisfying certain conditions and we present sufficient conditions for the existence of $r_1$-primitive $k_1$-normal elements $alphainmathbb{F}_{q^n}$ over $mathbb{F}_q$, such that $F(alpha)$ is an $r_2$-primitive $k_2$-normal element over $mathbb{F}_q$. Finally as an example we study the case where $r_1=2$, $r_2=3$, $k_1=2$, $k_2=1$, $m_1=2$ and $m_2=1$, with $nge7$.

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

Recommendations

• On \(r\)-primitive \(k\)-normal elements over finite fields
• On the existence of pairs of primitive and normal elements over finite fields
• About \(r\)-primitive and \(k\)-normal elements in finite fields
• Pair of primitive normal elements of rational form over finite fields of characteristic 2
• Primitive normal values of rational functions over finite fields

zbMATH Keywords

finite fieldsnormal basis\(k\)-normal element\(r\)-primitive element

Mathematics Subject Classification ID

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

Cites Work

• Existence of primitive 1-normal elements in finite fields
• On the existence of pairs of primitive and normal elements over finite fields
• Existence of some special primitive normal elements over finite fields
• Primitive Normal Bases for Finite Fields
• Bases for Finite Fields
• Primitive Roots in a Finite Field
• How to Generate Cryptographically Strong Sequences of Pseudorandom Bits
• The strong primitive normal basis theorem
• THE PRIMITIVE NORMAL BASIS THEOREM – WITHOUT A COMPUTER
• Elements of provable high orders in finite fields
• Existence results on \(k\)-normal elements over finite fields
• Existence and properties of \(k\)-normal elements over finite fields
• A note on discrete logarithms in finite fields
• Normal bases and primitive elements over finite fields
• On \(k\)-normal elements over finite fields
• A new criterion on \(k\)-normal elements over finite fields
• On \(r\)-primitive \(k\)-normal elements over finite fields
• About \(r\)-primitive and \(k\)-normal elements in finite fields
• A CLASS OF INCOMPLETE CHARACTER SUMS
• Finite field arithmetic using quasi-normal bases
• Existence of primitive 2-normal elements in finite fields
• Topics in Galois Fields
• The existence of primitive normal elements of quadratic forms over finite fields
• Finite field extensions with the line or translate property for \(r\)-primitive elements
• The existence of \(\mathbb{F}_q\)-primitive points on curves using freeness
• On the existence of primitive normal elements of rational form over finite fields of even characteristic
• On arithmetic progressions in finite fields

Cited In (10)

• Finite field extensions with the line or translate property for \(r\)-primitive elements
• Existence of rational primitive normal pairs over finite fields
• r -primitive k -normal elements in arithmetic progressions over finite fields
• On the existence of pairs of primitive and normal elements over finite fields
• Primitive normal values of rational functions over finite fields
• On \(r\)-primitive \(k\)-normal elements with prescribed norm and trace over finite fields
• On the existence of \(r\)-primitive pairs \((\alpha, f(\alpha))\) in finite fields
• On \(r\)-primitive \(k\)-normal elements over finite fields
• About \(r\)-primitive and \(k\)-normal elements in finite fields
• Inverses of \(r\)-primitive \(k\)-normal elements over finite fields

This page was built for publication: Pairs of \(r\)-primitive and \(k\)-normal elements in finite fields

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