Let $f: A \rightarrow B$ be a ring homomorphism between commutative rings with identity. Then there exists an induced map $f' : Spec(B) \rightarrow Spec(A)$. If $f'$ is surjective, then clearly every prime ideal of $A$ is a contracted ideal. Now my question is, is the converse true?
If every prime ideal is a contracted ideal, does it imply that the induced map between spectrums is surjective?
7
$\begingroup$
commutative-algebra
1 Answers
4
Let $P$ be a prime ideal of $A$, and suppose that $P=f^{-1}(I)$ where $I$ is some ideal of $B$. Let $S=A-P$, a multiplicatively closed subset of $A$, and $T=f(S)$. Then $T$ is a multiplicatively closed subset of $B$ and is disjoint from $I$. By Zorn's lemma, there is an ideal $Q$ of $B$ maximal with respect to the conditions that $Q$ contains $I$ and $Q$ is disjoint from $T$. By a standard argument, $Q$ is prime. Moreover $f^{-1}(Q)=P$.
-
0Thank you for your clarification! – 2010-11-17