Start=freie Auflösung

MDLUL/freie Auflösung

Ziel=Kommutativer Ring/Modul/Freie Auflösung/Definition