Going-down implies generalized going-down (Q2566503)

The authors prove that the going-down property GD for a unital homomorphism of commutative rings implies the generalized going-down property GGD. Property GGD means that if \(f=A\to B\) is a unital homomorphism, \(Q\) is a prime ideal of \(B\) and \(P=f^{-1}Q\), then any chain of prime ideals of \(A\) contained in \(P\) can be lifted to a chain of prime ideals of \(B\) contained in \(Q\). In the proof the authors use the Kang-Oh theorem that GU (going up) implies GGU; to reduce to this theorem, the authors use some topological and order-theoretic results related to spectral and flat topologies, especially Hochster's theorem on inverting the prime spectrum of a ring.