MATHEMATICS AND ARTS III

La théorie de Galois présente des analogies si étroites avec la théorie des revêtements que les algébristes emploient un langage géométrique pour parler d'extensions de corps, tandis que les topologues parlent de " revêtements galoisiens ". Chacun des cadres éclaire et enrichit l'autre. Nous nous sommes efforcés ici de développer ces théories de façon parallèle, en commençant par celle des revêtements, qui permet mieux au lecteur de se faire des images. Dans l'étude des surfaces de Riemann, et dans la théorie des " dessins d'enfants " de Grothendieck, ces analogies se concrétisent en équivalences de catégories. Les trois premiers chapitres - ensembles ordonnés, catégories, algèbre linéaire - apportent le langage et les éléments qui permettent de travailler.

Le logiciel de calcul formel Maple est aujourd'hui largement répondu dans les milieux scientifiques. De nombreux livres, parfois volumineux, lui sont consacrés. Le but du présent ouvrage est de proposer à l'utilisateur une initiation aussi pédagogique que possible au langage Maple, en mettant l'accent sur les mécanismes du langage. Ainsi, dons un cadre raisonnable, on pourra trouver l'énoncé explicite des règles en vigueur, une étude soignée de situations délicates et néanmoins courantes, un " démontage " des échecs fréquemment rencontrés par les débutants et, souvent, par des utilisateurs plus aguerris. Guy Le Bris, après avoir longuement expérimenté en classes préparatoires les divers éléments de ce manuel, a mis au point un exposé agréable et clair, qui répondra aux besoins du public varié des utilisateurs de Maple.

A-t-on vraiment compris une théorie si l'on ne sait pas traiter des exemples ? De nombreux théorèmes ne sont-ils pas l'aboutissement de longs calculs sur des cas particuliers ? Les logiciels de calcul formel mettent aujourd'hui ces calculs à la portée de l'étudiant ; ils lui permettent ainsi d'explorer une situation complexe, d'éprouver sur des exemples non triviaux sa compréhension du cours. Sur le plan des contenus, le développement des ordinateurs et de l'algorithmique a provoqué en mathématiques un retour au concret qui n'épargne pas l'algèbre. Ce " retour au concret " est ici mis au service de la théorie : au lieu d'une suite de théorèmes abstraits, les sujets d'algèbre sont abordés à partir d'un riche corpus de calculs, d'exemples, d'applications et d'algorithmes. Fruit de plusieurs années d'enseignement de " Mathématique et Ordinateurs " à l'Université Paris-Sud, Algèbre, arithmétique et Maple est destiné au second cycle des universités et à la préparation à l'agrégation. Il couvre largement le programme habituellement traité en maîtrise dans les domaines suivants : arithmétique, groupes, polynômes à une ou plusieurs variables, théories algébrique et analytique des nombres, théorie de Galois. Chaque chapitre s'ouvre par une initiation aux principales commandes Maple, ainsi qu'aux notions et aux résultats mathématiques essentiels du thème traité. Le lecteur est ensuite guidé dans l'approfondissement de ces notions, dans la découverte de nouvelles applications et d'implémentations sur machine, en exploitant pleinement les ressources du logiciel Maple. Tenant du livre de cours et du recueil d'exercices, cet ouvrage conduit le lecteur dans une double aventure, mathématique et informatique, conjuguant recherches expérimentales et études théoriques et l'incitant à passer de son ordinateur à la bibliothèque, et inversement. Des programmes Maple répondant à la plupart des questions posées sont disponibles sur le site Internet cassini.fr.