perfect field

DEFINITION 1.2   A field $k$ of characteristic $p\neq 0$ is called perfect if the Frobenius homomorphism

$$k \ni x\to x^p \in k$$

is surjective.