Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Torsion-free module
Summary
In algebra, a torsion-free module is a module over a ring such that zero is the only element annihilated by a regular element (non zero-divisor) of the ring. In other words, a module is torsion free if its torsion submodule is reduced to its zero element.
In integral domains the regular elements of the ring are its nonzero elements, so in this case a torsion-free module is one such that zero is the only element annihilated by some non-zero element of the ring. Some authors work only over integral domains and use this condition as the definition of a torsion-free module, but this does not work well over more general rings, for if the ring contains zero-divisors then the only module satisfying this condition is the zero module.
Over a commutative ring R with total quotient ring K, a module M is torsion-free if and only if Tor1(K/R,M) vanishes. Therefore flat modules, and in particular free and projective modules, are torsion-free, but the converse need not be true. An example of a torsion-free module that is not flat is the ideal (x, y) of the polynomial ring k[x, y] over a field k, interpreted as a module over k[x, y].
Any torsionless module over a domain is a torsion-free module, but the converse is not true, as Q is a torsion-free Z-module which is not torsionless.
Over a Noetherian integral domain, torsion-free modules are the modules whose only associated prime is zero. More generally, over a Noetherian commutative ring the torsion-free modules are those modules all of whose associated primes are contained in the associated primes of the ring.
Over a Noetherian integrally closed domain, any finitely-generated torsion-free module has a free submodule such that the quotient by it is isomorphic to an ideal of the ring.
Over a Dedekind domain, a finitely-generated module is torsion-free if and only if it is projective, but is in general not free. Any such module is isomorphic to the sum of a finitely-generated free module and an ideal, and the class of the ideal is uniquely determined by the module.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Ontological neighbourhood