Lemma 10.63.17. Let $R$ be a ring. Let $M$ be an $R$-module. Let $S \subset R$ be a multiplicative subset. Assume that every $s \in S$ is a nonzerodivisor on $M$. Then
\[ \text{Ass}_ R(M) = \text{Ass}_ R(S^{-1}M). \]
Proof. As $M \subset S^{-1}M$ by assumption we get the inclusion $\text{Ass}(M) \subset \text{Ass}(S^{-1}M)$ from Lemma 10.63.3. Conversely, suppose that $n/s \in S^{-1}M$ is an element whose annihilator is a prime ideal $\mathfrak p$. Then the annihilator of $n \in M$ is also $\mathfrak p$. $\square$
Comments (0)
There are also: