Epistémologie mathématique

Cet ouvrage est un cours d'introduction à l'algèbre commutative de base. Il est écrit selon le point de vue constructif. Tous les résultats ont un contenu calculatoire clair. Un regard nouveau et souvent simplificateur est porté sur plusieurs théories classiques, en particulier sur certaines qui n'ont pas de contenu algorithmique dans leur cadre naturel le plus général, comme la théorie de Galois, celle des modules projectifs de type fini, celle des anneaux de Dedekind ou celle de la dimension de Krull. Cours et Exercices 322 exercices et 50 problèmes, la plupart corrigés

Fruit d'une collaboration de plus de dix ans entre deux spécialistes confirmés du domaine, ce grand traité d'algèbre commutative est sans équivalent dans la littérature mathématique. Ses auteurs, Henri Lombardi et Claude Quitté, y adoptent résolument le point de vue constructif, aujourd'hui prégnant en mathématiques. Ils privilégient les résultats explicites, si bien que tous les théorèmes proposés ont un contenu algorithmique. Plusieurs théories classiques "abstraites" sont ainsi revisitées, avec un éclairage nouveau qui en facilite l'accès. C'est le cas par exemple de la théorie de Galois, des anneaux de Dedekind, des modules projectifs de type fini ou de la théorie de la dimension de Krull, qui dans leur cadre classique ne laissent pas entrevoir un contenu algorithmique. Avec un millier de pages écrites dans un style alerte et précis et un peu plus de 320 exercices et problèmes, le plus souvent accompagnés de solutions, cet ouvrage monumental fera date et deviendra rapidement une référence incontournable. Sa publication chez les éditions Calvage & Mounet constitue un véritable événement éditorial et souligne le rôle de plus en plus reconnu de l'aspect effectif dans le développement des mathématiques contemporaines. L'ouvrage s'adresse en priorité aux étudiants et enseignants en M1 et M2. II intéressera également les informaticiens théoriciens et les spécialistes en calcul formel. Enfin, les agrégatifs curieux y trouveront un nombre considérable d'idées nouvelles pour leurs leçons d'oral.

Le livre offre un traitement élémentaire, original et complètement constructif de l'ouvrage de référence de D.G. Northcott, Finite Free Resolutions, très connu en Algèbre commutative. La notion basique de "profondeur" proposée par M. Hochster est utilisée comme chez Northcott, sans référence à l'algèbre homologique.

Réservée autrefois aux spécialistes, la théorie des modules a fini par convaincre les plus hésitants par son efficacité et, au fond, par sa simplicité. Raisonner en termes de modules c'est donner aux éléments de l'anneau un premier souffle de vie, un peu comme on fait avec les éléments d'un groupe quand on le fait agir. Mais, au delà de cet acte averti, cette théorie s'est imposée par la portée unifiante de ses méthodes et de ses résultats. Le présent livre est un cours d'algèbre pour le Master 1, consacré précisément à la théorie des modules sur les anneaux commutatifs. La première partie traite le cas des modules de présentation finie sur les anneaux principaux. Avec de belles applications à la solution des systèmes linéaires à coefficients entiers et à la structure des endomorphismes des espaces vectoriels de dimension finie, cette première partie s'avérera un outil précieux pour la préparation à l'agrégation. La deuxième partie approfondit les notions développées dans la première, en traitant notamment les modules de présentation finie sur les anneaux d'entiers de corps de nombres, et, plus généralement, sur les anneaux de dimension 0 ou 1. L'algèbre dans la tradition d'al-Khwarismi, Viète, Gauss, Galois, Bezout, Kummer et Kronecker est une science de nature algorithmique. Dans ce traité d'algèbre moderne, les auteurs se situent dans cette tradition et adoptent le point de vue constructif, pour lequel tous les théorèmes d'existence ont un contenu algorithmique explicite. En particulier, lorsqu'un théorème affirme l'existence d'un objet, solution du problème donné en hypothèse, un algorithme de construction de l'objet peut toujours être extrait de la démonstration qui en est donnée. En ce sens, cet ouvrage est entièrement original, sans équivalent dans la littérature contemporaine. Les cent quatre-vingt-sept exercices, tous corrigés, permettront aux lecteurs de se convaincre de l'efficacité du point de vue constructif, tout en apportant parfois de précieux compléments au cours proprement dit. L'ouvrage ne réclame comme prérequis que les notions de base concernant la théorie des groupes, l'algèbre linéaire sur les corps et la théorie des déterminants.