有限域
有限域是元素数量有限的域；对于每个素数幂，都恰好存在一个这样的域，它具有丰富且在计算上很有用的结构。
用 PaperMind 寻找选题即将推出Find papers & topics
Tools & resources
Learn & explore
视频即将推出
Definition
有限域是包含有限个元素的域；其阶必然是素数的幂，并且它被构造为素域上适当多项式的分裂域。
Scope
本主题涵盖了有限域的特征和素子域、按素数幂阶分类、乘法群的循环结构、Frobenius自同构、子域结构，以及作为分裂域和多项式环商的有限域的构造。
Core questions
- 有限域可以有哪些阶？
- 给定阶的有限域如何分类？
- 有限域的乘法群结构是怎样的？
- Frobenius自同构和子域如何组织有限域？
Key theories
- 有限域的分类
- 对于每个素数幂，在同构意义下，恰好存在一个该阶的有限域，它被实现为以其元素为根的多项式的分裂域。
- 循环乘法群
- 有限域的非零元素在乘法下形成一个循环群，因此该域具有一个本原元，可以生成所有非零元素作为其幂。
- Frobenius自同构
- 将元素提升到特征素数幂是一种域自同构，即Frobenius映射，它生成有限域在其素域上的循环伽罗瓦群，并控制其子域结构。
Clinical relevance
有限域是编码理论和密码学的基础，其中Reed-Solomon码和其他纠错码、椭圆曲线密码系统以及高级加密标准都在有限域上进行计算；它也是组合学中有限几何和差集的基础。
History
伽罗瓦在研究同余时引入了素数幂阶域，因此有限域也称为伽罗瓦域。E. H. Moore于1893年证明，每个有限域都由其阶唯一确定（同构意义下），Dickson在20世纪初广泛发展了其理论。
Key figures
- Évariste Galois
- E. H. Moore
- Leonard Eugene Dickson
Related topics
Seminal works
- dummit2004
- lang2002
- hungerford1974
Frequently asked questions
- 为什么有限域的阶必须是素数幂？
- 有限域包含一个最小的子域，该子域同构于模素数的整数环（其特征），并且是该子域上的有限维向量空间。因此，其大小是该素数提升到维度次幂，即一个素数幂。
- 两个相同大小的有限域真的相同吗？
- 是的，在同构意义下。对于每个素数幂，都存在一个唯一的该阶有限域，这就是为什么它们可以用其大小明确表示。不同的构造，例如不同的不可约多项式，会产生同构的域。