Der wesentliche Punkt ist hier dass M / a n M {\displaystyle {}M/{\mathfrak {a}}^{n}M} ein R / a n {\displaystyle {}R/{\mathfrak {a}}^{n}} -Modul ist.
