A group with no proper non-trivial subgroups

Given $a\in G$, $\langle a\rangle$ is defined to be the smallest subgroup of $G$ containing $a$ as an element. Knowing that $\langle a\rangle=\langle b\rangle$ isn't enough to conclude that $a=b$, though. For example, we always have $\langle a\rangle=\langle a^{-1}\rangle,$ no matter the order of $a$.

Every element of a group $G$ does indeed generate a subgroup. But the subgroups generated by different elements are not necessarily equal.

If $a\in G$, $\langle a \rangle$ is the smallest subgroup containing $a$, and it is by definition, a cyclic subgroup. It's elements do indeed form cyclic subgroups of \langle a \rangle as well, but note that any given element may be in a number of subgroups.

That is, subgroups need not be disjoint, in fact, they can't be, since at the very least $e$ is an element in every subgroup, by the definition of a subgroup. So an element can indeed be in more than one subgroup.

Hint

Look at $\mathbb Z$ and compare some of its subgroups: $2\mathbb Z$, $4\mathbb Z$, $8\mathbb Z$, etc. We have $8\mathbb Z \leq 4\mathbb Z \leq 2\mathbb Z \leq \mathbb Z$

Note, e.g., $2\in \{2n\mathbb Z: n \in \mathbb N, n\geq 1\} \leq \mathbb Z$. Note that $8 = 4(2n) \in 2n\mathbb Z$, but $8$ is also in $\mathbb 4n\mathbb Z$ and it generates $8n\mathbb Z$.

For a finite example, look at $\mathbb Z_{4} = \langle 1 \rangle = \langle 3 \rangle$. While $2 \in \langle 1 \rangle,\;\; \langle 2 \rangle \neq \langle 1 \rangle.$ But $\langle 2 \rangle = \{0, 2\} \leq \langle 1 \rangle.$ And clearly, $\langle 0 \rangle = \{0\} \leq \langle 2 \rangle \leq \langle 1 \rangle$