Definition 5.1 (Perfect). A ring $R$ of characteristic $p>0$ (prime) is a perfect ring if the Frobenius $x\mapsto x^p$ is a bijection. A field of characteristic $p$ is a perfect field if it is perfect as a ring.