RING DIVIDERS AND KRULL RINGS (A CONSTRUCTIVE APPROACH)
Journal article, 2016
We give give an elementary and constructive version of the theory of "Prufer vMultiplication Domains" (which we call " anneaux a diseurs" in the article) 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.
PvMD
Krull domains
ideal theory
multiplication domains
divisors
Constructive mathematics
Mathematics
Divisor theory
Author
Thierry Coquand
University of Gothenburg
H. Lombardi
Communications in Algebra
0092-7872 (ISSN) 1532-4125 (eISSN)
Vol. 44 2 515-567Subject Categories
Mathematics
DOI
10.1080/00927872.2014.975346