MDLUL/torsionsfrei (Modul)

Start=torsionsfrei (Modul)

MDLUL/torsionsfrei (Modul)

Ziel=Kommutative_Algebra/Modultheorie/Torsionsfrei/Definition