Search

Let $r$ be a positive divisor of $q-1$ and $f(x,y)$ a rational function of degree sum $d$ over $\mathbb{F}_q$ with some restrictions, where the degree sum of a rational function $f(x,y) = f_1(x,y)/f_2(x,y)$ is the sum of the degrees of $f_1(x,y)$ and $f_2(x,y)$. In this article, we discuss the existence of triples $(\alpha, \beta, f(\alpha, \beta))$ over $\mathbb{F}_q$, where $\alpha, \beta$ are primitive and $f(\alpha, \beta)$ is an $r$-primitive element of $\mathbb{F}_q$. In particular, this implies the existence of $\mathbb{F}_q$-primitive points on the surfaces of the form $z^r = f(x,y)$. As an example, we apply our results on the unit sphere over $\mathbb{F}_q$., Comment: 8 pages

This article investigates the existence of an $r$-primitive $k$-normal polynomial, defined as the minimal polynomial of an $r$-primitive $k$-normal element in $\mathbb{F}_{q^n}$, with a specified degree $n$ and two given coefficients over the finite field $\mathbb{F}_{q}$. Here, $q$ represents an odd prime power, and $n$ is an integer. The article establishes a sufficient condition to ensure the existence of such a polynomial. Using this condition, it is demonstrated that a $2$-primitive $2$-normal polynomial of degree $n$ always exists over $\mathbb{F}_{q}$ when both $q\geq 11$ and $n\geq 15$. However, for the range $10\leq n\leq 14$, uncertainty remains regarding the existence of such a polynomial for $71$ specific pairs of $(q,n)$. Moreover, when $q<11$, the number of uncertain pairs reduces to $16$. Furthermore, for the case of $n=9$, extensive computational power is employed using SageMath software, and it is found that the count of such uncertain pairs is reduced to $3988$., Comment: 27 pages, 3 Tables

Let $q$ be a positive integral power of some prime $p$ and $\mathbb{F}_{q^m}$ be a finite field with $q^m$ elements for some $m \in \mathbb{N}$. Here we establish a sufficient condition for the existence of primitive normal pairs of the type $(\epsilon, f(\epsilon))$ in $\mathbb{F}_{q^m}$ over $\mathbb{F}_{q}$ with two prescribed traces, $Tr_{{\mathbb{F}_{q^m}}/{\mathbb{F}_q}}(\epsilon)=a$ and $Tr_{{\mathbb{F}_{q^m}}/{\mathbb{F}_q}}(f(\epsilon))=b$, where $f(x) \in \mathbb{F}_{q^m}(x)$ is a rational function with some restrictions and $a, b \in \mathbb{F}_q$. Furthermore, for $q=5^k$, $m \geq 9$ and rational functions with degree sum 4, we explicitly find at most 12 fields in which the desired pair may not exist.

Let $q, n, m \in \mathbb{N}$ be such that $q$ is a prime power and $a, b \in \mathbb{F}$. In this article we establish a sufficient condition for the existence of a primitive normal pair $(\alpha, f(\alpha)) \in \mathbb{F}_{q^m}$ over $\mathbb{F}$ with a prescribed primitive norm $a$ and a non-zero trace $b$ over $\mathbb{F}$ of $\alpha$, where $f(x) \in \mathbb{F}_{q^m}(x)$ is a rational function of degree sum $n$ with some minor restrictions. Furthermore, for $q=7^k$, $m \geq 7$ and rational functions with numerator and denominator being linear, we explicitly find at most 6 fields in which the desired pair may not exist., Comment: 16 pages

Given a prime power $q$ and a positive integer $n$, let $\mathbb{F}_{q^{n}}$ represents a finite extension of degree $n$ of the finite field ${\mathbb{F}_{q}}$. In this article, we investigate the existence of $m$ elements in arithmetic progression, where every element is primitive and at least one is normal with prescribed norms. Moreover, for $n\geq6,q=3^k,m=2$ we establish that there are only $10$ possible exceptions.

Let $q, n, m \in \mathbb{N}$ such that $q$ is a prime power, $m \geq 3$ and $a \in \mathbb{F}$. We establish a sufficient condition for the existence of a primitive normal pair ($\alpha$, $f(\alpha)$) in $\mathbb{F}_{q^m}$ over $\mathbb{F}_{q}$ such that Tr$_{\mathbb{F}_{q^m}/\mathbb{F}_{q}}(\alpha^{-1})=a$, where $f(x) \in \mathbb{F}_{q^m}(x)$ is a rational function with degree sum $n$. In particular, for $q=5^k, ~k \geq 5$ and degree sum $n=4$, we explicitly find at most 11 choices of $(q, m)$ where existence of such pairs is not guaranteed., Comment: 19 pages

