数学 > 数论
[提交于 2025年5月1日
(此版本)
, 最新版本 2025年7月1日 (v2)
]
标题: 希尔伯特第90定理,周期性,以及阿廷-施赖尔多项式的根
标题: Hilbert's Theorem 90, periodicity, and roots of Artin-Schreier polynomials
摘要: 设$E/F$是一个度数为$n$的循环域扩张,并且让$\sigma$生成群 Gal$(E/F)$。如果 Tr${}^E_F(y)=\sum_{i=0}^{n-1}\sigma^i y=0$,那么希尔伯特第90定理的加性形式断言存在某个$x\in E$使得$y=\sigma x-x$。 假设$E$的特征是$p$。 我们证明了$x$导致一个周期序列$x_0,x_1,\dots$,该序列的周期为$pn_p$,其中 $n_p$是能整除$n$的最大的$p$次幂。 作为应用,我们找到了Artin-Schreier多项式$t^p-t-y$根的闭式表达。 令$y$位于阶为$p^n$的有限域$F_{p^n}$中。Artin-Schreier 多项式$t^p-t-y\in F_{p^n}[t]$恰当在$\sum_{i=0}^{n-1}y^{p^i}=0$时可约。 在这种情况下,$t^p-t-y=\prod_{k=0}^{p-1}(t-x-k)$其中$x=\sum_{i=0}^{n-1}\sum_{j=0}^{i-1}z^{p^j}y^{p^i}$对于某个$z\in F_{p^e}$和$e=n_p$。 序列$\left(\sum_{j=0}^{i-1}z^{p^j}\right)_{i\ge0}$是以$pe$为周期的,并且如果$e$很小,则我们给出显式的$z$。
文献和引用工具
与本文相关的代码,数据和媒体
alphaXiv (什么是 alphaXiv?)
CatalyzeX 代码查找器 (什么是 CatalyzeX?)
DagsHub (什么是 DagsHub?)
Gotit.pub (什么是 GotitPub?)
Hugging Face (什么是 Huggingface?)
带有代码的论文 (什么是带有代码的论文?)
ScienceCast (什么是 ScienceCast?)
演示
推荐器和搜索工具
arXivLabs:与社区合作伙伴的实验项目
arXivLabs 是一个框架,允许合作伙伴直接在我们的网站上开发和分享新的 arXiv 特性。
与 arXivLabs 合作的个人和组织都接受了我们的价值观,即开放、社区、卓越和用户数据隐私。arXiv 承诺这些价值观,并且只与遵守这些价值观的合作伙伴合作。
有一个为 arXiv 社区增加价值的项目想法吗? 了解更多关于 arXivLabs 的信息.