RING DIVIDERS AND KRULL RINGS (A CONSTRUCTIVE APPROACH)
| Affiliation auteurs | !!!! Error affiliation !!!! |
| Titre | RING DIVIDERS AND KRULL RINGS (A CONSTRUCTIVE APPROACH) |
| Type de publication | Journal Article |
| Year of Publication | 2016 |
| Auteurs | Coquand T., Lombardi H. |
| Journal | COMMUNICATIONS IN ALGEBRA |
| Volume | 44 |
| Pagination | 515-567 |
| Type of Article | Article |
| ISSN | 0092-7872 |
| Mots-clés | Constructive mathematics, Divisor theory, Krull domains, PvMD |
| Résumé | 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. |
| DOI | 10.1080/00927872.2014.975346 |