## [Torsionselement](/de/node/61574) Definition 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 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 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 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 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 Umkehrung Das Gegenstück ist torsionsfrei: Elemente ohne nichttrivialen Skalar-Annihilator. Um Torsion loszuwerden, lokalisiert man typischerweise oder quotiert durch die Torsionsuntergruppe. ## Abgrenzung 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 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 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.