isPerfectField

Indicates that a given field has the property that every algebraic extension is separable, equivalently that every element’s p-th root exists in the field when it has characteristic p > 0.