Some remarks about normal rings

DOI10.1515/9781501502620-008MaRDI QIDQ5221837zbMATH OpenOpenAlexFDO

Authors Thierry Coquand, Henri Lombardi

Publication date 3 April 2020

Published in Concepts of Proof in Mathematics, Philosophy, and Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1515/9781501502620-008

zbMATH Keywords

\(Pf\)-ringconstructive mathematicsGcd treenormal ring

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Integral closure of commutative rings and ideals (13B22) Rings of fractions and localization for commutative rings (13B30) Étale and flat extensions; Henselization; Artin approximation (13B40)

Recommendations

• Elementary constructive theory of Henselian local rings
• Seminormal rings (following Thierry Coquand)
• When is a regular local ring a locality ?
• Factorial henselian rings with non-factorial completions
• Strongly Noetherian rings and constructive ideal theory

Cited in

(2)

• Some remarks about normal rings
• Multivariate Hensel lemma for ultrametric fields

This page was built for publication: Some remarks about normal rings

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