Concept
Théorème de l'idéal principal
En mathématiques, le théorème de l'idéal principal en théorie des corps de classes, assure que tout idéal de l'anneau des entiers d'un corps de nombres K, vu comme idéal de l'anneau des entiers du corps de classes de Hilbert de K, est principal. Plus précisément : les extensions abéliennes, et les extensions non ramifiées, sont stables par compositum. Il existe donc une extension abélienne non ramifiée maximale L de K, appelée le corps de classes de Hilbert de K ; pour tout idéal I de l'anneau OK des entiers de K, l'idéal IOL de OL est principal. Ce théorème a été conjecturé par Hilbert, et en 1930, Philipp Furtwängler en a achevé la preuve.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Cours associés (3)
MATH-482: Number theory I.a - Algebraic number theory
Algebraic number theory is the study of the properties of solutions of polynomial equations with integral coefficients; Starting with concrete problems, we then introduce more general notions like alg
MSE-464: Assembly techniques
Introduction to the assembly of materials by homogeneous or heterogeneous joints (welding, bonding, mechanical assembly). Mechanical and environmental resistance of joints.
MATH-317: Algebra V - Galois theory
Galois theory lies at the interface of Field Theory and Group Theory. It aims to describe the algebraic symmetries of fields. We will focus on Galois theory for finite field extensions and some applic
Séances de cours associées (19)
Intégration logarithmique dans les champs numériques
Explore les propriétés et les applications des incorporations logarithmiques dans les champs numériques.
Facteurs irréductibles et anneaux noéthériens
Explore les facteurs irréductibles, les anneaux noéthériens, la stabilité idéale et la factorisation unique en anneaux.
Relations de congruence en anneaux
Explore les relations de congruence dans les anneaux, les principaux idéaux, les homomorphismes des anneaux et les caractéristiques des anneaux.
Publications associées (8)
Short Stickelberger Class Relations and Application to Ideal-SVP
Benjamin Pierre Charles Wesolowski
The worst-case hardness of finding short vectors in ideals of cyclotomic number fields (Ideal-SVP) is a central matter in lattice based cryptography. Assuming the worst-case hardness of Ideal-SVP allows to prove the Ring-LWE and Ring-SIS assumptions, and t ...
Springer International Publishing Ag2017Computational Aspects of Jacobians of Hyperelliptic Curves
Nowadays, one area of research in cryptanalysis is solving the Discrete Logarithm Problem (DLP) in finite groups whose group representation is not yet exploited. For such groups, the best one can do is using a generic method to attack the DLP, the fastest ...
EPFL2016Low-frequency linear-mode regimes in the tokamak scrape-off layer
Paolo Ricci, Sébastien Jolliet, Federico David Halpern, Annamaria Mosetto
Motivated by the wide range of physical parameters characterizing the scrape-off layer (SOL) of existing tokamaks, the regimes of low-frequency linear instabilities in the SOL are identified by numerical and analytical calculations based on the linear, dri ...
American Institute of Physics2012Personnes associées (1)
Concepts associés (5)
Corps de nombres
En mathématiques, un corps de nombres algébriques (ou simplement corps de nombres) est une extension finie K du corps Q des nombres rationnels. En particulier, c'est une extension algébrique : tous les éléments de K sont des nombres algébriques, dont le degré divise le degré de l'extension. C'est aussi une extension séparable car Q est de caractéristique nulle donc parfait. Tout sous-corps de C engendré par un nombre fini de nombres algébriques est un corps de nombres.
Corps de classes de Hilbert
En théorie algébrique des nombres, le corps de Hilbert H(K) d'un corps de nombres algébriques K est l'extension abélienne non ramifiée maximale de ce corps de nombres. Cet objet doit son nom au mathématicien allemand David Hilbert. Son étude est à la fois une étape importante, et un archétype, pour la théorie des corps de classes : via l'isomorphisme de réciprocité (symbole d'Artin) de la correspondance du corps de classes, le groupe de Galois Gal(H(K)/K) est isomorphe au groupe des classes du corps K.
Idéal principal
En mathématiques, plus particulièrement dans la théorie des anneaux, un idéal principal est un idéal engendré par un seul élément. Soit A un anneau. Un idéal à droite I est dit principal à droite s'il est égal à l'idéal à droite engendré par un élément a, c'est-à-dire si I = aA := { ax | x ∈ A }. Un idéal à gauche I est dit principal à gauche s'il est égal à l'idéal à gauche engendré par un élément a, c'est-à-dire si I = Aa := { xa | x ∈ A }.