Definition:Frobenius Homomorphism