Purely inseparable field extension (source code)

= Purely inseparable field extension
{wiki=Purely_inseparable_extension}

An algebraic extension in characteristic $p>0$ is purely inseparable when every one of its elements is purely inseparable over the base field.