Polinomio separabile

Un polinomio si dice separabile se ciascuno dei suoi fattori irriducibili ha radici tutte distinte in un suo campo di spezzamento. Esiste tuttavia un'altra definizione, non equivalente bensì più forte della precedente, di polinomio separabile. Questa dice che f è separabile se non ha zeri multipli. Questa condizione è equivalente a richiedere che f e la sua derivata formale f′ siano coprimi. Queste due differenti definizioni non comportano tuttavia grossa confusione in quanto la nozione di polinomio separabile viene principalmente utilizzata sui polinomi irriducibili per i quali le due definizioni sono equivalenti. Si prova che tutti i polinomi irriducibili che hanno uno zero in un'estensione separabile di K sono separabili. Di conseguenza sono separabili tutti i polinomi a coefficienti su campi perfetti, e dunque i polinomi su campi di caratteristica 0 o su campi finiti. Per quanto detto, è chiaro che ogni polinomio del tipo è separabile, ma è immediato verificare direttamente che e sono coprimi e dunque che è separabile su nel senso più forte. Si osservi tuttavia che questo procedimento non si può fare per polinomi del tipo , ove è il campo finito con p elementi a cui si è aggiunta la potenza p-esima di un elemento y trascendente su . Si ha infatti che e dunque il massimo comun divisore tra f' e f è f stesso e quindi, dato che non è difficile provare che f è irriducibile, si ha che f non è separabile per nessuna delle due definizioni. In generale, si prova che i polinomi irriducibili non separabili su un campo di caratteristica p sono esattamente i polinomi irriducibili che si possono scrivere come per un qualche polinomio g(x).