An algebraic extension K over a field F is a purely inseparable extension if the algebraic number minimal polynomial of any element has only one root, possibly with multiplicity.

extension field | field | perfect field | separable extension