Skip to main content
2 of 7
fixed latex
Karl Schwede
  • 20.5k
  • 3
  • 53
  • 98

Surjectivity of $f\colon\Gamma_Z(M)\rightarrow\bigoplus_{p\in Z\backslash Z'}\Gamma_{pR_p}(M_p)$

Suppose $Z'\subseteq Z\text{Spec} R$ such that every elements in $Z\backslash Z'$ is a minimal element (w.r.t $\subseteq$) in $Z$. If $M$ is an $R$-module, consider that $\Gamma_Z(M)=\left\{m\in M\mid\text{Supp}_R R(m)\subseteq Z\right\}$.

One defines $f\colon\Gamma_Z(M)\rightarrow\bigoplus_{p\in Z\backslash Z'}\Gamma_{pR_p}(M_p)$ such that $f(m)=(m / 1)_{p\in Z\backslash Z'}$. I need to prove that $f$ is surjective. Any guidance would be helpful for me. (R is Noetherian ring )