Definición
Torsión designa la propiedad de los elementos que tienen orden finito bajo la operación relevante, y el subgrupo de torsión (o submódulo de torsión) es el conjunto de todos esos elementos dentro del objeto algebraico ambiente.
Principio
Principio
La torsión aísla la parte periódica de una estructura: los elementos anulados por algún entero no nulo (o por algún escalar no nulo en contextos de módulos) forman un subobjeto distinguido que con frecuencia permite descomponer el objeto con un complemento sin torsión.
Demostración
Demostración
El grupo Q/Z está formado enteramente por elementos de torsión: cada clase racional tiene orden aditivo finito. En contraste, Z es libre de torsión porque ningún entero no nulo tiene orden aditivo finito.
Aplicación incorrecta
Aplicación incorrecta
Usar 'torsión' sin precisar el contexto (grupo frente a módulo sobre un anillo) y así malinterpretar los anuladores (por ejemplo sobre anillos con divisores de cero la definición ingenua falla), o confundir torsión con nilpotencia o divisibilidad.
Consecuencia
Consecuencia
Identificar el subgrupo de torsión permite descomposiciones estructurales (por ejemplo los grupos abelianos de tipo finito se descomponen en torsión ⊕ parte libre), afina la clasificación e informa cálculos de extensiones y homología.
Inversión
Inversión
La ausencia de torsión (libre de torsión) implica que todo elemento no nulo tiene orden infinito o no es anulado por los escalares permitidos, lo que conlleva propiedades de inclusión y extensión diferentes.
Límite
Límite
La torsión está bien definida para grupos abelianos y módulos sobre dominios íntegros; para módulos sobre anillos con divisores de cero hay que reemplazar 'orden finito' por 'anulado por un no divisor de cero' o usar una teoría de torsión apropiada: el significado exacto depende de la categoría.
Tensión semántica
Tensión semántica
La torsión en álgebra (elementos de orden finito) a menudo se confunde con la torsión topológica (torsión en homología) o con nociones geométricas de torsión; la tensión procede del uso del mismo vocabulario para invariantes distintos pero relacionados.
Síntesis
Síntesis
La torsión recoge el núcleo de orden finito de un objeto algebraico: la subcolección de elementos anulados por algún escalar o potencia no nula, que aísla la estructura periódica y permite descomponer en partes con y sin torsión.