Some remarks about normal rings

DOI10.1515/9781501502620-008MaRDI QIDQ6415484arXivFDO

Authors Thierry Coquand, Henri Lombardi

Publication date 29 October 2022

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)

Abstract: We give a constructive proof that $R[X]$ is normal when $R$ is normal. We apply this result to an operation needed for studying the henselization of a local ring. Our proof is based on the case where $R$ is without zero divisors, which is more involved than the case where $R$ is an integral domain. We have to use a constructive deciphering technique that replaces the use of minimal primes (in classical mathematics) by suitable explicit localizations in a suitable tree.

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 Q6415484)