MDLUL/endlich erzeugt (Modul)

Start=endlich erzeugt (Modul)

MDLUL/endlich erzeugt (Modul)

Ziel=Kommutative_Algebra/Modultheorie/Endlicher_Modul/Definition