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: f ∈ M ∗ = Hom R ( M , R ) , f ( m ) ≠ 0. {\displaystyle f\in M^{\ast }=\operatorname {Hom} _{R}(M,R),\quad f(m)\neq 0.} This notion was introduced by Hyman Bass.
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: f ∈ M ∗ = Hom R ( M , R ) , f ( m ) ≠ 0. {\displaystyle f\in M^{\ast }=\operatorname {Hom} _{R}(M,R),\quad f(m)\neq 0.} This notion was introduced by Hyman Bass.
Source: Wikipedia "Torsionless module" · CC BY-SA 4.0
Share this article: X · Bluesky