Torsionless module

In abstract algebra, a module M over a ring R is called torsionless if it can be embedded into some direct product R^I. Equivalently, M is torsionless if each non-zero element of M has non-zero image under some R-linear functional f:

f\in M^{\ast }=\operatorname {Hom} _{R}(M,R),\quad f(m)\neq 0.

This notion was introduced by Hyman Bass.

Properties and examples

A module is torsionless if and only if the canonical map into its double dual,

M\to M^{\ast \ast }=\operatorname {Hom} _{R}(M^{\ast },R),\quad m\mapsto (f\mapsto f(m)),m\in M,f\in M^{\ast },

is injective. If this map is bijective then the module is called reflexive. For this reason, torsionless modules are also known as semi-reflexive.

A unital free module is torsionless. More generally, a direct sum of torsionless modules is torsionless.
A free module is reflexive if it is finitely generated, and for some rings there are also infinitely generated free modules that are reflexive. For instance, the direct sum of countably many copies of the integers is a reflexive module over the integers, see for instance.

A submodule of a torsionless module is torsionless. In particular, any projective module over R is torsionless; any left ideal of R is a torsionless left module, and similarly for the right ideals.
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 that is not torsionless.
If R is a commutative ring that is an integral domain and M is a finitely generated torsion-free module then M can be embedded into Rⁿ, and hence M is torsionless.
Suppose that N is a right R-module, then its dual N^∗ has a structure of a left R-module. It turns out that any left R-module arising in this way is torsionless (similarly, any right R-module that is a dual of a left R-module is torsionless).
Over a Dedekind domain, a finitely generated module is reflexive if and only if it is torsion-free.
Let R be a Noetherian ring and M a reflexive finitely generated module over R. Then $M\otimes _{R}S$ is a reflexive module over S whenever S is flat over R.

Relation with semihereditary rings

Stephen Chase proved the following characterization of semihereditary rings in connection with torsionless modules:

For any ring R, the following conditions are equivalent:

R is left semihereditary.
All torsionless right R-modules are flat.
The ring R is left coherent and satisfies any of the four conditions that are known to be equivalent:
- All right ideals of R are flat.
- All left ideals of R are flat.
- Submodules of all right flat R-modules are flat.
- Submodules of all left flat R-modules are flat.

(The mixture of left/right adjectives in the statement is not a mistake.)

Note

↑ Lam, T. Y. (1999). "Bass's work in ring theory and projective modules". In Lam, T. Y.; Magid, A. R. (eds.). Algebra, $K$ -theory, Groups, and Education: On the occasion of Hyman Bass's 65th birthday. Papers from the conference held at Columbia University, New York, November 6–7, 1997. Contemporary Mathematics. Vol. 243. Providence, Rhode Island: American Mathematical Society. pp. 83–124. arXiv:math/0002217. doi:10.1090/conm/243/03688. ISBN 0-8218-1087-1. MR 1732042. Since $R$ is not a domain any more, we do not have a natural notion of torsionfree modules. In their place, Bass introduced the notion of a torsionless module.
↑ Eklof, P. C.; Mekler, A. H. (2002). Almost Free Modules - Set-theoretic Methods. North-Holland Mathematical Library. Vol. 65. doi:10.1016/s0924-6509(02)x8001-5. ISBN 9780444504920. S2CID 116961421.
↑ Proof: If M is reflexive, it is torsionless, thus is a submodule of a finitely generated projective module and hence is projective (semi-hereditary condition). Conversely, over a Dedekind domain, a finitely generated torsion-free module is projective and a projective module is reflexive (the existence of a dual basis).
↑ Bourbaki, Nicolas (1998). "Ch. VII, § 4, n. 2. Proposition 8.". Commutative algebra (2nd ed.). Springer Verlag. ISBN 3-540-64239-0.
↑ Lam, Tsit Yuen (1999). Lectures on modules and rings. Graduate Texts in Mathematics No. 189. Berlin, New York: Springer-Verlag. p. 146. ISBN 978-0-387-98428-5. MR 1653294.

[1] Lam, T. Y. (1999). "Bass's work in ring theory and projective modules". In Lam, T. Y.; Magid, A. R. (eds.). Algebra, $K$ -theory, Groups, and Education: On the occasion of Hyman Bass's 65th birthday. Papers from the conference held at Columbia University, New York, November 6–7, 1997. Contemporary Mathematics. Vol. 243. Providence, Rhode Island: American Mathematical Society. pp. 83–124. arXiv:math/0002217. doi:10.1090/conm/243/03688. ISBN 0-8218-1087-1. MR 1732042. Since $R$ is not a domain any more, we do not have a natural notion of torsionfree modules. In their place, Bass introduced the notion of a torsionless module.

[2] Eklof, P. C.; Mekler, A. H. (2002). Almost Free Modules - Set-theoretic Methods. North-Holland Mathematical Library. Vol. 65. doi:10.1016/s0924-6509(02)x8001-5. ISBN 9780444504920. S2CID 116961421.

[3] Proof: If M is reflexive, it is torsionless, thus is a submodule of a finitely generated projective module and hence is projective (semi-hereditary condition). Conversely, over a Dedekind domain, a finitely generated torsion-free module is projective and a projective module is reflexive (the existence of a dual basis).

[4] Bourbaki, Nicolas (1998). "Ch. VII, § 4, n. 2. Proposition 8.". Commutative algebra (2nd ed.). Springer Verlag. ISBN 3-540-64239-0.

[5] Lam, Tsit Yuen (1999). Lectures on modules and rings. Graduate Texts in Mathematics No. 189. Berlin, New York: Springer-Verlag. p. 146. ISBN 978-0-387-98428-5. MR 1653294.

Torsionless module

Properties and examples

Relation with semihereditary rings

See also

Note