DejarF ser un campo de cero característico y dejarf(x)∈F[x] ser un polinomio separable de gradon. SiE es el campo de división def(x), dejar\(\alpha_1, \ldots, \al...DejarF ser un campo de cero característico y dejarf(x)∈F[x] ser un polinomio separable de gradon. SiE es el campo de división def(x), dejarα1,…,αn ser las raíces def(x) enE. LetΔ=∏i<j(αi−αj). Definimos el discriminante de f(x)serΔ2.