$r$-primitive $k$-normal polynomials over finite fields with last two coefficients prescribed
本文研究有限域上最后两个系数给定的r-本原k-正规多项式的存在性,证明了其存在的充分条件,并计算了m≥7时3-本原1-正规多项式的所有例外对(q,m)。
2025-04-16 math.NT
Existence of Primitive Normal Pairs with One Prescribed Trace over Finite Fields
给定$m, n, q\in \mathbb{N}$使得$q$是素数幂,且$m\geq 3$,$a\in \mathbb{F}_q$,我们建立了$\mathbb{F}_{q^m}$中存在本原对$(α, f(α))$使得$α$在$\mathbb{F}_q$和$\text{Tr}_{\mathbb{F}_{q^m}/\mathbb{F}_q}(α^{-1})=a$上正规的充分条件,其中$f(x)\in \mathbb{F}_{q^m}(x)$是度和$n$的有理函数.此外,当$n=2$和$q=5^k$用于某些$k\in \mathbb{N}$时,除了最多$20$选择之外,对于所有$(q, m)$肯定存在这样的对。
2021-01-20 math.NT
Existence of primitive pairs with two prescribed traces over finite fields
给定$F= \mathbb{F}_{p^{t}}$,一个具有$p^t$元素的域,其中$p $是素数幂,$t\geq 7$,$n$是正整数,$f=f_1/f_2$是有理函数,其中$f_1, f_2$是相对素数,不可约多项式,其中$deg(f_1) + deg(f_2) = n $在$F[x]$中。我们构造了一个关于$(p,t)$的充分条件,它保证了$(ε, f(ε))$存在于$F$中,使得对于任意给定的$a,b \in \mathbb{F}_{p}$,$Tr_{\mathbb{F}_{p^t}/\mathbb{F}_p}(ε) = a$和$Tr_{\mathbb{F}_{p^t}/\mathbb{F}_p}(f(ε)) = b$都是存在的.此外,我们证明了任何正整数$n$,这样的一对肯定存在大$t$。当$n = 2$被单独处理时,我们验证了除了$p$的可能的71个值之外,所有$(p,t)$都存在这样的对。并给出了$n=3$情形的一个结果。
2023-01-06 math.NT
Primitive normal Values of rational functions with one prescribed norm and trace over finite fields
本文研究有限域扩展中本原正规对的存在性,证明带指定本原范数与非零迹的有理函数值存在的充分条件,并界定少数潜在例外域。
2024-05-08 math.NT
Primitive element pairs with a prescribed trace in the cubic extension of a finite field
证明了对任意素数幂$q\notin\{3,4,5\}$,有限域$\mathbb{F}_q$的三次扩张$\mathbb{F}_{q^3}$包含一个本原元$ξ$,使得$ξ+ξ^{-1}$也是本原元,并且对任意指定的$a\in\mathbb{F}_q$都包含$\textrm{Tr}_{\mathbb{F}_{q^3}/\mathbb{F}_q}(ξ)=a$.这就完成了古普塔、夏尔马和科恩关于任意度扩张$n\ge3$上的类似问题的猜想的证明。
2022-02-02 math.NT math.RA
Primitive Element Pairs with One Prescribed Trace over a Finite Field
本文建立了存在本原元$α\in {\mathbb{F}_{q^n}}$的一个充分条件,使得对于任意给定的$a \in \mathbb{F}_q$,$α+α^{-1}$也是${\mathbb{F}_{q^n}},$和$Tr_{\mathbb{F}_{q^n}|\mathbb{F}_{q}}(α)=a$的本原元,其中$q=p^k$对某些素数$p$和正整数$k$ .我们证明了除了$q$和$n$的两个值之外,每个有限域$\mathbb{F}_{q^n}~ (n \geq5),$都包含这样的本原元。实际上,通过计算,我们得出结论,对于$n\geq5.$,不存在实际的例外对$(q,n)$
2018-03-28 math.NT math.RA
The trace of primitive and $2$-primitive elements in finite fields, revisited
根据定义,有限域扩张$\mathbb{F}_{q^n}$的本原元和$2$ -本原元的阶分别为$q^n-1$和$(q^n-1)/2$。我们已经证明了,在基域$\mathbb{F}_q$中存在一个本原元和一个具有规定迹的$2$ -本原元$ξ\in \mathbb{F}_{q^n}$.在这里,我们修改我们以前的这些结果的证明,首先,减少这些问题的延伸素数度$n$,其次,通过推导出一个确切的表达式的平方数在$\mathbb{F}_{q^n}$的轨迹具有规定的值在$\mathbb{F}_q$。后者纠正了$2$ -本原元的证明中的一个错误。我们还简化了必要的计算。
2021-08-18 math.NT
Primitive elements with prescribed traces
给定一个素数幂$q$和一个正整数$n$,令$\mathbb{F}_{q^{n}}$表示具有$q^n$元素的有限域。还令$a,b$为基域$\mathbb{F}_{q}$的任意成员。我们研究了非零元素$ξ\in \mathbb{F}_{q^{n}}$的存在性,使得$ξ+ ξ^{-1}$是本原的,并且是$T(ξ)=a, T(ξ^{-1})=b$,其中$T(ξ)$表示$ξ$在$\mathbb{F}_{q}$中的迹.这是曹和王在2014年打算解决的问题。他们的工作是处理另一个问题已经在文献中。我们的解决方案涉及$n \geq 5$的所有值。相关研究涉及$\mathbb{F}_{q}$的立方扩展$\mathbb{F}_{q^{3}}$。我们表明,如果$q\geq 8\cdot 10^{12}$然后,对于任何$a\in \mathbb{F}_{q}$,我们可以找到一个原始元素$ξ\in \mathbb{F}_{q^{3}}$,使$ξ+ ξ^{-1}$也是一个原始元素的$\mathbb{F}_{q^{3}}$,并为其中的迹$ξ$等于$a$。这改进了Cohen和Gupta的结果。一路上,我们证明了一个混合下界素因子在各种剩余类,这可能是相关的存在性问题的兴趣。
2022-03-27 math.NT
Primitive normal pairs of elements with one prescribed trace
本文研究有限域上具有指定迹的素元正规对的存在性,给出充分条件,并针对特定参数明确至多11个例外情形。
2024-11-08 math.NT
Primitive normal pairs with prescribed traces over finite fields
本文研究有限域上具有两个指定迹的本原正规对存在性,给出充分条件,并针对特定参数情形确定了至多12个可能不存在的域。
2024-11-23 math.NT
On $r$-primitive $k$-normal polynomials with two prescribed coefficients
本文研究了有限域上具有指定次数和两个给定系数的 $r$-本原 $k$-正规多项式的存在性,建立了充分条件并利用SageMath计算验证了特定参数下的存在情况与不确定对数量。
2024-05-31 math.NT
A primitive normal pair in a finite field with prescribed traces and norms
本文研究了有限域中具有指定迹和范数的本原正规对的存在性问题,构造了保证多项式生成的本原正规对存在的充分条件,并证明了特定参数下仅有4种可能例外。
2024-06-05 math.NT
Primitive pairs of rational functions with prescribed traces over finite fields
本文研究有限域上有理函数本原对的构造问题,建立了在指定迹条件下存在本原对 $(f(ε), g(ε))$ 的充分条件,并显式计算了次数和为 3 时的例外情形。
2024-11-23 math.NT
Existence of primitive normal pairs over finite fields with prescribed subtrace
本文研究有限域上具有指定子迹的原始正规对的存在性,证明了在特定条件下($m=2$,$n\geq 6$,$q=7^k$)除至多11种例外情况外,这样的对必然存在。
2025-04-21 math.NT
Generators of finite fields with prescribed traces
本文研究了有限域扩张中的本原元的存在性和分布,其中在若干中间域扩张中具有预定迹。我们的主要结果提供了一个类似不等式的条件,以确保这些元素的存在。然后,我们得到具体的存在性结果一类特殊的中间扩张。
2021-05-07 math.NT
Existence of normal elements with prescribed norms
本文结合组合与数论方法,探讨了在中间扩张上范数被预先指定的正规元素的存在性,并完全解决了仅考虑单一中间扩张情形下的该问题。
2024-12-19 math.NT
Variations of the Primitive Normal Basis Theorem
著名的本原正规基定理指出,对于任何$n\ge 2$和任何有限域$\mathbb F_q$,存在一个元素$α\in \mathbb F_{q^n}$,它在$\mathbb F_q$上同时是本原的和正规的。在本文中,我们证明了这个结果的一些变化,完成了Anderson和Mullen(2014)提出的猜想的证明。我们的结果还暗示了$\mathbb F_{q^n}$中存在具有乘阶$(q^n-1)/2$和$\mathbb F_q$上的预定迹的元素.
2017-12-28 math.NT
On the number of $N$-free elements with prescribed trace
本文导出了有限域$\mathbb{F}_q$上具有给定迹,特别是迹为零的无$N$元个数的高斯周期公式。因此,我们得出一个简单的显式公式的原始元素的数量,在四次扩展的梅森素数领域,具有绝对的迹零。在$Q = (q^m-1)/(q-1)$是素数的情况下,我们也给出了一个简单的公式.更一般地,对于正整数$N$,若其素因子整除$Q$且满足所谓的半本原条件,我们给出了具有任意迹的无$N$元素个数的显式公式.另外,我们证明了如果$q-1$的所有素因子整除$m$,则具有规定非零迹的$\mathbb{F}_{q^m}$中的本原元数是均匀分布的.最后,我们探讨了$\mathbb{F}_{q^m}$中具有乘法阶$N$且具有迹$c \in \mathbb{F}_q$的元素的相关数$P_{q, m, N}(c)$。令$N \mid q^m-1$使得$L_Q \mid N$,其中$L_Q$是$q^m-1$的最大因子,其具有与$Q$相同的根。我们证明了在$\mathbb{F}_{q^m}^*$中存在一个具有迹$0$的(大)阶$N$的元素当且仅当$m \neq 2$和$(q,m) \neq (4,3)$ .此外,我们还导出了$\mathbb{F}_{p^4}$中对应于大序$L_Q = 2(p+1)(p^2+1)$且具有绝对迹零的元素个数的显式公式,其中$p$是Mersenne素数.
2015-08-12 math.NT
On the Coefficients of Primitive Normal polynomials
文[4]证明了在有限域GF(q)中,对任意大的q,存在n次的具有k个给定系数的本原多项式和本原正规多项式。本文给出了关于本原正规多项式的一个结果的更好的形式。
2005-10-01 math.CO math.NT
On the number of linear spaces on hypersurfaces with a prescribed discriminant
对于一个给定的形式$F\in \mathbb Z[x_1,\dots,x_s]$,我们应用圆方法,给出了在超曲面$F(\mathbf x) = 0$上具有$\det ( (\mathbf x_1, \dots, \mathbf x_m)^t \, (\mathbf x_1, \dots, \mathbf x_m)) = b$性质的线性空间上的$m$ -元组$\mathbf x_1, \dots, \mathbf x_m$的个数的渐近估计.这使得我们在某种程度上可以计算超曲面上的有理线性空间,这些超曲面的基础整数格是本原的。
2017-07-24 math.NT
On pairs of $r$-primitive and $k$-normal elements with prescribed traces over finite fields
Indian Institute of Technology Delhi(印度理工学院德里分校)
本文研究有限域中同时满足指定迹、有理函数像及本原、正规约束的元素对,给出充分条件,并在固定参数下确定特征13域中除10个例外外的所有 $(q,n)$。
2026-10-30 math.NT
The trace of 2-primitive elements of finite fields (amended version)
设$q$是素数幂,$n, r$是整数,使得$r\mid q^n-1$ .乘法阶$(q^n-1)/r$的$\mathbb{F}_{q^n}$的元素称为\emph{$r$-primitive}。对任意奇素数幂$q$,证明了当$n\geq 3$为$\mathbb{F}_{q^n}$时,存在一个$2$ -本原元,其迹为任意给定的$\mathbb{F}_q$迹。此外,我们明确地描述了这些元素的轨迹可能具有的值时,$n=2$。这个修正版本的一个特点是减少了对素数度$n$的讨论。
2021-01-19 math.NT
Arithmetic progression in a finite field with prescribed norms
本文研究了在有限域 $\mathbb{F}_{q^{n}}$ 中,由本原元构成且至少包含一个具有指定范数的正规元的算术级数的存在性,并证明了在特定参数下仅有10种可能例外。
2024-01-07 math.NT
Arbitrarily Many Primitive Prime Divisors in an Iterate of $x^d+c$
University of South Carolina(南卡罗来纳大学)
该研究证明单临界多项式$x^d+c$的临界轨道第$n$项的本原素因子个数无一致界,可构造参数使该项含任意多个本原素因子,还应用于得到分裂域的最大次数。
2026-10-27 math.DS math.NT
Primitive Quadratic Polynomials in Additive Coset Families
College of Science, North China University of Technology(华北理工大学理学院)
该研究针对奇素数幂\textit{q}>204931的情况,结合特征和估计、改进素数筛法及精确有限计算,证明了Gow–McGuire关于本原二次多项式的猜想3,同时也证明了该范围内的猜想1和2。
2026-08-12 math.NT