Ein Element x einer abelschen Gruppe oder eines Moduls, das durch ein von Null verschiedenes Integer n getötet wird (n·x = 0) oder allgemeiner durch einen nichtnullen Skalar des Grundrings; es signalisiert eine endliche Ordnung als Hindernis für Freiheitsgrade.

Prinzip

Torsion erkennt Endlichkeitsphänomene in der additiven Struktur: die Menge der Torsionselemente bildet die Torsionsuntergruppe bzw. Torsionsuntermodul, und ihr Komplement (falls definiert) misst den torsionsfreien Rang und freie Summanden.

Demonstration

Jedes Element von Z/nZ ist torsionsbehaftet, weil n·[k] = 0; in der abelschen Gruppe Q/Z hat jedes Element endliche Ordnung, daher ist die ganze Gruppe Torsion; dagegen ist 1∈Z torsionsfrei, da kein von Null verschiedenes Integer es annihiliert.

Fehlanwendung

‚Torsion‘ zu verwenden, ohne den Grundring oder die Skalarmenge (Integer vs. PID vs. allgemeiner Ring) zu spezifizieren, kann zu Fehlklassifikationen führen; Torsion mit Endlichkeit der erzeugten Untergruppe gleichzusetzen, kann bei pathologischen unendlichen Torsionsgruppen fehlschlagen.

Konsequenz

Das Erkennen von Torsionselementen ermöglicht Primärzerlegung, die Klassifikation endlich erzeugter Moduln über einem PID und das Verständnis homologischer Hindernisse — Torsion verhindert oft Zerlegungen und beeinflusst Ext- und Tor-Berechnungen.

Umkehrung

Das Gegenstück ist torsionsfrei: Elemente ohne nichttrivialen Skalar-Annihilator. Um Torsion loszuwerden, lokalisiert man typischerweise oder quotiert durch die Torsionsuntergruppe.

Abgrenzung

Die Notion ist Standard für abelsche Gruppen und Moduln über kommutativen Ringen; bei nichtkommutativen Grundringen oder Moduln über Ringen mit Nullteilern muss man den ‚Integer-Annihilator‘ durch ein Annihilatorideal bzw. reguläre Elemente ersetzen und die Definition anpassen.

Semantische Spannung

Torsion überlappt mit ‚endlicher Ordnung‘ in der Gruppentheorie und mit ‚Torsion in der Homologie‘ in der Topologie; obwohl verwandt, hängt Torsion bei Moduln vom gewählten Skalarring ab und kann sich ohne Kontext von topologischer Torsion unterscheiden.

Synthese

Ein Torsionselement ist ein additives Element, das durch einen von Null verschiedenen Skalar getötet wird; Torsion zu erkennen trennt endliche Ordnungsphänomene vom freien Verhalten und ist zentral für Zerlegungs- und Klassifikationssätze in Modul- und Gruppentheorie.