Tensorprodukt/Moduln/Nenneraufnahme/Ideal/Fakt

Es sei $R$ ein kommutativer Ring und $M$ ein $R$-Modul. Dann gelten folgende Aussagen.

1. Zu einem multiplikativen System  $S\subseteq R$  ist  $M_S\cong R_S{\otimes }_{R}M$. 
2. Zu einem Ideal  $I\subseteq R$  ist  $M/IM\cong R/I{\otimes }_{R}M$. 

Einen Beweis erstellen