Given $\mathbb{F}_{q^{n}}$, a field with $q^n$ elements, where $q $ is a prime power and $n$ is positive integer. For $r_1,r_2,m_1,m_2 \in \mathbb{N}$, $k_1,k_2 \in \mathbb{N}\cup \{0\}$, a rational function $F = \frac{F_1}{F_2}$ in $\mathbb{F}_{q}[x]$ with deg($F_i$) $\leq m_i$; $i=1,2,$ satisfying some conditions, and $a,b \in \mathbb{F}_{q}$, we construct a sufficient condition on $(q,n)$ which guarantees the existence of an $r_1$-primitive, $k_1$-normal element $\epsilon \in \mathbb{F}_{q^n}$ such that $F(\epsilon)$ is $r_2$-primitive, $k_2$-normal with $\operatorname{Tr}_{\mathbb{F}_{q^n}/\mathbb{F}_q}(\epsilon) = a$ and $\operatorname{Tr}_{\mathbb{F}_{q^n}/\mathbb{F}_q}(\epsilon^{-1}) = b$. For $m_1=10, \; m_2=11,\; r_1 = 3, \; r_2 = 2, \; k_1=2,\;k_2 = 1$, we establish bounds on $q$, for various $n$, to determine the existence of such elements in $\mathbb{F}_{q^{n}}$. Furthermore, we identify all such pairs $(q,n)$ excluding 10 possible values of $(q,n)$, in fields of characteristics 13.

