Correspondance de Galois

Correspondance bijective et d'ordre inverse entre les corps intermédiaires d'une extension galoisienne finie et les sous-groupes de son groupe de Galois, obtenue en associant à un sous-groupe son corps des points fixes et à un corps intermédiaire le sous-groupe des automorphismes qui le fixent.

Une correspondance bijective (inversant l'ordre) entre les sous-structures intermédiaires d'une extension de corps et les sous-groupes du groupe d'automorphismes de l'extension, identifiant les sous-corps fixés par des sous-groupes avec ces sous-groupes dans le cas d'une extension de Galois.