Definition of "Frobenius"