Definición
Un elemento x de un grupo abeliano o módulo que es aniquilado por algún entero no nulo n (n·x = 0) o, más generalmente, por algún escalar no nulo del anillo base; indica un obstáculo de orden finito a la libertad.
Principio
Principio
La torsión detecta finitud en la estructura aditiva: el conjunto de elementos de torsión forma el subgrupo de torsión o submódulo de torsión, y su complemento (cuando existe) mide el rango libre de torsión y los sumandos libres.
Demostración
Demostración
Todo elemento de Z/nZ es de torsión porque n·[k] = 0; en el grupo abeliano Q/Z cada elemento tiene orden finito, por lo que el grupo entero es de torsión; en cambio 1∈Z es sin torsión pues ningún entero no nulo lo aniquila.
Aplicación incorrecta
Aplicación incorrecta
Usar 'torsión' sin especificar el anillo base o el conjunto de escalares (enteros vs. PID vs. anillo general) puede malclasificar elementos; equiparar torsión con finitud del subgrupo generado puede fallar en grupos de torsión infinitos patológicos.
Consecuencia
Consecuencia
Reconocer elementos de torsión posibilita la descomposición primaria, la clasificación de módulos finitamente generados sobre un PID y la comprensión de obstrucciones homológicas: la torsión suele impedir scindidos y afecta cálculos de Ext y Tor.
Inversión
Inversión
El concepto opuesto es sin torsión: elementos sin aniquiladores escalares no nulos. Convertir torsión en sin torsión suele requerir tomar el cociente por la torsión o localizar para invertir los escalares que aniquilan.
Límite
Límite
La noción es estándar para grupos abelianos y módulos sobre anillos conmutativos; para anillos base no conmutativos o módulos sobre anillos con divisores de cero hay que sustituir 'aniquilador entero' por el ideal aniquilador o por elementos regulares y ajustar la definición.
Tensión semántica
Tensión semántica
La torsión se solapa con 'orden finito' en teoría de grupos y con 'torsión en homología' en topología; aunque relacionadas, la torsión en módulos depende del anillo de escalares elegido y puede diferir de la torsión topológica sin un contexto explícito.
Síntesis
Síntesis
Un elemento de torsión es un elemento aditivo aniquilado por un escalar no nulo; detectar torsión separa fenómenos de orden finito del comportamiento libre y es central en resultados de descomposición y clasificación en teoría de módulos y grupos.