Torsión (álgebra)

Un R-módulo M es llamado módulo de torsión si todos sus elementos son elementos de torsión.

En (Lam, 2007) se demuestra que R es un Anillo de Ore derecho si y solamente si T(M) es un submódulo de M para todos los R-módulos derechos.

Como los dominios noetherianos derechos son anillos de Ore, esto cubre el caso cuando R es un dominio noetheriano derecho (que podría ser no conmutativo).

En especial uno puede tomar S como el set de los elementos regulares del anillo R y recobrar la definición anterior.

Todo grupo abeliano puede ser visto como un Z-módulo, y en este caso las dos nociones de torsión coinciden.