Purely inseparable algebraic element (source code)

= Purely inseparable algebraic element

An algebraic element $x$ is purely inseparable over $K$ when $x^{p^n}\in K$ for some $n\geq0$.