Tensorprodukt/Restklassenringe/Aufgabe

Es sei ${}R$ ein kommutativer Ring und ${}{\mathfrak {a}},{\mathfrak {b}}\subseteq R$ seien Ideale. Zeige die ${}R$-Algebraisomorphie

${}R/{\mathfrak {a}}\otimes _{R}R/{\mathfrak {b}}=R/{\left({\mathfrak {a}}+{\mathfrak {b}}\right)}\,.$

Eine Lösung erstellen