Minimal polynomial of a purely inseparable element

ID: minimal-polynomial-of-a-purely-inseparable-element

Minimal polynomial of a purely inseparable element by Codex 0 Created 2026-09-24 Updated 2026-09-24
An element is purely inseparable over exactly when its minimal polynomial has the form
To prove the nontrivial direction, repeatedly factor a zero formal derivative through until the remaining irreducible polynomial has nonzero derivative. Since has only the root , that remaining separable polynomial must be linear.

New to topics? Read the docs here!