Théorie algébrique des nombres et calcul formel

Abstract

La théorie algébrique des nombres est née du désir de résoudre certaines équations diophantiennes en nombres entiers (typiquement, l'équation de Fermat). Elle introduit et étudie des structures algébriques associées aux extensions algébriques de ℚ ou de Fq (t), en y retrouvant la trace des propriétés des entiers ordinaires, par exemple la factorisation unique en produit de nombres premiers, sous une forme affaiblie. Je motiverai l'introduction des objets correspondants (anneaux d'entiers, groupes de classes, unités, groupes de Galois, fonctions L), dans le cas des corps de nombres, et expliquerai comment les calculer en temps raisonnable. On citera des applications à la résolution algorithmique d'équations diophantiennes concrètes (équations aux normes, équations de Thue).