0

Let $A$ be a ring and $S\subset A$ be a multiplicatively closed subset. Let $M$ be an $A$-module and let $\iota:M\to S^{-1}M$ be the natural map given by $m\mapsto m/1$. let $N'$ be a $S^{-1}A$-submodule of $S^{-1}M$, and let $N:=\iota^{-1}N'$ be the preimage of $N$ under $\iota$. Show that $S^{-1}N=N'$.

I want to show that $\forall n/s\in S^{-1}N$, we also have $n/s\in N'$. Then for some $n'/s'\equiv n/s$, $n'/1\in N'$. But I don't know how to show that $n/s\in N'$.

1 Answers1

1

Since $(n/1) = \iota (n) \in N'$, you have $$n/s = (1/s)(n/1) \in (S^{-1}A)N' = N'$$ because $N'$ is a $S^{-1}A$-module.

Crostul
  • 36,738
  • 4
  • 36
  • 72