Some remarks about normal rings

DOI10.1515/9781501502620-008arXiv2210.16588MaRDI QIDQ6415484FDOQ6415484

Authors: Thierry Coquand, Henri Lombardi 

Publication date: 29 October 2022

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.

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)

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)