Extensión Puramente Inseparable

Una extensión de cuerpos L/K en característica p>0 tal que cada elemento de L es algebraico sobre K y para cada α en L existe n≥0 con α^{p^n} en K; equivalentemente la subextensión separable es trivial y los polinomios mínimos son potencias puras de p.