MDLUL/lokal frei (Modul)

Start=lokal frei (Modul)

MDLUL/lokal frei (Modul)

Ziel=Kommutativer Ring/Modul/Lokal frei/Definition