Frobenius 自己同型・共役元

$K \subseteq F$ を有限体の拡大、$|K| = q$ とする。写像 $\sigma_q : F \to F$, $\sigma_q(a) = a^q$ を（$K$ 上の）Frobenius 自己同型という。$a \in F$ に対し、$a, a^q, a^{q^2}, \ldots$ を $a$ の $K$ 上の共役元という。