MDLUL/freier (Modul,kommutativ)

Start=freier (Modul,kommutativ)

MDLUL/freier (Modul,kommutativ)

Siehe=frei (Modul, kommutativ)
MDLUL/frei (Modul, kommutativ)
Ziel=Kommutative_Algebra/Freier_Modul/Definition