Perfect field
= Perfect field
{wiki}
A field is perfect when every algebraic extension is separable. In positive characteristic $p$, this is equivalent to surjectivity of the <Frobenius endomorphism> $x\mapsto x^p$; every <finite field> is perfect.