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.
Domaines
Algèbre commutative [math.AC]
Fichier principal
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...