In [[teoria dei campi]], un'[[Campo_(matematica)#Sottocampi_e_estensione_di_campi|estensione di campi]] <math>L/K</math> è detta '''separabile''' se esiste un [[polinomio separabile]] <math>f \in K[x]</math> di [[radice (matematica)|radici]] <math>a_1, \dots, a_n</math> in un suo [[campo di spezzamento]] tale che <math>L = K(a_1, \dots, a_n)</math>, cioè che <math>L</math> sia generato come [[Campo (matematica)|campo]] su <math>F</math> dalle radici di <math>f</math>.
Un '''campo perfetto''' è un campo le cui estensioni sono tutte separabili; tale concetto è importante nella [[teoria di Galois]]. Un semplice criterio per sapere se un campo è perfetto è il seguente: un campo è perfetto se e solo ha [[Caratteristica_(matematicaalgebra)|caratteristica]] zero o ha caratteristica <math>p</math> diversa da zero e ogni elemento ha una radice <math>p</math>-esima nel campo. In particolare, tutti i [[Campo_finito|campi finiti]] o di caratteristica zero sono perfetti, cosa che avviene in molte occasioni.
