Un cours d'algèbre constructive

Un cours d'algèbre constructive

Ray MINES – Fred RICHMAN – Wim RUITENBURG
Henri LOMBARDI (trad.)
Stefan NEUWIRTH (collab.)

2020 – ISBN : 978-2-84867-782-8 – 418 pages – format : 16x24 cm

Collection : Pratiques & techniques

Série : Didactiques

Disponibilité : En stock

20.00 €
OU
Résumé

Ce livre est la traduction française du classique A Course in Constructive Algebra (1988). Il présente les notions de base de l’algèbre moderne d’un point de vue constructif.

Dans l’univers mathématique constructif, le mathématicien idéal peut seulement réaliser des constructions finies par nature. Comme le dit Errett Bishop dans son Constructive Manifesto (1967), « la seule manière de démontrer qu’un objet existe est de donner une procédure finie pour le trouver ». En conséquence, les théorèmes d’existence dans ce livre ont tous un contenu algorithmique implicite qui permet de construire l’objet voulu lorsque les hypothèses sont satisfaites.

L’algèbre constructive peut aussi être vue comme une généralisation de l’algèbre classique en ce qu’elle ne suppose pas la loi du tiers exclu. Tout théorème dans ce livre peut donc également être compris comme se référant à l’univers conventionnel classique du discours mathématique, et les démonstrations du livre sont correctes dans cet univers. L’agréable surprise est que la démonstration constructive, normalement plus précise, est dans bien des cas plus simple.

Sommaire

Préface

Ensembles

Algèbre de base

Anneaux et modules

Divisibilité dans les anneaux intègres

Anneaux principaux

Théorie des corps

Factorisation des polynômes

Anneaux commutatifs noethériens

Algèbres de dimension finie

Groupes libres

Groupes abéliens

Théorie des valeurs absolues

Domaines de Dedekind

Références

Index

Postface

Auteur(s)
Ray MINES
Ray Mines, département de sciences mathématiques, Université du Nouveau Mexique, Las Cruces, États-Unis
Fred RICHMAN
Fred Richman, département de sciences mathématiques, Université du Nouveau Mexique, Las Cruces, États-Unis
Wim RUITENBURG
Wim Ruitenburg, Départemant de mathématiques, statistiques et informatique, Université Marquette, Milwaukee, États-Unis
Henri LOMBARDI (trad.)
Henri Lombardi, maître de Conférences, HDR,hébergé au Département de Mathématiques de l’Université de Franche-Comté
Stefan NEUWIRTH (collab.)
Neuwirth, maître de conférences, Laboratoire de mathématiques de Besançon (UMR 6623), Université de Franche-Comté, Besançon, France
Public
Enseignants du supérieur, aux étudiants et aux enseignants des lycées
éléments téléchargeables
Soutien(s)
Laboratoire de mathématiques de Besançon (UMR 6623)