Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userOn the existence of pairs of primitive and normal elements over finite fields
123
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
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.
rate research
Read More
By definition primitive and $2$-primitive elements of a finite field extension $mathbb{F}_{q^n}$ have order $q^n-1$ and $(q^n-1)/2$, respectively. We have already shown that, with minor reservations, there exists a primitive element and a $2$-primitive element $xi in mathbb{F}_{q^n}$ with prescribed trace in the ground field $mathbb{F}_q$. Here we amend our previous proofs of these results, firstly, by a reduction of these problems to extensions of prime degree $n$ and, secondly, by deriving an exact expression for the number of squares in $mathbb{F}_{q^n}$ whose trace has prescribed value in $mathbb{F}_q$. The latter corrects an error in the proof in the case of $2$-primitive elements. We also streamline the necessary computations.
We give a simple derivation of the formula for the number of normal elements in an extension of finite fields. Our proof is based on the fact that units in the Galois group ring of a field extension act simply transitively on normal elements.
Numerical ranges over a certain family of finite fields were classified in 2016 by a team including our fifth author. Soon afterward, in 2017 Ballico generalized these results to all finite fields and published some new results about the cardinality of the finite field numerical range. In this paper we study the geometry of these finite fields using the boundary generating curve, first introduced by Kippenhahn in 1951. We restrict our study to square matrices of dimension 2, with at least one eigenvalue in $mathbb F_{q^2}$.
Let $C$ be a smooth projective curve over $mathbb{F}_q$ with function field $K$, $E/K$ a nonconstant elliptic curve and $phi:mathcal{E}to C$ its minimal regular model. For each $Pin C$ such that $E$ has good reduction at $P$, i.e., the fiber $mathcal{E}_P=phi^{-1}(P)$ is smooth, the eigenvalues of the zeta-function of $mathcal{E}_P$ over the residue field $kappa_P$ of $P$ are of the form $q_P^{1/2}e^{itheta_P},q_{P}e^{-itheta_P}$, where $q_P=q^{deg(P)}$ and $0letheta_Plepi$. The goal of this note is to determine given an integer $Bge 1$, $alpha,betain[0,pi]$ the number of $Pin C$ where the reduction of $E$ is good and such that $deg(P)le B$ and $alphaletheta_Plebeta$.
If the $ell$-adic cohomology of a projective smooth variety, defined over a $frak{p}$-adic field $K$ with finite residue field $k$, is supported in codimension $ge 1$, then any model over the ring of integers of $K$ has a $k$-rational point. This slightly improves our earlier result math/0405318: we needed there the model to be regular (but then our result was more general: we obtained a congruence for the number of points, and $K$ could be local of characteristic $p>0$).
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
