arithmetic Frobenius