Kommutative Algebra/Modultheorie/Torsionsmodul/Definition