Le groupe des automorphismes de corps d'une extension de corps E sur un corps de base F qui fixent F point par point ; il encode les symétries algébriques de l'extension et des racines de polynômes dans E.

Principe

Les automorphismes préservant le corps de base se composent en un groupe fini ou profini dont la structure de sous-groupes correspond (par la correspondance de Galois) aux sous-extensions intermédiaires et aux relations algébriques entre racines.

Démonstration

Pour le corps de scindement de x^3 − 2 sur Q, le groupe de Galois est isomorphe à S3 : il permute les trois racines tout en respectant les opérations de corps et les rationnels, fixés par tout automorphisme.

Mauvaise application

Confondre le groupe de Galois avec le groupe de permutations complet des racines formelles d'un polynôme sans tenir compte des relations de corps, ou traiter des permutations de coefficients comme des automorphismes, conduit à surestimer des symétries qui ne sont pas des automorphismes de corps.

Conséquence

La connaissance du groupe de Galois détermine des propriétés comme la résolubilité par radicaux, les degrés des extensions intermédiaires et le comportement de ramification dans les corps de nombres ; les propriétés de groupe se traduisent en propriétés algébriques du corps.

Inversion

Considérer des automorphismes d'anneaux ou des groupes de symétrie topologiques d'objets géométriques sans structure de corps inverse le contexte : ces groupes ne contrôlent pas en général la résolubilité algébrique des polynômes.

Limite

Défini uniquement pour des extensions de corps (et généralisé aux catégories galoisiennes/groupes profinis) ; il exclut les extensions d'anneaux arbitraires et les applications qui ne préservent pas les inverses multiplicatifs ou qui ne fixent pas le corps de base.

Tension sémantique

Parfois confondu avec la simple permutation des racines : le groupe de Galois est le sous‑groupe des permutations de racines réalisé par des automorphismes de corps compatibles avec les relations algébriques et la fixation du corps de base.

Synthèse

Le groupe de Galois est le groupe des symétries d'une extension de corps constitué d'automorphismes fixant le corps de base ; par la correspondance fondamentale de Galois, sa structure de sous‑groupes reflète la structure des sous‑extensions et des dépendances algébriques.