Un elemento de un grupo abeliano o módulo que no es de torsión; equivalentemente, ningún entero no nulo (o escalar no nulo prescrito) lo aniquila, lo que indica ausencia de obstrucciones de orden finito.

Principio

Los elementos sin torsión permiten una inmersión fiel en espacios vectoriales tras tensar con Q (o el campo de fracciones) y sustentan la definición de rango; son bloques básicos de submódulos libres cuando se elimina la torsión.

Demostración

1 en Z es sin torsión porque n·1 ≠ 0 para todo entero n≠0; vectores no nulos en un espacio vectorial sobre Q son sin torsión como módulos sobre Z; Q como Z-módulo es sin torsión pero no libre de rango finito.

Aplicación incorrecta

Suponer que sin torsión implica libre: módulos como Q sobre Z son sin torsión pero no libres de rango finito; también omitir especificar el conjunto de escalares puede inducir a error — la torsión sobre Z difiere de la sobre otro anillo.

Consecuencia

Los elementos sin torsión permiten definir el rango, garantizan cierta inyectividad de la multiplicación por escalares no nulos y aseguran mejor comportamiento bajo localización; son prerequisitos para construir bases tras una extensión adecuada.

Inversión

La noción opuesta es elemento de torsión, aniquilado por un escalar no nulo. Eliminar la torsión (cociente por el subgrupo de torsión) convierte un módulo en módulo sin torsión cuando es posible.

Límite

Se aplica principalmente a módulos sobre dominios íntegros o grupos abelianos; para módulos sobre anillos con divisores de cero la noción debe refinarse (p. ej. torsión relativa a elementos regulares) y puede no separar claramente el comportamiento libre.

Tensión semántica

Sin torsión suele confundirse con 'libre' o con 'divisible' en uso corriente; divisibilidad y ausencia de torsión son propiedades independientes y deben tratarse separadamente, sobre todo en contextos infinitos o no noetherianos.

Síntesis

Un elemento sin torsión es aquel que resiste la multiplicación por escalares no nulos sin aniquilarse; aislar las partes sin torsión aclara cuestiones de rango y libertad y es un primer paso en descomposiciones estructurales de módulos.