1.Previous
3.Next

of all the terms except and are divisible by , and hence they vanish. Thus
:

This shows that F is a ring homomorphism.

If is a homomorphism of rings of characteristic , then
:If and are the Frobenius endomorphisms of and , then this can be rewritten as:
:This means that the Frobenius endomorphism is a natural transformation from the identity functor on the category

1.Previous
3.Next