Ein Element einer abelschen Gruppe oder eines Moduls, das nicht torsionsbehaftet ist; das heißt, kein von Null verschiedenes Integer (oder vorgeschriebener nichtnuller Skalar) annihiliert es, was Abwesenheit endlicher Ordnungsobstructionen anzeigt.

Prinzip

Torsionsfreie Elemente erlauben eine treue Einbettung in Vektorräume nach Tensorisierung mit Q (oder dem Quotientenkörper) und bilden die Grundlage der Rangdefinition; sie sind Bausteine freier Untermoduln nach Entfernung der Torsion.

Demonstration

1 in Z ist torsionsfrei, weil n·1 ≠ 0 für alle n≠0; nichtnull Vektoren eines Vektorraums über Q sind als Z-Modul torsionsfrei; Q als Z-Modul ist torsionsfrei, aber nicht endlich erzeugt frei.

Fehlanwendung

Zu behaupten, torsionsfrei impliziere frei: Module wie Q über Z sind torsionsfrei, aber nicht frei von endlichem Rang; auch das Nicht-Spezifizieren der Skalarmenge kann in die Irre führen — Torsionsfreiheit über Z unterscheidet sich von der über anderen Ringen.

Konsequenz

Torsionsfreie Elemente ermöglichen die Definition von Rang, gewährleisten die Injektivität der Multiplikation durch nichtnull Skalare in bestimmten Fällen und sorgen für besseres Verhalten bei der Lokalisierung; sie sind Voraussetzung, um nach geeigneter Erweiterung Basen zu konstruieren.

Umkehrung

Das Gegenstück ist ein Torsionselement, das durch einen nichttrivialen Skalar getötet wird. Durch Quotientieren nach der Torsionsuntergruppe wird ein Modul, wenn möglich, torsionsfrei.

Abgrenzung

Gilt vor allem für Moduln über Integritätsbereichen oder abelsche Gruppen; bei Moduln über Ringen mit Nullteilern muss die Definition verfeinert werden (z.B. Torsion relativ zu regulären Elementen) und sie trennt möglicherweise nicht klar freies Verhalten.

Semantische Spannung

Torsionsfrei wird oft mit ‚frei‘ oder ‚teilbar‘ verwechselt; Teilbarkeit und Torsionsfreiheit sind unabhängige Eigenschaften und müssen besonders in unendlichen oder nicht-noetherschen Kontexten getrennt behandelt werden.

Synthese

Ein torsionsfreies Element ist eines, das der Multiplikation durch nichtnull Skalare ohne Verschwinden widersteht; das Isolieren torsionsfreier Teile klärt Rang- und Freiheitsfragen und ist ein erster Schritt in strukturellen Zerlegungen von Moduln.