Math 2.0

Group theory and generalizations Definition

Torsion group

Builds on GroupOrder of an elementRational numbersIntegersExponent of a group

Definition

Let GG be a group. GG is a torsion group (or periodic group) if every element of GG has finite order. That is, for every g∈Gg \in G there is an integer n≥1n \ge 1 with gn=eg^n = e.

Remarks

Example: the group ℚ/ℤ\Q/\Z, the rational numbers modulo the integers under addition. If x=ab+ℤx = \tfrac{a}{b} + \Z with a,b∈ℤa, b \in \Z and b≥1b \ge 1, then bx=a+ℤ=0b x = a + \Z = 0, so xx has finite order. The Prüfer group is another infinite example.

Non-example: the group ℤ\Z under addition. For n≠0n \ne 0 and k≥1k \ge 1, kn≠0k n \ne 0, so nn has infinite order.

A group of finite exponent is a torsion group, but ℚ/ℤ\Q/\Z 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
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Exponent of a group concept
  2. Group concept
  3. Integers object
  4. Order of an element concept
  5. Rational numbers object
  6. Torsion group definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Torsion_group
About this page
TagM5FDV1TMBG
URIm2://M5FDV1TMBG
Kinddefinition
WritingW0 stub
MSC20F50, 20K10
DefinesTorsion group
UsesGroup, Order of an element, Rational numbers, Integers, Exponent of a group
Changed2 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.