Anneaux à diviseurs et anneaux de Krull (une approche constructive) - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Communications in Algebra Année : 2016

Anneaux à diviseurs et anneaux de Krull (une approche constructive)

Résumé

We give give an elementary and constructive version of the theory of “Pr¨ufer v-Multiplication Domains” (which we call “anneaux `a diviseurs” in the paper) and Krull Domains. The main results of these theories are revisited from a constructive point of view, following the Bishop style, and without assuming properties of complete factorizations.
Nous présentons dans cet article une approche constructive, dans le style de Bishop, de la théorie des diviseurs et des anneaux de Krull. Nous accordons une place centrale aux “anneaux à diviseurs”, appelés PvMD dans la littérature anglaise. Les résultats classiques sont obtenus comme résultats d’algorithmes explicites sans faire appel aux hypothèses de factorisation complète.
Fichier principal
Vignette du fichier
DiviseursArticle3.pdf (810.04 Ko) Télécharger le fichier
FrenchMacros.tex (50.22 Ko) Télécharger le fichier
MathMacros.tex (19.44 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01657538 , version 1 (06-12-2017)

Identifiants

Citer

Thierry Coquand, Henri Lombardi. Anneaux à diviseurs et anneaux de Krull (une approche constructive). Communications in Algebra, 2016, 44 (2), pp.515-567. ⟨10.1080/00927872.2014.975346⟩. ⟨hal-01657538⟩
60 Consultations
265 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More