Group theory and generalizations Definition
Torsion group
Builds on GroupOrder of an elementRational numbersIntegersExponent of a group
Definition
Let be a group. is a torsion group (or periodic group) if every element of has finite order. That is, for every there is an integer with .
Remarks
Example: the group , the rational numbers modulo the integers under addition. If with and , then , so has finite order. The Prüfer group is another infinite example.
Non-example: the group under addition. For and , , so has infinite order.
A group of finite exponent is a torsion group, but is a torsion group of infinite exponent. A finitely generated abelian torsion group is finite. For nonabelian groups this fails: there are finitely generated infinite torsion groups, such as the Grigorchuk group; see the Burnside problem.
Reading path
To understand this page from the ground up, read these 6 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Exponent of a group concept
- Group concept
- Integers object
- Order of an element concept
- Rational numbers object
- Torsion group definition
Further reading
About this page
| Tag | M5FDV1TMBG |
|---|---|
| URI | m2://M5FDV1TMBG |
| Kind | definition |
| Writing | W0 stub |
| MSC | 20F50, 20K10 |
| Defines | Torsion group |
| Uses | Group, Order of an element, Rational numbers, Integers, Exponent of a group |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.