If you find any mistakes, please make a comment! Thank you.

Characterize the elements of cyclic subgroups

Let $G$ be a group, and let $x \in G$ be an element of finite order; say $|x| = n$. Use the Division Algorithm to show that any integral power of $x$ is equal to one of the elements in the set $A = \{ 1, x, x^2, \ldots, x^{n-1} \}$. Conclude that $A$ is precisely the set of distinct elements of the cyclic subgroup of $G$ generated by $x$.

Solution: Let $k \in \mathbb{Z}$. By the Division Algorithm, there exist unique integers $(q,r)$ such that $k = qn + r$ and $0 \leq r < n$. Thus $$x^k = x^{qn + r} = (x^n)^q x^r = x^r,$$ where $x^r \in A$. Hence the cyclic subgroup of $G$ generated by $x$ is $A$; moreover, by Exercise 1.1.34, the elements of $A$ are all distinct.


This website is supposed to help you study Linear Algebras. Please only read these solutions after thinking about the problems carefully. Do not just copy these solutions.
Close Menu