Correspondencia de Galois

Una correspondencia biyectiva y que invierte el orden entre los cuerpos intermedios de una extensión galoisiana finita y los subgrupos de su grupo de Galois, realizada asignando a un subgrupo su cuerpo de puntos fijos y a un cuerpo intermedio el subgrupo de automorfismos que lo fijan.

Una correspondencia biyectiva (que invierte el orden) entre las subestructuras intermedias de una extensión de cuerpos y los subgrupos del grupo de automorfismos de la extensión, que identifica los subcampos fijados por subgrupos con dichos subgrupos en el caso de una extensión de Galois.