Dimension de Heitmann des treillis distributifs et des anneaux commutatifs.

fichier pdf,

avec Thierry Coquand et Claude Quitté.
Publications Mathématiques de Besançon. Algèbre et Théorie des nombres: 2003-2006, pages 57-100.

Résumé : Nous étudions la notion de dimension introduite par Heitmann dans son article remarquable de 1984 (Generating non-Noetherian modules efficiently. Michigan Math. 2 (1984) 167--180.), ainsi qu'une notion voisine, seulement implicite dans ses preuves. Nous développons ceci d'abord dans le cadre général de la théorie des treillis distributifs et des espaces spectraux. Nous obtenons ensuite des versions constructives de certains théorèmes importants d'algèbre commutative. Les versions constructives de ce ces théorèmes s'avèrent en fin de compte plus simples, et parfois plus générales, que les versions classiques abstraites correspondantes.

Errata : Le mieux est de consulter le pdf corrigé qui se trouve sur la page web. Pour un premier coup d'oeil voir errata, fichier pdf.