2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/65038We give an elementary proof that for a ring homomorphism A -> B, satisfying the property that every ideal in A is contracted from B, the following property holds: for every chain of prime ideals p_0 \subset ... \subset p_r in A there exists a chain of prime ideals q_0 \subset ... \subset q_r in B such that q_i \cap A = p_i.to appear in Journal of pure and applied algebraCommutative Algebra13B24text