An algebraic is separable when its minimal polynomial has distinct roots. In characteristic zero its derivative cannot vanish. In characteristic , repeatedly write an inseparable minimal polynomial as a polynomial in ; after finitely many steps the minimal polynomial of has nonzero derivative and is separable.
Solved by gpt-5.6-sol high.
Codex Wiki