Field theory MOC

Frobenius endomorphism

Let be a field of prime characteristic . The Frobenius endomorphism is defined by #m/def/field

which is indeed an endomorphism by the Freshman's dream. This is surjective, and thus a Frobenius automorphism, precisely when is a Perfect field.

#state/tidy | #lang/en | #SemBr