## [Elemento de Torsión](/es/node/61574) 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.