Concept
En mathématiques, la théorie algébrique des nombres est la branche de la théorie des nombres utilisant des outils issus de l'algèbre. Son origine est l'étude des nombres entiers et particulièrement les équations diophantiennes. Pour en résoudre certaines, il est utile de considérer d'autres entiers, dits algébriques. Un exemple est donné par le théorème des deux carrés de Fermat utilisant les entiers de Gauss. Ces ensembles sont équipés de deux lois — une addition et une multiplication — qui vérifient les mêmes propriétés élémentaires que les entiers relatifs : on parle d'anneaux. En particulier, certains d'entre eux disposent d'une division euclidienne. Les résultats classiques de l'arithmétique des entiers naturels s'appliquent encore : lemme d'Euclide, identité de Bézout ou encore théorème fondamental de l'arithmétique. Une structure est particulièrement utilisée, celle de l'anneau quotient Z/nZ composée de congruences sur les entiers. Elle est à l'origine d'une branche de la théorie algébrique des nombres : l'arithmétique modulaire. Tous les ensembles de cette nature n'admettent pas une division euclidienne. Il existe parfois plusieurs décompositions en facteurs premiers. Cette spécificité amène à étudier de manière générale les propriétés de ces structures. L'étude de ces structures est appelée « théorie algébrique classique des nombres ». Une autre structure est utile, elle correspond au plus petit ensemble contenant celui des entiers algébriques considérés tel que tous les éléments non nuls admettent un inverse pour la multiplication. La structure porte le nom de corps commutatif, il s'obtient par une démarche de la même nature que celle qui permet de construire les nombres rationnels, on parle de corps des fractions. Ces ensembles dont les éléments sont appelés nombres algébriques sont l'objet d'une théorie dite de Galois. Des théories mathématiques avancées – comme la cohomologie galoisienne, la théorie des corps de classes, la théorie des représentations d'un groupe fini et les fonctions L – permettent d'étudier les propriétés fines de ces classes de nombres.
