Separability and the Frobenius