Definition
An element of an abelian group or module that is not torsion; equivalently, no nonzero integer (or prescribed nonzero scalar) annihilates it, indicating absence of finite-order obstructions.
Principle
Principle
Torsion-free elements permit faithful embedding into vector spaces after tensoring with Q (or the field of fractions) and underpin the definition of rank; they are the building blocks of free submodules when torsion is removed.
Demonstration
Demonstration
1 in Z is torsion-free because n·1 ≠ 0 for all nonzero integers n; nonzero vectors in a vector space over Q are torsion-free as Z-modules; Q as a Z-module is torsion-free but not free of finite rank.
Misapplication
Misapplication
Assuming torsion-free implies free: modules like Q over Z are torsion-free but not free of finite rank; also failing to specify the scalar set can mislead—torsion-freeness over Z differs from torsion-freeness over another base ring.
Consequence
Consequence
Torsion-free elements allow definition of rank, permit certain injectivity of multiplication by nonzero scalars, and ensure better behavior under localization; they are prerequisites for constructing bases after appropriate extension.
Reversal
Reversal
The opposite notion is a torsion element, which is annihilated by a nonzero scalar. Removing torsion (quotienting out the torsion subgroup) converts a module to a torsion-free module when possible.
Boundary
Boundary
Applies chiefly to modules over integral domains or abelian groups; for modules over rings with zero divisors the notion must be refined (e.g., torsion relative to regular elements) and may not separate free behavior cleanly.
Semantic Tension
Semantic Tension
Torsion-free is often conflated with 'free' or with 'divisible' in casual usage; divisibility and torsion-freeness are independent properties and must be treated distinctly, especially in infinite or non-Noetherian contexts.
Synthesis
Synthesis
A torsion-free element is one that withstands nonzero scalar multiplication without vanishing; isolating torsion-free parts clarifies rank and freeness questions and is a first step in structural decompositions of modules.