Group Theory – If $a \in \langle b \rangle$, then $\langle a\rangle \subseteq \langle b\rangle$

abstract-algebracyclic-groupsgroup-theory

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:

  1. $\langle S\rangle$ is a subgroup; and
  2. $S\subseteq \langle S\rangle$; and
  3. If $H$ is any subgroup of $G$ such that $S\subseteq H$, then $\langle S\rangle\subseteq H$.

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.

Related Question