Existe también una versión de este teorema fundamental de la teoría de Galois que se aplica a extensiones algebraicas infinitas, que además son normales y separables.