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