WHEN DOES A RING EXTENSION OF A GOING-DOWN DOMAIN SATISFY GOING-DOWN?

Abstract

If R is a going-down domain and T is a commutative unital ring extension of R, then R ⊆ T satisfies going-down if and only if the associated reduced ring of T is a torsion-free R-module.