« Théorème d'Albert-Brauer-Hasse-Noether » : différence entre les versions
m JerGer a déplacé la page Théorème de Albert-Brauer-Hasse-Noether vers Théorème d'Albert-Brauer-Hasse-Noether : élision de la préposition, conformément au texte |
m nettoyage – un corps de nombres est une extension finie des rationnels, pas besoin de préciser « algébrique(s) » ; dans M_d(K), M n'est pas une variable mais plutôt un opérateur => romain ; |
||
Ligne 1 : | Ligne 1 : | ||
En [[théorie algébrique des nombres]], le '''théorème d'Albert–Brauer–Hasse–Noether''' stipule qu'une [[algèbre centrale simple]] sur un [[ |
En [[théorie algébrique des nombres]], le '''théorème d'Albert–Brauer–Hasse–Noether''' stipule qu'une [[algèbre centrale simple]] sur un [[corps de nombres]] ''K'' qui se scinde sur chaque [[Corps local|complétion]] ''K''<sub>''v''</sub> est une algèbre de matrices sur ''K''. Le théorème est un exemple de [[principe local-global]] en [[théorie algébrique des nombres]] et conduit à une description complète des [[Algèbre à division|algèbres à division]] de dimension finie sur les corps de nombres en fonction de leurs [[Invariant de Hasse d'une algèbre|invariants locaux]]. Il a été prouvé indépendamment par [[Richard Brauer]], [[Helmut Hasse]] et [[Emmy Noether]] et par [[Abraham Adrian Albert]]. |
||
== Énoncé du théorème == |
== Énoncé du théorème == |
||
Soit ''A'' une algèbre centrale simple de rang ''d'' sur un [[ |
Soit ''A'' une algèbre centrale simple de rang ''d'' sur un [[corps de nombres]] ''K'' . Supposons que pour toute [[valuation]] ''v'' de ''K'', l'algèbre ''A'' soit scindée sur le corps local correspondant ''K''<sub>''v''</sub> : |
||
: <math> A\otimes_K K_v \simeq M_d(K_v). </math> |
: <math> A\otimes_K K_v \simeq M_d(K_v). </math> |
||
Alors ''A'' est isomorphe à l'algèbre |
Alors ''A'' est isomorphe à l'algèbre de matrices M<sub>''d''</sub>(''K''). |
||
== Applications == |
== Applications == |
||
En utilisant la théorie du [[groupe de Brauer]], on montre que deux algèbres centrales simples ''A'' et ''B'' sur un corps de nombres |
En utilisant la théorie du [[groupe de Brauer]], on montre que deux algèbres centrales simples ''A'' et ''B'' sur un corps de nombres ''K'' sont isomorphes sur ''K'' si et seulement si leurs complétions ''A''<sub>''v''</sub> et ''B''<sub>''v''</sub> sont isomorphes sur la complétion ''K''<sub>''v''</sub> pour toute valuation ''v.'' |
||
Avec le théorème de [[Théorème de Grunwald-Wang| |
Avec le théorème de [[Théorème de Grunwald-Wang|Grunwald-Wang]], le théorème d'Albert-Brauer-Hasse-Noether implique que toute algèbre centrale simple sur un corps de nombres est ''cyclique'', c'est-à-dire peut être obtenue par une construction explicite à partir d'une [[Extension abélienne|extension de corps cyclique]] ''L''/''K''. |
||
== Articles connexes == |
== Articles connexes == |
||
* [[Théorie des corps de classes |
* [[Théorie des corps de classes]] |
||
* [[Théorème de la norme de Hasse]] |
* [[Théorème de la norme de Hasse]] |
||
== Références == |
== Références == |
||
* {{ |
* {{Article|lien auteur1=Abraham Adrian Albert|prénom1=A. A.|nom1=Albert|lien auteur2=Helmut Hasse|prénom2=H.|nom2=Hasse|titre=A determination of all normal division algebras over an algebraic number field|journal=Trans. Amer. Math. Soc.|volume=34|numéro=3|année=1932|pages=722-726|zbl=0005.05003|doi=10.1090/s0002-9947-1932-1501659-x|accès doi=libre}} |
||
* {{ |
* {{Article|lien auteur1=Richard Brauer|prénom1=R.|nom1=Brauer|lien auteur2=Helmut Hasse|prénom2=H.|nom2=Hasse|lien auteur3=Emmy Noether|prénom3=E.|nom3=Noether|titre=Beweis eines Hauptsatzes in der Theorie der Algebren|journal=J. reine angew. Math.|volume=167|année=1932|pages=399-404}} |
||
* {{ |
* {{Article|doi=10.1007/s00407-004-0093-6|titre=Delicate collaboration: Adrian Albert and Helmut Hasse and the Principal Theorem in Division Algebras|année=2005|journal=Archive for History of Exact Sciences | pages=349-379 | volume=59 | numéro=4| nom1=Fenster | prénom1=D. D. | nom2=Schwermer | prénom2=J.}} |
||
* {{ouvrage|prénom=Richard|nom=Pierce|titre=Associative algebras|series=[[Graduate Texts in Mathematics]]|volume=88|éditeur=[[Springer-Verlag]]|lieu=New York-Berlin|année=1982|isbn=0-387-90693-2|zbl=0497.16001|accès url=inscription|url=https://archive.org/details/associativealgeb00pier_0}} |
* {{ouvrage|prénom=Richard | nom=Pierce | titre=Associative algebras|series=[[Graduate Texts in Mathematics]] | volume=88 | éditeur=[[Springer-Verlag]] | lieu=New York-Berlin | année=1982 | isbn=0-387-90693-2|zbl=0497.16001 | accès url=inscription|url=https://archive.org/details/associativealgeb00pier_0}} |
||
* {{ouvrage|nom=Reiner|prénom=I.|lien auteur=Irving Reiner|titre=Maximal Orders| |
* {{ouvrage|nom=Reiner|prénom=I. | lien auteur=Irving Reiner | titre=Maximal Orders | collection=London Mathematical Society Monographs. New Series | volume=28 | éditeur=[[Oxford University Press]] | année=2003 | isbn=0-19-852673-3 | zbl=1024.16008|page=276}} |
||
* {{ |
* {{Ouvrage | lire en ligne=https://www.mathi.uni-heidelberg.de/~roquette/brhano.pdf | titre=The Brauer–Hasse–Noether theorem in historical perspective | citeseerx=10.1.1.72.4101 | année=2005 | collection=Schriften der Mathematisch-Naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften | nom1=Roquette | prénom1=Peter | lien auteur=Peter Roquette | volume=15 | mr=2222818 | zbl=1060.01009 | consulté le=2009-07-05 | doi=10.1007/b138384 | ISBN=978-3-540-23005-2 | pages totales=vi+92 | éditeur=Springer}} |
||
* {{Ouvrage|titre=A<sup>3</sup> & His Algebra | sous-titre=How a boy from Chicago's west side became a force in American mathematics | nom1=Albert | prénom1=Nancy E. | année=2005 | éditeur=[[iUniverse]] | ISBN=978-0-595-32817-8 | pages totales=366}} |
|||
* Albert, Nancy E. (2005), "A Cubed & His Algebra, iUniverse, {{ISBN|978-0-595-32817-8}} |
|||
{{Portail|algèbre}} |
{{Portail|algèbre}} |
||
Version du 21 juin 2023 à 10:55
En théorie algébrique des nombres, le théorème d'Albert–Brauer–Hasse–Noether stipule qu'une algèbre centrale simple sur un corps de nombres K qui se scinde sur chaque complétion Kv est une algèbre de matrices sur K. Le théorème est un exemple de principe local-global en théorie algébrique des nombres et conduit à une description complète des algèbres à division de dimension finie sur les corps de nombres en fonction de leurs invariants locaux. Il a été prouvé indépendamment par Richard Brauer, Helmut Hasse et Emmy Noether et par Abraham Adrian Albert.
Énoncé du théorème
Soit A une algèbre centrale simple de rang d sur un corps de nombres K . Supposons que pour toute valuation v de K, l'algèbre A soit scindée sur le corps local correspondant Kv :
Alors A est isomorphe à l'algèbre de matrices Md(K).
Applications
En utilisant la théorie du groupe de Brauer, on montre que deux algèbres centrales simples A et B sur un corps de nombres K sont isomorphes sur K si et seulement si leurs complétions Av et Bv sont isomorphes sur la complétion Kv pour toute valuation v.
Avec le théorème de Grunwald-Wang, le théorème d'Albert-Brauer-Hasse-Noether implique que toute algèbre centrale simple sur un corps de nombres est cyclique, c'est-à-dire peut être obtenue par une construction explicite à partir d'une extension de corps cyclique L/K.
Articles connexes
Références
- A. A. Albert et H. Hasse, « A determination of all normal division algebras over an algebraic number field », Trans. Amer. Math. Soc., vol. 34, no 3, , p. 722-726 (DOI 10.1090/s0002-9947-1932-1501659-x , zbMATH 0005.05003)
- R. Brauer, H. Hasse et E. Noether, « Beweis eines Hauptsatzes in der Theorie der Algebren », J. reine angew. Math., vol. 167, , p. 399-404
- D. D. Fenster et J. Schwermer, « Delicate collaboration: Adrian Albert and Helmut Hasse and the Principal Theorem in Division Algebras », Archive for History of Exact Sciences, vol. 59, no 4, , p. 349-379 (DOI 10.1007/s00407-004-0093-6)
- Richard Pierce, Associative algebras, vol. 88, New York-Berlin, Springer-Verlag, coll. « Graduate Texts in Mathematics », (ISBN 0-387-90693-2, zbMATH 0497.16001, lire en ligne )
- I. Reiner, Maximal Orders, vol. 28, Oxford University Press, coll. « London Mathematical Society Monographs. New Series », (ISBN 0-19-852673-3, zbMATH 1024.16008), p. 276
- Peter Roquette, The Brauer–Hasse–Noether theorem in historical perspective, vol. 15, Springer, coll. « Schriften der Mathematisch-Naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften », , vi+92 (ISBN 978-3-540-23005-2, DOI 10.1007/b138384, MR 2222818, zbMATH 1060.01009, CiteSeerx 10.1.1.72.4101, lire en ligne)
- Nancy E. Albert, A3 & His Algebra : How a boy from Chicago's west side became a force in American mathematics, iUniverse, , 366 p. (ISBN 978-0-595-32817-8)