English

$r$-primitive $k$-normal elements in arithmetic progressions over finite fields

Number Theory 2023-08-01 v2

Abstract

Let Fqn\mathbb{F}_{q^n} be a finite field with qnq^n elements. For a positive divisor rr of qn1q^n-1, the element αFqn\alpha \in \mathbb{F}_{q^n}^* is called \textit{rr-primitive} if its multiplicative order is (qn1)/r(q^n-1)/r. Also, for a non-negative integer kk, the element αFqn\alpha \in \mathbb{F}_{q^n} is \textit{kk-normal} over Fq\mathbb{F}_q if gcd(αxn1+αqxn2++αqn2x+αqn1,xn1)\gcd(\alpha x^{n-1}+ \alpha^q x^{n-2} + \ldots + \alpha^{q^{n-2}}x + \alpha^{q^{n-1}} , x^n-1) in Fqn[x]\mathbb{F}_{q^n}[x] has degree kk. In this paper we discuss the existence of elements in arithmetic progressions {α,α+β,α+2β,α+(m1)β}Fqn\{\alpha, \alpha+\beta, \alpha+2\beta, \ldots\alpha+(m-1)\beta\} \subset \mathbb{F}_{q^n} with α+(i1)β\alpha+(i-1)\beta being rir_i-primitive and at least one of the elements in the arithmetic progression being kk-normal over Fq\mathbb{F}_q. We obtain asymptotic results for general k,r1,,rmk, r_1, \dots, r_m and concrete results when k=ri=2k = r_i = 2 for i{1,,m}i \in \{1, \dots, m\}.

Keywords

Cite

@article{arxiv.2211.02114,
  title  = {$r$-primitive $k$-normal elements in arithmetic progressions over finite fields},
  author = {Josimar J. R. Aguirre and Abílio Lemos and Victor G. L. Neumann and Sávio Ribas},
  journal= {arXiv preprint arXiv:2211.02114},
  year   = {2023}
}

Comments

To appear in Communications in Algebra. arXiv admin note: substantial text overlap with arXiv:2210.11504

R2 v1 2026-06-28T05:08:44.203Z