Takagi existence theorem (original) (raw)
In class field theory, the Takagi existence theorem states that for any number field K there is a one-to-one inclusion reversing correspondence between the finite abelian extensions of K (in a fixed algebraic closure of K) and the generalized ideal class groups defined via a modulus of K. It is called an existence theorem because a main burden of the proof is to show the existence of enough abelian extensions of K.
| Property | Value |
|---|---|
| dbo:abstract | 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 K est un corps de nombres de groupe de classes G, il existe une unique extension abélienne L/K de groupe de Galois G telle que chaque idéal dans K devient principal dans L, et que L est l'extension abélienne non ramifiée maximale de K. Le théorème nous dit que le corps de classes de Hilbert conjecturé par Hilbert existe toujours, mais c'est Emil Artin et Philipp Furtwängler qui démontrèrent que cette (en) apparaît. Plus généralement, le théorème d'existence nous dit qu'il existe une correspondance bijective, renversant les inclusions, entre les extensions abéliennes de K et les groupes d'idéaux définis via les modules de K. Ici, un module (ou diviseur de rayon) est un produit formel des valuations (aussi appelées places) sur K élevées à des exposants entiers positifs. Les valuations archimédiennes qui apparaissent dans un rayon sont seulement celles dont les complétés sont les nombres réels ; elles peuvent être identifiées avec les ordres sur K et apparaissent seulement avec un exposant 1. Le module μ est un produit d'une partie archimédienne α et d'une partie non archimédienne η, et η peut être identifié avec un idéal de l'anneau des entiers de K. Le groupe de nombres mod η de K, Kη, est le groupe multiplicatif des fractions u/v avec u et v non nuls et premiers à η dans . Le rayon ou unité de rayon du groupe de nombres mod μ de K, Kμ1, est le sous-groupe des u/v tels que de plus, u ≡ v mod η et u/v > 0 pour chacun des ordres de α. Un groupe de nombre de rayon est maintenant un groupe se trouvant entre Kη et Kμ1 et les groupes d'idéaux mod μ sont les idéaux fractionnaires premiers avec η 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 au Congrès international des mathématiciens de 1920, conduisant au développement de la théorie des corps de classes durant les années 1920. À la demande de Hilbert, l'article fut publié dans les Mathematische Annalen en 1925. (fr) In class field theory, the Takagi existence theorem states that for any number field K there is a one-to-one inclusion reversing correspondence between the finite abelian extensions of K (in a fixed algebraic closure of K) and the generalized ideal class groups defined via a modulus of K. It is called an existence theorem because a main burden of the proof is to show the existence of enough abelian extensions of K. (en) 類体論の高木の存在定理 (Takagi existence theorem) とは、代数体 K の一般化されたイデアル類群に対してそれに対応する K の有限次アーベル拡大が存在するという定理である。高木貞治によって証明された一種の存在定理である。 (ja) |
| dbo:wikiPageID | 1099918 (xsd:integer) |
| dbo:wikiPageLength | 5820 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1033130408 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:David_Hilbert dbr:Algebraic_closure dbr:Ring_of_integers dbr:Valuation_(algebra) dbr:Emil_Artin dbr:Ideal_class_group dbr:Mathematische_Annalen dbr:Galois_group dbr:Fractional_ideal dbr:Hilbert_class_field dbr:Helmut_Hasse dbr:International_Congress_of_Mathematicians dbr:J._W._S._Cassels dbr:Teiji_Takagi dbr:Abelian_extension dbc:Class_field_theory dbc:Theorems_in_algebraic_number_theory dbr:Class_field_theory dbr:Class_formation dbr:Idele dbr:Ramification_(mathematics) dbr:World_War_I dbr:Existence_theorem dbr:Phillip_Furtwängler dbr:A._Fröhlich dbr:Idelic_formulation_of_class_field_theory |
| dbp:wikiPageUsesTemplate | dbt:Short_description |
| dct:subject | dbc:Class_field_theory dbc:Theorems_in_algebraic_number_theory |
| gold:hypernym | dbr:Inclusion |
| rdf:type | yago:WikicatTheoremsInAlgebra yago:WikicatTheoremsInAlgebraicNumberTheory yago:Abstraction100002137 yago:Communication100033020 yago:Message106598915 yago:Proposition106750804 yago:Statement106722453 yago:Theorem106752293 |
| rdfs:comment | In class field theory, the Takagi existence theorem states that for any number field K there is a one-to-one inclusion reversing correspondence between the finite abelian extensions of K (in a fixed algebraic closure of K) and the generalized ideal class groups defined via a modulus of K. It is called an existence theorem because a main burden of the proof is to show the existence of enough abelian extensions of K. (en) 類体論の高木の存在定理 (Takagi existence theorem) とは、代数体 K の一般化されたイデアル類群に対してそれに対応する K の有限次アーベル拡大が存在するという定理である。高木貞治によって証明された一種の存在定理である。 (ja) 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 K est un corps de nombres de groupe de classes G, il existe une unique extension abélienne L/K de groupe de Galois G telle que chaque idéal dans K devient principal dans L, et que L est l'extension abélienne non ramifiée maximale de K. Le théorème nous dit que le corps de classes de Hilbert conjecturé par Hilbert existe toujours, mais c'est Emil Artin et Philipp Furtwängler qui démontrèrent que cette (en) apparaît. (fr) |
| rdfs:label | Théorème d'existence de Takagi (fr) 高木の存在定理 (ja) Takagi existence theorem (en) |
| owl:sameAs | freebase:Takagi existence theorem yago-res:Takagi existence theorem wikidata:Takagi existence theorem dbpedia-fr:Takagi existence theorem dbpedia-ja:Takagi existence theorem https://global.dbpedia.org/id/3FdUx |
| prov:wasDerivedFrom | wikipedia-en:Takagi_existence_theorem?oldid=1033130408&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Takagi_existence_theorem |
| is dbo:knownFor of | dbr:Teiji_Takagi |
| is dbo:wikiPageRedirects of | dbr:Generalized_ideal_class_group |
| is dbo:wikiPageWikiLink of | dbr:List_of_algebraic_number_theory_topics dbr:Norm_group dbr:List_of_Japanese_inventions_and_discoveries dbr:Teiji_Takagi dbr:Principalization_(algebra) dbr:Artin_reciprocity_law dbr:Class_field_theory dbr:Class_formation dbr:List_of_theorems dbr:Generalized_ideal_class_group |
| is dbp:knownFor of | dbr:Teiji_Takagi |
| is foaf:primaryTopic of | wikipedia-en:Takagi_existence_theorem |