Example of an Infinite Group Whose Elements Have Finite Orders

Group Theory Problems and Solutions in Mathematics

Problem 594

Is it possible that each element of an infinite group has a finite order?
If so, give an example. Otherwise, prove the non-existence of such a group.

LoadingAdd to solve later


We give an example of a group of infinite order each of whose elements has a finite order.
Consider the group of rational numbers $\Q$ and its subgroup $\Z$.
The quotient group $\Q/\Z$ will serve as an example as we verify below.

Note that each element of $\Q/\Z$ is of the form
\[\frac{m}{n}+\Z,\] where $m$ and $n$ are integers.

This implies that the representatives of $\Q/\Z$ are rational numbers in the interval $[0, 1)$.
There are infinitely many rational numbers in $[0, 1)$, and hence the order of the group $\Q/\Z$ is infinite.

On the other hand, as each element of $\Q/\Z$ is of the form $\frac{m}{n}+\Z$ for $m, n\in \Z$, we have
\[n\cdot \left(\, \frac{m}{n}+\Z \,\right)=m+\Z=0+\Z\] because $m\in \Z$.
Thus the order of the element $\frac{m}{n}+\Z$ is at most $n$.
Hence the order of each element of $\Q/\Z$ is finite.

Therefore, $\Q/\Z$ is an infinite group whose elements have finite orders.

LoadingAdd to solve later

More from my site

You may also like...

2 Responses

  1. Lalitha says:

    Please explain what are representatives in Q/Z ? You mean elements of Q/Z?
    “This implies that the representatives of Q/Z are rational numbers in the interval [0,1).”

    From this sentence please explain the remaining part once again :
    “On the other hand, as each element of Q/Z is of the form mn+Z for m,n∈Z, we have…”
    Why m=0? and why is the order of any element in Q/Z is atmost n ?


    • Yu says:

      Note that each element in the group $\Q/\Z$ is of the form $q+\Z$, where $q\in $\Q$. We say that $q$ is a representative for the element $q+\Z$.

      For the second part, $m$ is not necessarily $0$. But $m+\Z$ is equal to $0+\Z$.

Leave a Reply

Your email address will not be published. Required fields are marked *

More in Group Theory
Abelian Group problems and solutions
If a Half of a Group are Elements of Order 2, then the Rest form an Abelian Normal Subgroup of Odd Order

Let $G$ be a finite group of order $2n$. Suppose that exactly a half of $G$ consists of elements of...