In commutative algebra and field theory, the Frobenius endomorphism (after Ferdinand Georg Frobenius) is a special endomorphism of commutative rings with prime characteristic p, an important class which includes finite fields. The endomorphism maps every element to its p-th power. In certain contexts it is an automorphism, but this is not true in general.
== Definition ==
Let R be a commutative ring with prime characteristic p (an integral domain of positive characteristic always has prime characteristic, for example). The Frobenius endomorphism F is defined by
for all r in R. Clearly th...