Frobenius automorphism

For a finite field $k$ of characteristic $p$, the Frobenius automorphism $F$ is a field automorphism defined by \[F(a) = a^p\] for all $a \in k$.

The Frobenius automorphism is a case of the Frobenius endomorphism of commutative rings.

This article is a stub. Help us out by expanding it.