6

I'm trying to prove the following:

Let $f:A\rightarrow B$ be an integral homomorphism (e.g. $B/f(A)$ is a integral extension). Consider $f^{*}: \operatorname{Spec}B \rightarrow \operatorname{Spec}A$ given by $f^{*}(Q)=f^{-1}(Q)$. Show that $f^{*}$ is a closed map.

My problem here is that a I don't know how to describe the closed sets in the Zariski topology, since I have to show that given $Q$ closed in $\operatorname{Spec}B$ then $f^{*}(Q)$ is closed in $\operatorname{Spec}A$.

Thank you for any help.

user26857
  • 52,094
User43029
  • 1,245
  • 2
    As far as I know the closed sets in Zariski topology are of the form $V(I)$, the set of prime ideals containing a given ideal $I$. –  May 10 '13 at 12:59
  • 4
    Why do you want to prove this without knowing the definition of the topological spaces involved?! The claim follows from Going-Up, see also the almost identical question http://math.stackexchange.com/questions/383080 – Martin Brandenburg May 10 '13 at 13:06
  • Related: http://math.stackexchange.com/questions/1283839/closedness-and-going-up-property-an-explicit-proof – user26857 May 17 '15 at 13:37

0 Answers0