加载中…
We 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.

生成讲解博客的中文版本

生成AI智能校验的中文版本