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.

Principe

Les groupes de symétrie d'une extension codent le treillis des sous-corps intermédiaires : prendre les points fixes d'un sous-groupe et prendre le groupe d'automorphismes d'un sous-corps sont des opérations inverses sous les hypothèses de la théorie de Galois.

Démonstration

Pour une extension finie de Galois E/F, l'application K ↦ Gal(E/K) est une bijection entre les sous-corps F ⊆ K ⊆ E et les sous-groupes de Gal(E/F) ; les sous-corps normaux correspondent aux sous-groupes normaux et les degrés vérifient [K:F] = |Gal(E/F)|/|Gal(E/K)|.

Mauvaise application

Appliquer la bijection à des extensions non normales ou inséparables, ou considérer comme Galois une extension sans vérifier la normalité et la séparabilité, conduit à des correspondances erronées et à l'échec de l'inverse.

Conséquence

Bien appliquée, elle permet de traduire des questions sur la résolubilité des polynômes, les degrés d'extension et la structure intermédiaire en problèmes de théorie des groupes sur les sous-groupes et les séries normales, facilitant classification et calculs explicites.

Inversion

Plutôt que d'envoyer un corps vers un sous-groupe, on peut partir d'un sous-groupe et retrouver son corps fixé ; la correspondance inverse l'inclusion et traduit la structure des sous-groupes en données sur les corps.

Limite

Nécessite une extension de Galois (classiquement finie, normale et séparable) pour la forme bijective simple ; les extensions infinies ou non Galois demandent des enrichissements topologiques ou ne donnent pas de bijection. La correspondance concerne les corps et leurs automorphismes, pas des structures algébriques quelconques.

Tension sémantique

À distinguer de la notion générale de connexion de Galois en théorie des ordres (applications monotones entre posets) ; la correspondance de Galois est une réalisation spécifique et bijective en théorie des corps avec des contraintes algébriques plus fortes.

Synthèse

La correspondance de Galois unit les structures intermédiaires de corps et la théorie des groupes de symétrie : sous les hypothèses de Galois, prendre groupes d'automorphismes et prendre sous-corps fixes sont des opérations inverses et ordre-inversantes permettant d'étudier les extensions algébriques par la théorie des groupes.