Modul/Komplettierung/Direkte Summe/Fakt/Beweis

Beweis

Dies ergibt sich aus

${}(M\times N)/{\mathfrak {a}}^{n}(M\times N)\cong M/{\mathfrak {a}}^{n}M\times N/{\mathfrak {a}}^{n}N\,.$

Zur bewiesenen Aussage