Related papers: Variations of the Primitive Normal Basis Theorem
Let $q=p^k$ be a prime power, let $n\geq2$ be an integer and let $\mathbb{F}_{q^n}$ be a finite field. It is shown that the set of primitive normal elements is a Salem set. Furthermore, it is proved that this set is strongly equidistributed…
Let $n\ge 2$ be an integer and let $\mathbb F_q$ be the finite field with $q$ elements, where $q$ is a prime power. Given $\mathbb F_q$-affine hyperplanes $\mathcal A_1, \ldots, \mathcal A_n$ of $\mathbb F_{q^n}$ in general position, we…
For $q$ an odd prime power with $q>169$ we prove that there are always three consecutive primitive elements in the finite field $\mathbb{F}_{q}$. Indeed, there are precisely eleven values of $q \leq 169$ for which this is false. For $4\leq…
For a finite field $\mathbf{F}_{q^r}$ with fixed $q$ and $r$ sufficiently large, we prove the existence of a primitive element outside of a set of $r$ many affine hyperplanes for $q=4$ and $q=5$. This complements earlier results by…
Let $q$ be a prime power and, for each positive integer $n\ge 1$, let $\mathbb F_{q^n}$ be the finite field with $q^n$ elements. Motivated by the well known concept of normal elements over finite fields, Huczynska et al (2013) introduced…
Given positive integers $q,n,m$ and $a\in\mathbb{F}_{q}$, where $q$ is an odd prime power and $n\geq 5$, we investigate the existence of a primitive normal pair $(\epsilon,f(\epsilon))$ in $\mathbb{F}_{q^{n}}$ over $\mathbb{F}_{q}$ such…
Given a prime power $q$ and a positive integer $n$, let $\mathbb{F}_{q^{n}}$ denote the finite field with $q^n$ elements. Also let $a,b$ be arbitrary members of the ground field $\mathbb{F}_{q}$. We investigate the existence of a non-zero…
Polynomials and elements over finite fields exhibit closely related algebraic structures, and many properties defined for elements extend naturally to polynomials. The concepts of order and $\mathbb{F}_q$-Order for elements have been…
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…
We prove that for any prime power $q\notin\{3,4,5\}$, the cubic extension $\mathbb{F}_{q^3}$ of the finite field $\mathbb{F}_q$ contains a primitive element $\xi$ such that $\xi+\xi^{-1}$ is also primitive, and…
We present computational results which strongly support a conjecture of Morgan and Mullen (1996), which states that for every extension $E/F$ of Galois fields there exists a primitive element of $E$ which is completely normal over $F$.
Let $F=\mathbb{F}_{q^m}$, $m>6$, $n$ a positive integer, and $f=p/q$ with $p$, $q$ co-prime irreducible polynomials in $F[x]$ and deg$(p)$ $+$ deg$(q)= n$. A sufficient condition has been obtained for the existence of primitive pairs…
Let $\Fm$ be finite fields of order $q^m$, where $m\geq 2$ and $q$, a prime power. Given $\F$-affine hyperplanes $A_1,\ldots, A_m$ of $\Fm$ in general position, we study the existence of primitive element $\alpha$ of $\Fm$, such that…
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…
Recently, the $k$-normal element over finite fields is defined and characterized by Huczynska et al.. In this paper, the characterization of $k$-normal elements, by using to give a generalization of Schwartz's theorem, which allows us to…
Let $\mathbb{F}_q$ be the finite field of $q$ elements, and let $k\mid q-1$ be a positive integer. Let $f(x)=ax^2+bx+c$ be a quadratic polynomial in $\mathbb{F}_q[x]$ with $b^2-4ac\ne0$. In this paper, we show that if…
For any positive integers $q$, $n$, $m$ with $q$ being a prime power and $n \geq 5$, we establish a condition sufficient to ensure the existence of a primitive normal pair $(\epsilon,f(\epsilon))$ in $\mathbb{F}_{q^{n}}$ over…
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…
We discuss the problem of constructing a small subset of a finite field containing primitive elements of the field. Given a finite field, $\mathbb{F}_{q^n}$, small $q$ and large $n$, we show that the set of all low degree polynomials…
The previous paper [4] proved the existence of primitive polynomials and primitive normal polynomials of degree n with k prescribed coefficients in the finite field GF(q) for all sufficiently large q. This paper presents a loger versions of…