Extension Inséparable

Une extension de corps K ⊂ L algébrique telle qu'au moins un élément de L a un polynôme minimal sur K ayant des racines multiples (équivalemment, le polynôme minimal et sa dérivée formelle ne sont pas premiers entre eux), de sorte que l'extension ne satisfait pas la condition de séparabilité.