MDLUL/lokal freier Modul (quasiaffin)

Start=lokal freier Modul (quasiaffin)

MDLUL/lokal freier Modul (quasiaffin)

Ziel=Kommutativer Ring/Modul/Lokal frei auf U/Definition