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.

Prinzip

Torsionsfreiheit kennzeichnet das Fehlen periodischer Elemente und erlaubt häufig Einbettungen in Vektorräume oder Lokalisierungen; sie ergänzt das Torsionsunterobjekt und ist zentral für Strukturzerlegungen.

Demonstration

Die additive Gruppe Z ist torsionsfrei, da kein von Null verschiedenes Element endliche additive Ordnung besitzt. Jede Untergruppe eines Q‑Vektorraums ist torsionsfrei, weil nur der Nullvektor durch einen von Null verschiedenen Ganzzahlenscalar aufgehoben werden kann.

Fehlanwendung

Torsionsfrei mit frei (frei­er Modul oder projektiv) gleichzusetzen — ein torsionsfreier abelscher Gruppe muss nicht frei sein — oder den Begriff über Ringe mit Nullteilern zu verwenden, ohne die Annulatorbedingung anzupassen.

Konsequenz

Torsionsfreie Objekte haben andere Erweiterungs‑ und Einbettungseigenschaften: torsionsfreie abelsche Gruppen lassen sich nach Tensorisierung mit Q in Vektorräume einbetten, und Klassifikationssätze trennen den torsionsfreien Anteil vom torsionsbehafteten.

Umkehrung

Das Einführen von Torsion erzeugt endliche Ordnungsobstakel, verändert Ext‑Gruppen und verhindert oft Einbettungen in torsionsfreie Bereiche; es ist das komplementäre Phänomen zur Torsionsfreiheit.

Abgrenzung

Die genaue Bedeutung hängt vom Grundring ab: über einem Integritätsbereich gilt die Standarddefinition, über Ringen mit Nullteilern muss der Begriff verfeinert werden (z. B. Ausschluss von Elementen, die durch Nicht‑Nullteiler aufgehoben werden) oder man verwendet eine geeignete Torsionstheorie.

Semantische Spannung

Torsionsfrei wird gelegentlich mit frei oder flach verwechselt; die Spannung liegt zwischen dem Fehlen von endlichen Ordnungen und stärkeren strukturellen Eigenschaften (frei, projektiv, teilbar).

Synthese

Torsionsfrei bezeichnet den Teil eines algebraischen Objekts ohne endliche Ordnungserscheinungen: kein von Null verschiedenes Element wird durch zulässige Skalare aufgehoben, was Einbettungen und Zerlegungen ermöglicht, die das Torsionsverhalten ergänzen.