- Thread starter
- Moderator
- #1

- Jun 20, 2014

- 1,896

-----

Given commutative rings with unity $R$ and $S$, let $\phi : R \to S$ be a morphism of rings. It induces a morphism $\phi^* : \operatorname{Spec}(S) \to \operatorname{Spec}(R)$ of prime spectra such that $\phi^*(\mathfrak{q}) = \phi^{-1}(\mathfrak{q})$ for all $\mathfrak{q}\in \operatorname{Spec}(S)$. Show that if $X$ is a finitely generated $R$-module, the support of $S\otimes_R X$ is the inverse image of the support of $X$ under the induced map $\phi^*$.

-----

Remember to read the POTW submission guidelines to find out how to submit your answers!