Frobenius自同构

前言：仅个人小记。对于Frobenius自同构的讨论，我们会理解任意有限域中的任意元素必然存在唯一的特征次根。即有限域 F，特征为 p，则任意 F 中的元素必然存在唯一的 p 次根。同样也告诉我们，对整个有限域 F 做p次幂，得到的结果仍然是 F。由Frobenius自同构引出的更重要的是不可约多项式的共轭根的形式关系，这里对此不做讨论。

前要知识：

1. $aj\equiv imodn$，当$a\perp n$时,给定 i , a , n,则 j 有唯一解。

Frobenius 自同构

引入域$F$，域$F$的特征为$char(F)=p$，p为素数。域的元素个数必然为p的幂次方，记为 $p^n$。相应的域中乘法群的阶为$p^n-1$。

引入一个映射$\sigma$，定义为

$$\begin{gathered} \sigma :F\to F \\ \alpha \to {\alpha }^p,\alpha \in F \end{gathered}$$称映射$\sigma$为Frobenius自同构。
下面证明$\sigma$是一个自同构映射。证明一个映射是同构的，即先证明其为同态，然后证明其为双射。
证明同态：

$$\sigma (\alpha +\beta )=(\alpha +\beta {)}^p={\alpha }^p+{\beta }^p=\sigma (\alpha )+\sigma (\beta )$$所以满足加法同态。

$$\sigma (\alpha \beta )=(\alpha \beta {)}^p={\alpha }^p{\beta }^p=\sigma (\alpha )\sigma (\beta )$$所以满足乘法同态。下面再证明该映射是一个双射：
$\forall \beta \in F$，如果$\beta =x^p$有解，且解唯一，则证得$\sigma$为双射。
记域F的生成元为 g。则

$$\beta =x^p$$写作

$$g^i=g^{jp}$$进而

$$i\equiv jpmod(p^n-1)$$因为 p 为素数，所以必然有$$p\perp (p^n-1)$$进而 j 必然有唯一解。进而$\sigma$为双射。

综上，$\sigma$是一个同构映射，又因为映射两侧为同一个集合F，故而成这个同构映射为自同构。

基于Frobenius自同构讨论映射形成的循环群

引入一个集合 G = { σ , σ 2 , . . . , σ n } G=\{\sigma,\sigma^2,...,\sigma^n\} G={σ,σ2,...,σn}。其中元素$\sigma$是一个域$F_{p^n}上的$Frobenius自同构。
显然

$$\sigma (\alpha )={\alpha }^p,{\sigma }^2(\alpha )={\alpha }^{p^2},...,{\sigma }^n(\alpha )={\alpha }^{q^n},\alpha \in F_{p^n}$$因为$\alpha \in F_{p^n}$所以显然有

$${\alpha }^{p^n}={\alpha }^{p^n-1}\alpha =\alpha$$进而$${\sigma }^n(\alpha )={\alpha }^{p^n}=\alpha$$即$${\sigma }^n是一个恒同映射$$

下面证明G是循环群，$\sigma$是群G的生成元,G的群阶为$|G|=n$。
显然，因为${\sigma }^n$是恒同映射，所以

$$\forall {\sigma }^i\in G,{\sigma }^n({\sigma }^i(\alpha ))={\sigma }^i(\alpha )={\sigma }^i({\sigma }^n(\alpha ))$$所以${\sigma }^n$是幺元。
证明封闭性，$$\forall {\sigma }^i,{\sigma }^j\in G,{\sigma }^i({\sigma }^j(\alpha ))={\sigma }^{i+j}(\alpha )={\sigma }^{kn}{\sigma }^{(i+j)}(\alpha )={\sigma }^{(i+j)modn}(\alpha )\in G$$故而满足封闭性。
结合律显然成立。
证明可逆，显然

$$\forall {\sigma }^i\in G,{\sigma }^{n-i}\in G,{\sigma }^i{\sigma }^{n-i}={\sigma }^n=幺元$$
至此，已经证明出G是一个群。下面证明G是一个由$\sigma$生成的循环群。
显然，只需要证明${\sigma }^i\ne 1,0\le i<n$不是幺元即可，采用反正法证明。假设${\sigma }^i,0\le i<n$是幺元。即

$${\sigma }^i(\alpha )=\alpha ,0\le i<n$$则

$${\alpha }^{p^i}=\alpha ,i<n$$进而$${\alpha }^{p^i-1}=1,i<n$$因为$\alpha$具有任意性，即

$$\forall \alpha ,{\alpha }^{p^i-1}=1,i<n$$故而$F_{p^n}$中的任意元素$\alpha$的阶$o(\alpha )$满足

$$o(\alpha )\le p^{i-1}$$而$F_{p^n}$是域，所以必然有元素的阶为$$p^n-1>p^i-1$$进而矛盾，故而假设不成立，进而 G 是一个 n 阶循环群。

小结

显然群G很有特殊意义，即群G和域$F_{p^n}$紧密关联在一起。这是一个很精彩的群。