De façon équivalente, l`extension L/K est normale si elle est algébrique et si tout conjugué d`un élément de L appartient encore à L. - Cette propriété est utilisée pour définir une extension de Galois : c`est une extension algébrique séparable et normale.