The term torsion can denote very different concepts:
In algebra, the torsion subgroup of a group $G$ is the group of elements of finite order (meaning: elements $g \in G$ such that there is $n \in \mathbb{N}$ such that $g \cdot g \cdot \cdots \cdot g = 1$ (with $n$ factors in the product)); similarly in ring theory an element of a module over a ring is a torsion element if it is annihilated by a nonzero element of the ring. A module is torsion (resp. torsion-free) if all its elements are torsion (resp. not torsion, except for zero). Classes of torsion and torsion-free modules are examples of pairs of classes of objects in abelian categories which make a so-called torsion theory (introduced by Dickson), which is one of the approaches to the localization of abelian categories.
For torsion in this sense see also torsion module, torsion approximation.
In differential geometry of curves, the torsion of a curve is a measure for how the curve tends to spirals out of the plane spanned by its tangent vector and the first derivative of that.
In differential geometry, the torsion of a metric connection on a tangent bundle is a measure for how the covariant derivative differs from the Lie bracket.
More generally for Cartan connections there is torsion of a Cartan connection. This expresses the obstruction to integrability of G-structures.
There is an invariant in homotopy theory called Reidemeister torsion; it is related to Whitehead torsion used in surgery theory; it is a topological invariant of a manifold which is a sort of nonabelian class, nowadays understood to relate to things like quantum dilogarithm, scissors congruences and geometry of hyperbolic 3-manifolds. Index theory relates in Riemannian geometry, Reidemeister torsion to the analytic or Ray-Singer torsion, more recently studied also by Witten by means of Feynman integral methods.
Usually there is no risk of confusion, since these terms are used in very different areas of mathematics. Except maybe for the following situation:
Last revised on October 14, 2019 at 01:27:27. See the history of this page for a list of all contributions to it.