Torsionsfrei
Definition
Ein algebraisches Objekt ist torsionsfrei, wenn seine von Null verschiedenen Elemente keine endliche Ordnung unter der betreffenden Operation haben; bei Moduln über einem Integritätsbereich bedeutet torsionsfrei, dass kein von Null verschiedenes Element durch einen von Null verschiedenen Skalar aufgehoben wird.