Assume that $a$ and $b$ are elements of the group $G$, then if $a \in \langle b\rangle $, then $\langle a\rangle \subseteq \langle b\rangle$
How can I prove the foregoing identity? It is from the book modern algebra exercise $27$. It doesn't have solution in the book. Can you help me?
The only thing came to my mind:
$a$ is element of the set generated by $b$. If we say that the order of $\langle b\rangle$ is $k$, then $a^{xy}=b^k=e$. This knowledge doesn't help me
Any link,answer or additional material appreciated !
Best Answer
You really want to take this at a much more abstract level.
If $S$ is a subset of a group $G$, then $\langle S\rangle$ has the following universal property:
In fact, $\langle S \rangle$ can be defined as the unique subgroup of $G$ having these three properties (this is the "top-down definition"; you'll also want the "bottoms-up definition" of $\langle S\rangle$, which describes what the elements look like: products of powers of elements of $S$; see here for a general discussion of these types of constructions).
Given that, if $a\in \langle b\rangle$, then since $\langle b\rangle$ is a subgroup, and $a\in \langle b\rangle$, it follows by property 3 above that $\langle a\rangle\subseteq \langle b\rangle$. Presto, done.