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

DOI10.1080/00927872.2014.975346zbMATH Open1343.13019arXiv1507.02880OpenAlexW3123465802MaRDI QIDQ2802205FDOQ2802205

Authors: Thierry Coquand, Henri Lombardi 

Publication date: 25 April 2016

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

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.

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

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

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)

Cites Work

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

Cited In (5)

• 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.)
• Valuative Lattices and Spectra
• Curves and coherent Prüfer rings
• Title not available (Why is that?)
• Title not available (Why is that?)

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)