Going-down implies generalized going-down

From MaRDI portal





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.











This page was built for publication: Going-down implies generalized going-down

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2566503)