A perfect field is a field 
such that every algebraic
extension is separable. Any field
in field characteristic zero, such as the
rationals or the p-adics,
or any finite field is a perfect field. More generally,
suppose the characteristic exponent
of the field 
is 
.
Then 
is perfect iff
 |
