Prove for two groups, one less than the other, the smaller is a cyclic subgroup of larger.

31 Views Asked by At

Suppose that $H$ and $G$ are groups and that $H \le G$. Prove that if $H \cong \mathbb Z$ or $H \cong \mathbb Z_n$, then $H=\langle g \rangle$ for some $g \in G$

I'm not entirely sure where to go on this problem. I guess if $H= \mathbb Z$, then if for $g=1$, then $H= \langle g \rangle = \langle 1 \rangle$. However, I don't know how to make a general argument.

1

There are 1 best solutions below

2
On

$\Bbb Z$ and $\Bbb Z_n$ are cyclic. If $H$ is $\cong$ to one of them, then it is cyclic. Consequently there is some $g \in H$ such that $H = \langle g \rangle$. But $H \subset G$, so $g \in G$.