A GENERALIZATION OF PRÜFER'S ASCENT RESULT TO NORMAL PAIRS OF COMPLEMENTED RINGS

Abstract

Let R ⊆ T be a (unital) extension of (commutative) rings, such that the total quotient ring of R is a von Neumann regular ring and T is torsion-free as an R-module. Let T ⊆ B be a ring extension such that B is a reduced ring that is torsion-free as a T-module. Let R* (respectively, A) be the integral closure of R in T (respectively, in B). Then (R*, T) is a normal pair (i.e. S is integrally closed in T for each ring S such that R* ⊆ S ⊆ T) if and only if (A, AT) is a normal pair. This generalizes results of Prüfer and Heinzer on Prüfer domains to normal pairs of complemented rings.