MDLUL/endlich erzeugt (kommutative Gruppe)

Start=endlich erzeugt (kommutative Gruppe)

MDLUL/endlich erzeugt (kommutative Gruppe)

Ziel=Kommutative Algebra/Modultheorie/Endlicher Modul/Definition