Kommutative Algebra/Modultheorie/Torsionsfrei/Definition