Let $\mathbb{F}_{q^n}$ be a finite field with $q^n$ elements. For a positive divisor $r$ of $q^n-1$, the element $\alpha \in \mathbb{F}_{q^n}^*$ is called \textit{$r$-primitive} if its multiplicative order is $(q^n-1)/r$. Also, for a non-negative integer $k$, the element $\alpha \in \mathbb{F}_{q^n}$ is \textit{$k$-normal} over $\mathbb{F}_q$ if $\gcd(\alpha x^{n-1}+ \alpha^q x^{n-2} + \ldots + \alpha^{q^{n-2}}x + \alpha^{q^{n-1}} , x^n-1)$ in $\mathbb{F}_{q^n}[x]$ has degree $k$. In this paper we discuss the existence of elements in arithmetic progressions $\{\alpha, \alpha+\beta, \alpha+2\beta, \ldots\alpha+(m-1)\beta\} \subset \mathbb{F}_{q^n}$ with $\alpha+(i-1)\beta$ being $r_i$-primitive and at least one of the elements in the arithmetic progression being $k$-normal over $\mathbb{F}_q$. We obtain asymptotic results for general $k, r_1, \dots, r_m$ and concrete results when $k = r_i = 2$ for $i \in \{1, \dots, m\}$., Comment: To appear in Communications in Algebra. arXiv admin note: substantial text overlap with arXiv:2210.11504

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 $\alpha \in \mathbb{F}_{q^n}^*$ is called $r$-primitive if its multiplicative order is $(q^n-1)/r$. Also, $\alpha \in \mathbb{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}+ \alpha^q x^{n-2} + \ldots + \alpha^{q^{n-2}}x + \alpha^{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) \in \mathbb{F}_{q^n}(x)$ with $\deg(F_i) \leq m_i$ for $i\in\{ 1,2\}$ satisfying certain conditions and we present sufficient conditions for the existence of $r_1$-primitive $k_1$-normal elements $\alpha \in \mathbb{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 $n \ge 7$.

In this article, we establish a sufficient condition for the existence of primitive element $\alpha\in \Fm$ is such that $f(\alpha)$ is also primitive element of $\Fm$ and $Tr_{\Fm/\F}(\alpha)=\beta$, for any prescribed $\beta\in\F$, where $f(x)= ax^2 + bx + c\in \Fm(x)$ such that $b^2-4ac\neq 0$. We conclude that, for $m\geq 5$ there is only one exceptional pair $(q,m)$ which is $(2,6)$.

In 2013, Huczynska, Mullen, Panario and Thomson introduced the concept of $k$-normal elements: an element $\alpha \in \mathbb{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}+\alpha^qx^{n-2}+\ldots +\alpha^{q^{n-2}}x+\alpha^{q^{n-1}}$ and $x^n-1$ in $\mathbb{F}_{q^n}[x]$ has degree $k$, generalizing the concept of normal elements (normal in the usual sense is $0$-normal). In this paper we discuss the existence of $r$-primitive, $k$-normal elements in $\mathbb{F}_{q^n}$ over $\mathbb{F}_{q}$, where an element $\alpha \in \mathbb{F}_{q^n}^*$ is $r$-primitive if its multiplicative order is $\frac{q^n-1}{r}$. We provide many general results about the existence of this class of elements and we work a numerical example over finite fields of characteristic $11$.

An element $\alpha \in \mathbb{F}_{q^n}$ is normal over $\mathbb{F}_q$ if $\mathcal{B}=\{\alpha, \alpha^q, \alpha^{q^2}, \cdots, \alpha^{q^{n-1}}\}$ forms a basis of $\mathbb{F}_{q^n}$ as a vector space over $\mathbb{F}_q$. It is well known that $\alpha \in \mathbb{F}_{q^n}$ is normal over $\mathbb{F}_q$ if and only if $g_{\alpha}(x)=\alpha x^{n-1}+\alpha^q x^{n-2}+ \cdots + \alpha^{q^{n-2}}x+\alpha^{q^{n-1}}$ and $x^n-1$ are relatively prime over $\mathbb{F}_{q^n}$, that is, the degree of their greatest common divisor in $\mathbb{F}_{q^n}[x]$ is $0$. Using this equivalence, the notion of $k$-normal elements was introduced in Huczynska et al. ($2013$): an element $\alpha \in \mathbb{F}_{q^n}$ is $k$-normal over $\mathbb{F}_q$ if the greatest common divisor of the polynomials $g_{\alpha}[x]$ and $x^n-1$ in $\mathbb{F}_{q^n}[x]$ has degree $k$; so an element which is normal in the usual sense is $0$-normal. Huczynska et al. made the question about the pairs $(n,k)$ for which there exist primitive $k$-normal elements in $\mathbb{F}_{q^n}$ over $\mathbb{F}_q$ and they got a partial result for the case $k=1$, and later Reis and Thomson ($2018$) completed this case. The Primitive Normal Basis Theorem solves the case $k=0$. In this paper, we solve completely the case $k=2$ using estimates for Gauss sum and the use of the computer, we also obtain a new condition for the existence of $k$-normal elements in $\mathbb{F}_{q^n}$.

Let $\mathbb{F}_{q^n}$ be a finite field with $q^n$ elements, and let $m_1$ and $m_2$ be positive integers. Given polynomials $f_1(x), f_2(x) \in \mathbb{F}_q[x]$ with $\textrm{deg}(f_i(x)) \leq m_i$, for $i = 1, 2$, and such that the rational function $f_1(x)/f_2(x)$ belongs to a certain set which we define, we present a sufficient condition for the existence of a primitive element $\alpha \in \mathbb{F}_{q^n}$, normal over $\mathbb{F}_q$, such that $f_1(\alpha)/f_2(\alpha)$ is also primitive.

Let $q$ be an even prime power and $m\geq2$ an integer. By $\mathbb{F}_q$, we denote the finite field of order $q$ and by $\mathbb{F}_{q^m}$ its extension degree $m$. In this paper we investigate the existence of a primitive normal pair $(\alpha, \, f(\alpha))$, with $f(x)= \dfrac{ax^2+bx+c}{dx+e} \in \mathbb{F}_{q^m}(x)$, where the rank of the matrix $F= \begin{pmatrix}a \, &b\, & c\\ 0\, &d \, &e \end{pmatrix}$ $\in M_{2 \times 3}(\Fm) $ is 2. Namely, we establish sufficient conditions to show that nearly all fields of even characteristic possess such elements, except for $\begin{pmatrix} 1 \, &1 \, & 0\\ 0\, &1 \, &0 \end{pmatrix}$ if $q=2$ and $m$ is odd, and then we provide an explicit list of possible and genuine exceptional pairs $(q,m)$., Comment: 24 pages. arXiv admin note: text overlap with arXiv:2001.06977

For $q=3^r$ ($r>0$), denote by $\mathbb{F}_q$ the finite field of order $q$ and for a positive integer $m\geq2$, let $\mathbb{F}_{q^m}$ be its extension field of degree $m$. We establish a sufficient condition for existence of a primitive normal element $\alpha$ such that $f(\alpha)$ is a primitive element, where $f(x)= ax^2+bx+c$, with $a,b,c\in \mathbb{F}_{q^m}$ satisfying $b^2\neq ac$ in $\Fm$ except for at most 9 exceptional pairs $(q,m)$., Comment: 15 pages