本文探讨了有限域的基本性质，特别是有限域的特征，并通过域扩张理论证明了任意阶为p^n的有限域存在且在同构意义下唯一。还介绍了Frobenius自同构在有限域中的重要角色，以及可分扩张的概念，揭示了多项式的可分性和域扩张之间的紧密联系。
接着，我们来说说有限域以及可分扩张。
(默认
为素数，
为域)
关于域的基本知识：
域
的特征
指的是使得若干个
相加等于
的最少的
的个数。一个显然的结果是：域的特征必为素数。(否则说明特征仍可进行因数分解，利用域中非零元素可逆性从而与特征的最小性矛盾！)
两类最简单的域是：
，有理数域，其特征为
。
，有限域，特征为
。
而事实上，这两类域的作用绝非那么简单的，他们其实是素域，这意味着：任何无限域必定包含与
同构的子域，而任何特征
的有限域必定包含与
同构的子域。
对于
的素性的证明，构造映射
，
即可发现其为良定义的单同态。
同理，对于
，构造映射射
，
，可证明其为良定义的单同态且
。由同态基本定理，得证。
对于有限域，事情会变得更加有意思。
我从域扩张的角度考虑有限域的生成。若一个有限域的特征为
，则必由
扩张得到。这个扩张显然必须是个有限扩张。那么假设扩张次数
的话，即有
个
的
基，显然
。
我们利用域扩张，非常轻描淡写地证明了任意有限域的阶必为
最低0.47元/天 解锁文章
扫一扫
953
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
