MDLUL/Erzeugendensystem (Modul, kommutativ)

MDLUL/Erzeugendensystem (Modul, kommutativ)

Start=Erzeugendensystem (Modul, kommutativ)

Ziel=Kommutative_Algebra/Modultheorie/Erzeugendensystem/Definition