matlab有限域多项式除法_域论和Galois理论(3): 有限域的存在唯一性, Frobenius自同构...

内容提要:

1 有限域的初步讨论; 2 有限域的存在唯一性; 3 有限域的Frobenius自同构; 本文主要参考文献.

本文的前置内容为:

格罗卜：域论和Galois理论(1): 基本内容

格罗卜：域论和Galois理论(2): 代数闭包, 分裂域与正规扩张

本文之后请继续食用:

格罗卜：域论和Galois理论(4): 可分扩张

格罗卜：域论和Galois理论(7): 有限域的平方元

更多内容，请移步专栏目录:

格罗卜：格罗卜的数学乐园-目录​zhuanlan.zhihu.com

1 有限域的初步讨论

1-1. 特征为

的有限域

如果存在, 则它的元素个数一定为为

.

[证明] 有限域的特征为

, 则有素域

, 并且这个扩张是有限扩张. 因此元素个数一定为为

.

1-2. [记号] 用

表示

个元素的有限域.

注: 此时我们暂时并没证明

个元素的有限域的

存在性和 唯一性.

1-3.

的元素都为

的根, 且为全部根.

[证明]

的阶为

，故对于

,

, 由于

最多有

个根，证毕.

1-4.

是循环群.

[证明] 由有限生成abelian群的结构定理

并且

,

,

故