MDLUL/frei (Modul, kommutativ)

Start=frei (Modul, kommutativ)

MDLUL/frei (Modul, kommutativ)

Ziel=Kommutative_Algebra/Freier_Modul/Definition