MDLUL/endlich (Modul, kommutativ)

Start=endlich (Modul, kommutativ)

MDLUL/endlich (Modul, kommutativ)

Ziel=Kommutative_Algebra/Modultheorie/Endlicher_Modul/Definition