Ramification et théorie de Galois des corps de nombres

Lorsqu'un idéal premier d'un corps de nombres est examiné dans une extension de ce corps, il peut se scinder en plusieurs idéaux premiers, rester premier ou se ramifier ; la théorie de Galois organise l'ensemble de ces comportements au moyen des groupes de décomposition et de l'élément de Frobenius.

Definition

La ramification décrit la manière dont un idéal premier d'un corps de base se factorise dans une extension et si des facteurs premiers répétés apparaissent ; la théorie de Galois des corps de nombres encode cela au moyen de sous-groupes du groupe de Galois attachés à chaque idéal premier au-dessus de celui-ci.

Scope

Ce sujet aborde la factorisation d'un nombre premier rationnel dans une extension en idéaux premiers avec leurs indices de ramification et degrés résiduels, l'identité fondamentale les reliant au degré, les idéaux premiers ramifiés et non ramifiés, les groupes de décomposition et d'inertie dans une extension galoisienne, l'automorphisme de Frobenius, la différente et la relation entre le discriminant et la ramification, ainsi que le symbole d'Artin qui anticipe la réciprocité.

Core questions

• Comment un nombre premier rationnel se factorise-t-il dans l'anneau des entiers d'une extension, et quels sont l'indice de ramification et le degré résiduel ?
• Pourquoi ces invariants satisfont-ils l'identité fondamentale dont la somme est égale au degré, et comment se simplifie-t-elle pour les extensions galoisiennes ?
• Que sont les groupes de décomposition et d'inertie, et comment l'élément de Frobenius agit-il sur les corps résiduels ?
• Quels idéaux premiers se ramifient, et comment la différente et le discriminant les détectent-ils ?

Key theories

Identité fondamentale et types de scission

Un idéal premier se factorise dans une extension avec des indices de ramification et des degrés résiduels dont la somme pondérée est égale au degré du corps ; dans une extension galoisienne, tous les facteurs partagent le même indice et le même degré, classifiant les comportements scindé, inerte et ramifié.

Groupe de décomposition, groupe d'inertie et Frobenius

Pour un idéal premier au-dessus d'un idéal premier donné dans une extension galoisienne, le groupe de décomposition est son stabilisateur, le groupe d'inertie sa partie de ramification, et le quotient est généré par l'élément de Frobenius agissant comme une application puissance sur le corps résiduel.

Différente, discriminant et ramification

L'idéal différent et le discriminant identifient les idéaux premiers ramifiés, la formule conducteur-discriminant exprimant le discriminant d'une extension abélienne à travers les conducteurs de ses caractères.

Clinical relevance

Le comportement de scission des idéaux premiers via l'élément de Frobenius régit les lois de réciprocité et constitue le cœur calculatoire des algorithmes qui factorisent les polynômes et les idéaux sur les corps de nombres, y compris les étapes internes du crible de corps de nombres.

History

Dedekind a relié la factorisation des idéaux premiers à la factorisation du polynôme minimal modulo cet idéal premier. Hilbert a systématisé la théorie de la ramification dans son Zahlbericht de 1897, introduisant les groupes de décomposition et d'inertie ainsi que la filtration de ramification supérieure qui organisent le sujet moderne.

Key figures

• Richard Dedekind
• David Hilbert
• Ferdinand Georg Frobenius

Seminal works

• marcus2018

Frequently asked questions

Que signifie la ramification d'un idéal premier ?

Un idéal premier se ramifie dans une extension lorsque sa factorisation en idéaux premiers y inclut un facteur répété ; seuls un nombre fini d'idéaux premiers se ramifient, et ce sont précisément ceux qui divisent le discriminant.

Qu'est-ce que l'élément de Frobenius ?

Pour un idéal premier non ramifié dans une extension galoisienne, c'est l'automorphisme canonique induisant l'application de puissance p sur le corps résiduel ; sa classe de conjugaison enregistre la manière dont l'idéal premier se scinde et est la clé des lois de réciprocité.