Discriminant d'un corps de nombres
En mathématiques, le discriminant d'un corps de nombres algébriques est un invariant numérique qui, moralement, mesure la taille de l'anneau des entiers du corps de nombres algébriques. Plus précisément, il est proportionnel au carré du volume du domaine fondamental de l'anneau des entiers, et il régule quels nombres premiers sont ramifiés.
Le discriminant est l'un des invariants les plus élémentaires d'un corps de nombres et apparaît dans plusieurs formules analytiques importantes telles que l' équation fonctionnelle de la fonction zêta de Dedekind de et la formule analytique des nombres de classe pour . Un théorème d'Hermite stipule qu'il n'y a qu'un nombre fini de corps de nombres de discriminant donné, mais la détermination de cette quantité est toujours un problème ouvert et fait l'objet de recherches[1].
Le discriminant de peut être appelé discriminant absolu de pour le distinguer du discriminant relatif d'une extension de corps de nombres. Ce dernier est un idéal dans l'anneau des entiers de , et comme le discriminant absolu il indique quels nombres premiers sont ramifiés dans . C'est une généralisation du discriminant absolu permettant à L d'être plus grand que ; en effet, lorsque , le discriminant relatif de est l'idéal principal de engendré par le discriminant absolu de .
Définition
Soit un corps de nombres algébriques, et soit son anneau des entiers. Soit une base entière de (c'est-à-dire une base en tant que -module), et soit l'ensemble des plongements de dans le nombres complexes (c'est-à-dire homomorphismes d'anneaux injectifs ). Le discriminant de est le carré du déterminant de la matrice dont l'entrée (i, j) est . Symboliquement,
De manière équivalente, la trace de sur peut être utilisée. Plus précisément, définissons la forme trace comme étant la matrice dont l'entrée (i, j) est . Cette matrice vaut , donc le discriminant de est le déterminant de cette matrice.
Exemples
- Corps de nombres quadratiques : soit d un entier sans carré, alors le discriminant de est
- Un entier qui apparaît comme le discriminant d'un corps de nombres quadratiques est appelé un discriminant fondamental[2].
- Corps cyclotomiques : soit un entier, soit une n-ième racine primitive de l'unité, et soit le n-ième corps cyclotomique. Le discriminant de est donné par[3]
- où est la fonction indicatrice d'Euler, et le produit au dénominateur porte sur les nombres premiers p divisant n .
- Bases de puissances : Dans le cas où l'anneau des entiers peut s'écrire , le discriminant de est égal au discriminant du polynôme minimal de . Pour voir cela, on peut choisir la base intégrale de comme étant . Alors, la matrice dans la définition est la matrice de Vandermonde associée à α i = σ i (α), dont le déterminant au carré est
- qui est exactement la définition du discriminant du polynôme minimal.
- Soit le corps de nombres obtenu en adjoignant une racine α du polynôme . Il s'agit de l'exemple original de Richard Dedekind d'un corps de nombre dont l'anneau d'entiers ne possède pas de base de puissance. Une base intégrale est donnée par et le discriminant de est [4],[5].
- Discriminants répétés : le discriminant d'un corps quadratique l'identifie de manière injective, mais ce n'est pas vrai en général, pour les corps de nombres de degré supérieur. Par exemple, il existe deux corps cubiques non isomorphes de discriminant 3969. Ils sont obtenus en adjoignant une racine du polynôme ou , respectivement[6].
Résultats fondamentaux
- Théorème de Brill[7] : Le signe du discriminant est où est le nombre de plongements complexes de [8].
- Un nombre premier p se ramifie dans si et seulement si p divise [9].
- Théorème de Stickelberger[10] :
- Borne de Minkowski[11] : Soit n le degré de l'extension et le nombre de plongements complexes de , alors
- Théorème de Minkowski[12] : Si n'est pas , alors (ceci découle directement de la borne de Minkowski).
- Théorème d'Hermite–Minkowski[13] : Soit un entier strictement positif. Il n'y a qu'un nombre fini (à isomorphismes près) de corps de nombres algébriques avec . Encore une fois, cela découle de la borne de Minkowski ainsi que du théorème d'Hermite.
Histoire
La définition du discriminant d'un corps de nombres algébriques général a été donnée par Dedekind en 1871. À ce stade, il connaissait déjà la relation entre le discriminant et la ramification[14].
Le théorème d'Hermite est antérieur à la définition générale du discriminant, Charles Hermite en publiant une preuve en 1857[15]. En 1877, Alexander von Brill a déterminé le signe du discriminant[16]. Leopold Kronecker a d'abord énoncé le théorème de Minkowski en 1882[17], bien que la première preuve ait été donnée par Hermann Minkowski en 1891[18]. Dans la même année, Minkowski a publié sa borne sur le discriminant [19]. Vers la fin du XIXe siècle, Ludwig Stickelberger a obtenu son théorème sur le résidu du discriminant modulo quatre[20],[21].
Discriminant relatif
Le discriminant défini ci-dessus est parfois appelé discriminant absolu de pour le distinguer du discriminant relatif d'une extension de corps de nombres , qui est un idéal dans . Le discriminant relatif est défini de manière similaire au discriminant absolu, mais doit tenir compte du fait que les idéaux dans peuvent ne pas être principaux et qu'il peut ne pas y avoir de -base de . Soit l'ensemble des plongements de dans qui sont l'identité sur . Si est une base quelconque de sur , soit le carré du déterminant de la matrice n par n dont (i, j)- l'entrée est . Alors, le discriminant relatif de est l'idéal engendré par les lorsque varie sur toutes les bases intégrales de . Alternativement, le discriminant relatif de est la norme de la différente de [22]. Lorsque , le discriminant relatif est l'idéal principal de engendré par le discriminant absolu . Dans une tour de corps les discriminants relatifs sont liés par
où désigne la norme relative[23].
Ramification
Le discriminant relatif régule les données de ramification de l'extension de corps . Un idéal premier de se ramifie dans si, et seulement si, il divise le discriminant relatif . Une extension est non ramifiée si, et seulement si, le discriminant est l'idéal unitaire[22]. La borne de Minkowski ci-dessus montre qu'il n'y a pas d'extensions non ramifiées non triviales de . Les corps plus grands que peuvent avoir des extensions non ramifiées : par exemple, pour tout champ avec un nombre de classe supérieur à un, son corps de classe de Hilbert est une extension non triviale non ramifiée.
Relation avec d'autres grandeurs
- Lorsqu'il est plongé dans , le volume du domaine fondamental de est (parfois une mesure différente est utilisée et le volume obtenu est .
- En raison de son apparition dans ce volume, le discriminant apparaît également dans l'équation fonctionnelle de la fonction zêta de Dedekind de , et donc dans la formule analytique du nombre de classes, et le théorème de Brauer-Siegel.
- Le discriminant relatif de est le conducteur d'Artin de la représentation régulière du groupe de Galois de . Ceci fournit une relation aux conducteurs d'Artin des caractères du groupe de Galois de . appelée la formule conducteur-discriminant[24].
Notes et références
Références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Discriminant of an algebraic number field » (voir la liste des auteurs).
- Cohen, Diaz y Diaz et Olivier 2002
- Definition 5.1.2 of Cohen 1993
- Proposition 2.7 of Washington 1997
- Dedekind 1878, p. 30–31
- Narkiewicz 2004, p. 64
- Cohen 1993, Theorem 6.4.6
- Koch 1997, p. 11
- Lemma 2.2 of Washington 1997
- Corollary III.2.12 of Neukirch 1999
- Exercise I.2.7 of Neukirch 1999
- Proposition III.2.14 of Neukirch 1999
- Theorem III.2.17 of Neukirch 1999
- Theorem III.2.16 of Neukirch 1999
- Bourbaki 1994
- Hermite 1857.
- Brill 1877.
- Kronecker 1882.
- Minkowski 1891a.
- Minkowski 1891b.
- Stickelberger 1897.
- All facts in this paragraph can be found in Narkiewicz 2004, p. 59, 81
- Neukirch 1999, §III.2
- Corollary III.2.10 of Neukirch 1999 or Proposition III.2.15 of Fröhlich et Taylor 1993
- Section 4.4 of Serre 1967
Sources primaires
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Discriminant of an algebraic number field » (voir la liste des auteurs).
- Alexander von Brill, Ueber die Discriminante, vol. 12, , 87–89 p. (DOI 10.1007/BF01442468, MR 1509928, JFM 09.0059.02, lire en ligne)
- Richard Dedekind, Vorlesungen über Zahlentheorie von P.G. Lejeune Dirichlet, Vieweg, (lire en ligne)
- Richard Dedekind, Über den Zusammenhang zwischen der Theorie der Ideale und der Theorie der höheren Congruenzen, vol. 23, (lire en ligne)
- Charles Hermite, Extrait d'une lettre de M. C. Hermite à M. Borchardt sur le nombre limité d'irrationalités auxquelles se réduisent les racines des équations à coefficients entiers complexes d'un degré et d'un discriminant donnés, vol. 1857, , 182–192 p. (DOI 10.1515/crll.1857.53.182, lire en ligne)
- Leopold Kronecker, Grundzüge einer arithmetischen Theorie der algebraischen Grössen, vol. 92, , 1–122 p. (JFM 14.0038.02, lire en ligne)
- Hermann Minkowski, Ueber die positiven quadratischen Formen und über kettenbruchähnliche Algorithmen, vol. 1891, 1891a, 278–297 p. (DOI 10.1515/crll.1891.107.278, JFM 23.0212.01, lire en ligne)
- Hermann Minkowski, Théorèmes d'arithmétiques, vol. 112, 1891b, 209–212 p. (JFM 23.0214.01)
- Ludwig Stickelberger, Proceedings of the First International Congress of Mathematicians, Zürich, , 182–193 p. (JFM 29.0172.03)
Sources secondaires
- Éléments d'histoire des mathématiques, Hermann, (réimpr. 1984, 2007), 3e éd. (1re éd. 1960), 376 p. (ISBN 978-3-540-33938-0, présentation en ligne)
- Henri Cohen, A Course in Computational Algebraic Number Theory, vol. 138, Berlin, New York, Springer-Verlag, coll. « Graduate Texts in Mathematics », (ISBN 978-3-540-55640-4, MR 1228206)
- Henri Cohen, Francisco Diaz y Diaz et Michel Olivier, Algorithmic Number Theory, Proceedings, 5th International Syposium, ANTS-V, University of Sydney, July 2002, vol. 2369, Berlin, Springer-Verlag, coll. « Lecture Notes in Computer Science », , 80–94 p. (ISBN 978-3-540-43863-2, ISSN 0302-9743, DOI 10.1007/3-540-45455-1_7, MR 2041075)
- Albrecht Fröhlich et Martin Taylor, Algebraic number theory, vol. 27, Cambridge University Press, coll. « Cambridge Studies in Advanced Mathematics », (ISBN 978-0-521-43834-6, MR 1215934)
- Helmut Koch, Algebraic Number Theory, vol. 62, Springer-Verlag, coll. « Encycl. Math. Sci. », (ISBN 3-540-63003-1, zbMATH 0819.11044)
- Władysław Narkiewicz, Elementary and analytic theory of algebraic numbers, Berlin, Springer-Verlag, coll. « Springer Monographs in Mathematics », (ISBN 978-3-540-21902-6, MR 2078267)
- Jürgen Neukirch, Algebraische Zahlentheorie, vol. 322, Berlin, Springer-Verlag, coll. « Grundlehren der mathematischen Wissenschaften », (ISBN 978-3-540-65399-8, MR 1697859, zbMATH 0956.11021)
- Jean-Pierre Serre, Algebraic Number Theory, Proceedings of an instructional conference at the University of Sussex, Brighton, 1965, London, Academic Press, (ISBN 0-12-163251-2, MR 0220701), « Local class field theory »
- John Voight, Algorithmic number theory. Proceedings, 8th International Symposium, ANTS-VIII, Banff, Canada, May 2008, vol. 5011, Berlin, Springer-Verlag, coll. « Lecture Notes in Computer Science », , 268–281 p. (ISBN 978-3-540-79455-4, DOI 10.1007/978-3-540-79456-1_18, MR 2467853, zbMATH 1205.11125, arXiv 0802.0194)
- Lawrence Washington, Introduction to Cyclotomic Fields, vol. 83, Berlin, New York, Springer-Verlag, coll. « Graduate Texts in Mathematics », (ISBN 978-0-387-94762-4, MR 1421575, zbMATH 0966.11047)
Lectures complémentaires
- James S. Milne, Algebraic Number Theory, (lire en ligne)