Frobenius automorphism

Summary