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-567

Subject Categories

Mathematics

DOI

10.1080/00927872.2014.975346

More information

Created

10/10/2017