Subgroup Generated by Infinite Order Element is Infinite
Jump to navigation Jump to search
Let $G$ be a group.
Let $a \in G$ be of infinite order.
Let $\gen a$ be the subgroup generated by $a$.
Then $\gen a$ is of infinite order.
We have that $a \in \gen a$ by definition.