Kommutativer Ring/Nenneraufnahmen/Tensorprodukt/Fakt

Es sei ${}R$ ein kommutativer Ring und seien ${}S,T\subseteq R$ multiplikative Systeme.

Dann gibt es eine kanonische ${}R$-Algebraisomorphie

$R_{S\cdot T}\longrightarrow R_{S}\otimes _{R}R_{T}.$

Einen Beweis erstellen