## [Torsionsfrei](/de/node/63392) 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. ## Prinzip 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 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 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 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 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 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 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 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.