Frobenius map
Let be any field of characteristic , and suppose contains the finite field
of size , where . The power Frobenius map
on is the map defined by .
If is perfect, then is an automorphism
of which fixes , and accordingly is a member of the Galois group
.