اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدOn the existence of pairs of primitive and normal elements over finite fields
123
0
0.0
(
0
)
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
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.
قيم البحث
اقرأ أيضاً
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$-primiti
ve 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 sli
ghtly 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$).
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
