Lemma 10.9.9. Let $R$ be a ring. Let $S \subset R$ be a multiplicative subset. Let $M$ be an $R$-module. Then

where the preorder on $S$ is given by $f \geq f' \Leftrightarrow f = f'f''$ for some $f'' \in R$ in which case the map $M_{f'} \to M_ f$ is given by $m/(f')^ e \mapsto m(f'')^ e/f^ e$.

## Comments (4)

Comment #587 by Wei Xu on

Comment #588 by Wei Xu on

Comment #600 by Johan on

Comment #2147 by Johan on

There are also: