RING DIVIDERS AND KRULL RINGS (A CONSTRUCTIVE APPROACH)
Artikel i vetenskaplig tidskrift, 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
Författare
Thierry Coquand
Göteborgs universitet
H. Lombardi
Communications in Algebra
0092-7872 (ISSN) 1532-4125 (eISSN)
Vol. 44 2 515-567Ämneskategorier
Matematik
DOI
10.1080/00927872.2014.975346