Purely inseparable extension (source code)

= Purely inseparable extension
{wiki}

= Purely inseparable field extension
{synonym}

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