Anneaux à diviseurs et anneaux de Krull (une approche constructive)

DOI10.1080/00927872.2014.975346MaRDI QIDQ2802205zbMATH OpenOpenAlexFDO

Authors Thierry Coquand, Henri Lombardi

Publication date 25 April 2016

Published in Communications in Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1507.02880

zbMATH Keywords

constructive mathematicsKrull domainsPvMDdivisor theory

Mathematics Subject Classification ID

Divisors, linear systems, invertible sheaves (14C20) Other constructive mathematics (03F65) Ordered groups (06F15) Dedekind, Prüfer, Krull and Mori rings and their generalizations (13F05)

Abstract: Nous pr'esentons dans cet article une approche constructive, dans le style de Bishop, de la th'eorie des diviseurs et des anneaux de Krull. Nous accordons une place centrale aux "anneaux `a diviseurs," appel'es PvMD dans la litt'erature anglaise. Les r'esultats classiques sont obtenus comme r'esultats d'algorithmes explicites sans faire appel aux hypoth`eses de factorisation compl`ete. 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.

Recommendations

• On Krull rings with zero divisors
• Theories of rings with divisibility
• Rings of elementary divisors and distributive rings
• Rings of elementary divisors and distributive rings
• A characterization of Krull rings with zero divisors
• scientific article; zbMATH DE number 611195
• Characterizations of Krull rings with zero divisors
• Structure of rings with a condition on zero divisors
• Structure of rings with certain conditions on zero divisors.
• On the multiplicative structure of finite division rings

Cites work

• scientific article; zbMATH DE number 3165627 (Why is no real title available?)
• scientific article; zbMATH DE number 43569 (Why is no real title available?)
• A ``\(v\)-operation free approach to Prüfer \(v\)-multiplication domains
• A course in constructive algebra
• Abstrakte Begründung der multiplikativen Idealtheorie
• Arithmetic and ideal theory of commutative semigroups
• Characterization of Prüfer-like monoids and domains by GCD-theories.
• Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
• Divisorentheorie einer Halbgruppe
• Divisors of finite character
• Finite conductor rings
• Groupes et anneaux reticules
• On \(\nu\)-domains: a survey
• Prüfer *-multiplication domains, Nagata rings, and Kronecker function rings
• Prüfer v-multiplication domains and the ring \(R[X]_{N_ v}\)
• Recursive Functions and Constructive Mathematics
• Rings with a theory of greatest common divisors
• Some Results on v-Multiplication Rings
• Untersuchungen über Teilbarkeitseigenschaften in Körpern.

Cited in

(5)

• scientific article; zbMATH DE number 2182806 (Why is no real title available?)
• Algorithmic theory of arithmetic rings, Prüfer rings and Dedekind rings. (Théorie algorithmique des anneaux arithmétiques, des anneaux de Prüfer et des anneaux de Dedekind.)
• scientific article; zbMATH DE number 4183415 (Why is no real title available?)
• Valuative Lattices and Spectra
• Curves and coherent Prüfer rings

This page was built for publication: Anneaux à diviseurs et anneaux de Krull (une approche constructive)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2802205)