- Théorème d'existence de takagi
-
Théorème d'existence de Takagi
En mathématiques et dans la théorie des corps de classes, le théorème d'existence de Takagi établit en partie que si est un corps de nombres avec un groupe de classes G, il existe une unique extension abélienne L/K avec un groupe de Galois G, tel que chaque idéal dans devient principal dans L, et que L est caractérisé par la propriété que c'est l'extension abélienne non ramifiée de . Le théorème nous dit que le corps de classes de Hilbert conjecturé par Hilbert existe toujours, mais il a été exigé par Artin et Furtwängler pour démontrer que cette principalisation apparaît.
Plus généralement, le théorème d'existence nous dit qu'il existe une correspondance d'inclusions bijectives entre les extensions abéliennes de et les groupes d'idéaux définis via des modules de . Ici, un module (ou diviseur de rayon) est un produit formel des valuations (aussi appelé premiers ou places) sur vers les exposants entiers positifs. Les valuations archimédiennes incluent seulement ceux dont les compléments sont des nombres réels; ils peuvent être identifiés avec les ordres sur et apparaîssent seulement avec un exposant un.
Le module est un produit de parties archimédiennes et de parties non-archimédiennes et peut être identifié avec un idéal dans l'anneau des entiers de . Le nombre de groupe mod de , , est le groupe multiplicative des fractions u/v avec u différent de zéro et v premier vers dans . Le rayon ou unité de rayon du groupe de nombre mod de , , en plus des conditions sur u et v que et u/v > 0 dans chacun des ordres d'. Un groupe de nombre de rayon est maintenant un groupe se trouvant entre et et les groupes d'idéaux mod sont les idéaux fractionnaires premiers vers modulo un tel groupe de nombres de rayon. Ce sont ces groupes d'idéaux qui correspondent aux extensions abéliennes par le théorème d'existence.
Le théorème est dû à Teiji Takagi, qui le démontra pendant les années d'isolement de la Première Guerre mondiale et le présenta à la Conférence Internationale des Mathématiciens en 1920, conduisant au développement de la théorie classique de la théorie des corps de classes durant les années 1920. À la demande de Hilbert, l'article fut publié dans Mathematische Annalen en 1925.
Voir aussi
- Portail des mathématiques
Catégories : Théorie des corps de classes | Théorème de mathématiques
Wikimedia Foundation. 2010.