# Elements of Finite Order of an Abelian Group form a Subgroup

## Problem 522

Let $G$ be an abelian group and let $H$ be the subset of $G$ consisting of all elements of $G$ of finite order. That is,
$H=\{ a\in G \mid \text{the order of a is finite}\}.$

Prove that $H$ is a subgroup of $G$.

## Proof.

Note that the identity element $e$ of $G$ has order $1$, hence $e\in H$ and $H$ is not an empty set.

To show that $H$ is a subgroup of $G$, we need to show that $H$ is closed under multiplications and inverses.

Let $a, b\in H$.
By definition of $H$, the orders of $a, b$ are finite.
So let $m, n \in \N$ be the orders of $a, b$, respectively:
We have
$a^m=e \text{ and } b^n=e.$

Then we have
\begin{align*}
(ab)^{mn}&=a^{mn}b^{mn} && \text{since $G$ is abelian}\\
&=(a^m)^n(b^n)^m\\
&=e^ne^m=e.
\end{align*}

This implies that the order of $ab$ is at most $mn$, hence the order of $ab$ is finite.
Thus $ab\in H$ for any $a, b\in H$.

Next, consider any $a\in H$. We want to show that the inverse $a^{-1}$ also lies in $H$.
Let $m \in \N$ be the order of $a$.
Then we have
\begin{align*}
(a^{-1})^m=(a^m)^{-1}=e^{-1}=e.
\end{align*}
This implies that the order of $a^{-1}$ is also finite, and hence $a^{-1}\in H$.

Therefore we have proved that $H$ is closed under multiplications and inverses.
Hence $H$ is a subgroup of $G$.

### More from my site

• Torsion Subgroup of an Abelian Group, Quotient is a Torsion-Free Abelian Group Let $A$ be an abelian group and let $T(A)$ denote the set of elements of $A$ that have finite order. (a) Prove that $T(A)$ is a subgroup of $A$. (The subgroup $T(A)$ is called the torsion subgroup of the abelian group $A$ and elements of $T(A)$ are called torsion […]
• Finite Group and Subgroup Criteria Let $G$ be a finite group and let $H$ be a subset of $G$ such that for any $a,b \in H$, $ab\in H$. Then show that $H$ is a subgroup of $G$.   Proof. Let $a \in H$. To show that $H$ is a subgroup of $G$, it suffices to show that the inverse $a^{-1}$ is in $H$. If […]
• Order of the Product of Two Elements in an Abelian Group Let $G$ be an abelian group with the identity element $1$. Let $a, b$ be elements of $G$ with order $m$ and $n$, respectively. If $m$ and $n$ are relatively prime, then show that the order of the element $ab$ is $mn$.   Proof. Let $r$ be the order of the element […]
• Order of Product of Two Elements in a Group Let $G$ be a group. Let $a$ and $b$ be elements of $G$. If the order of $a, b$ are $m, n$ respectively, then is it true that the order of the product $ab$ divides $mn$? If so give a proof. If not, give a counterexample.   Proof. We claim that it is not true. As a […]
• The Existence of an Element in an Abelian Group of Order the Least Common Multiple of Two Elements Let $G$ be an abelian group. Let $a$ and $b$ be elements in $G$ of order $m$ and $n$, respectively. Prove that there exists an element $c$ in $G$ such that the order of $c$ is the least common multiple of $m$ and $n$. Also determine whether the statement is true if $G$ is a […]
• If Every Nonidentity Element of a Group has Order 2, then it’s an Abelian Group Let $G$ be a group. Suppose that the order of nonidentity element of $G$ is $2$. Then show that $G$ is an abelian group.   Proof. Let $x$ and $y$ be elements of $G$. Then we have $1=(xy)^2=(xy)(xy).$ Multiplying the equality by $yx$ from the right, we […]
• Fundamental Theorem of Finitely Generated Abelian Groups and its application In this post, we study the Fundamental Theorem of Finitely Generated Abelian Groups, and as an application we solve the following problem. Problem. Let $G$ be a finite abelian group of order $n$. If $n$ is the product of distinct prime numbers, then prove that $G$ is isomorphic […]
• Abelian Normal Subgroup, Intersection, and Product of Groups Let $G$ be a group and let $A$ be an abelian subgroup of $G$ with $A \triangleleft G$. (That is, $A$ is a normal subgroup of $G$.) If $B$ is any subgroup of $G$, then show that $A \cap B \triangleleft AB.$   Proof. First of all, since $A \triangleleft G$, the […]

#### You may also like...

##### The Additive Group of Rational Numbers and The Multiplicative Group of Positive Rational Numbers are Not Isomorphic

Let $(\Q, +)$ be the additive group of rational numbers and let $(\Q_{ > 0}, \times)$ be the multiplicative group...

Close