Concept

Torsionless module

In abstract algebra, a module M over a ring R is called torsionless if it can be embedded into some direct product RI. Equivalently, M is torsionless if each non-zero element of M has non-zero image under some R-linear functional f: This notion was introduced by Hyman Bass. A module is torsionless if and only if the canonical map into its double dual, 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, but 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 which is not torsionless. If R is a commutative ring which is an integral domain and M is a finitely generated torsion-free module then M can be embedded into Rn 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 is a reflexive module over S whenever S is flat over R. 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.

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.

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.