Definition
An element m of a module M over a ring R is called a torsion element of the module if there exists a regular element r of the ring (a non-zero element of the ring that is neither a left nor a right zero divisor) that annihilates m, i.e., r m = 0. In an integral domain (a commutative ring without zero divisors), every non-zero element is regular, so a torsion element of a module over an integral domain is one annihilated by a non-zero element of the integral domain. Some authors use this as the definition of a torsion element but this definition does not work well over more general rings.
A module M over a ring R is called a torsion module if all its elements are torsion elements, and torsion-free if zero is the only torsion element. If the ring R is commutative then the set of all torsion elements forms a submodule of M, called the torsion submodule of M, sometimes denoted T(M). If R is not commutative, T(M) may or may not be a submodule. It is shown in (Lam 2007) that R is a right Ore ring if and only if T(M) is a submodule of M for all right R modules. Since right Noetherian domains are Ore, this covers the case when R is a right Noetherian domain (which might not be commutative).
More generally, let M be a module over a ring R and S be a multiplicatively closed subset of R. An element m of M is called an S-torsion element if there exists an element s in S such that s annihilates m, i.e., s m = 0. In particular, one can take for S the set of regular elements of the ring R and recover the definition above.
An element g of a group G is called a torsion element of the group if it has finite order, i.e., if there is a positive integer m such that gm = e, where e denotes the identity element of the group, and gm denotes the product of m copies of g. A group is called a torsion (or periodic) group if all its elements are torsion elements, and a torsion-free group if the only torsion element is the identity element. Any abelian group may be viewed as a module over the ring Z of integers, and in this case the two notions of torsion coincide.
Read more about this topic: Torsion (algebra)
Famous quotes containing the word definition:
“Scientific method is the way to truth, but it affords, even in
principle, no unique definition of truth. Any so-called pragmatic
definition of truth is doomed to failure equally.”
—Willard Van Orman Quine (b. 1908)
“Beauty, like all other qualities presented to human experience, is relative; and the definition of it becomes unmeaning and useless in proportion to its abstractness. To define beauty not in the most abstract, but in the most concrete terms possible, not to find a universal formula for it, but the formula which expresses most adequately this or that special manifestation of it, is the aim of the true student of aesthetics.”
—Walter Pater (1839–1894)
“Was man made stupid to see his own stupidity?
Is God by definition indifferent, beyond us all?
Is the eternal truth man’s fighting soul
Wherein the Beast ravens in its own avidity?”
—Richard Eberhart (b. 1904)