Torsion bezeichnet die Eigenschaft von Elementen, unter der betreffenden Operation endliche Ordnung zu haben; die Torsionsuntergruppe (oder Torsionsuntermodul) ist die Menge aller solchen Elemente im umgebenden algebraischen Objekt.

Prinzip

Torsion trennt den periodischen Anteil einer Struktur: Elemente, die durch irgendeine nicht‑null ganze Zahl (bzw. durch einen nicht‑null Skalar im Modulkontext) aufgehoben werden, bilden ein ausgezeichnetes Unterobjekt, das oft zusammen mit einem torsionsfreien Komplement die ganze Struktur zerlegt.

Demonstration

Die Gruppe Q/Z besteht vollständig aus Torsionselementen: jede rationale Klasse hat endliche additive Ordnung. Im Gegensatz dazu ist Z torsionsfrei, da kein von Null verschiedenes Element endliche additive Ordnung besitzt.

Fehlanwendung

Torsion ohne Kontext (Gruppe vs. Modul über einem Ring) zu nennen und dadurch Annulatoren falsch zu interpretieren (bei Ringen mit Nullteilern versagt die naive Definition), oder Torsion mit Nilpotenz oder Teilbarkeit zu verwechseln.

Konsequenz

Die Bestimmung der Torsionsuntergruppe ermöglicht Strukturzerlegungen (bei endlich erzeugten abelschen Gruppen z. B. Torsion ⊕ freier Anteil), präzisiert Klassifikationen und beeinflusst Ext‑ und Homologie‑Berechnungen.

Umkehrung

Das Fehlen von Torsion (torsionsfrei) bedeutet, dass jedes von Null verschiedene Element unendliche Ordnung hat oder nicht durch die erlaubten Skalare aufgehoben wird; das ändert Einbettungs‑ und Erweiterungseigenschaften deutlich.

Abgrenzung

Torsion ist gut handhabbar für abelsche Gruppen und Moduln über Integritätsbereichen; für Moduln über Ringen mit Nullteilern muss man ‚endliche Ordnung‘ durch ‚aufgehoben durch einen Nicht-Nullteiler‘ ersetzen oder eine geeignete Torsionstheorie verwenden—die genaue Bedeutung hängt von der Kategorie ab.

Semantische Spannung

Algebraische Torsion (Elemente endlicher Ordnung) wird oft mit topologischer Torsion (Homologietorsion) oder geometrischen Torsionsbegriffen verwechselt; die Spannung entsteht durch identische Terminologie für unterschiedliche, wenn auch verwandte Invarianten.

Synthese

Torsion fasst den endlichen Ordnungsanteil eines algebraischen Objekts zusammen: die Untermenge der Elemente, die durch einen nicht‑null Skalar oder Potenz aufgehoben werden, womit sich die periodische Struktur isolieren und in torsionsfreie sowie torsionsbehaftete Teile zerlegen lässt.