Cyclic Groups Review
Cyclic Groups Review
We will now review some of the recent material regarding cyclic groups.
- On the Generated Subgroups page we defined a new type of subgroup. Given a group $(G, *)$ and elements $a_1, a_2, ..., a_n \in G$, the Generated Cyclic Subgroup of $a_1, a_2, ..., a_n$ denoted $\langle a_1, a_2, ..., a_n \rangle$ is defined as the set of all elements in $G$ obtained from all possible products of the elements $a_1, a_2, ..., a_n$ and $a_1^{-1}, a_2^{-1}, ..., a_n^{-1}$.
- We noted that $\langle a_1, a_2, ..., a_n \rangle \subseteq G$ and since $\langle a_1, a_2, ..., a_n \rangle$ is closed under $*$ by definition, and the identity is contained in $\langle a_1, a_2, ..., a_n \rangle$ since $a_ka_k^{-1} \in \langle a_1, a_2, ..., a_n \rangle$, we have that $\langle a_1, a_2, ..., a_n \rangle$ is indeed a subgroup of $(G, *)$.
- On the Cyclic Groups page we said that a group $(G, *)$ is a Cyclic Group if there exists an element $a \in G$ such that:
\begin{align} \quad G = \langle a \rangle = \{ a^n : n \in \mathbb{Z} \} \end{align}
- In other words, a group $G$ is cyclic if there exists an element $a \in G$ such that every element in $G$ can be obtained as a power of $a$.
- On the Subgroups of Cyclic Groups are Cyclic Groups page we proved that if $G$ is a cyclic group then every subgroup $H$ of $G$ is also a cyclic group.
- We then looked at a very important result and a significant corollary. These are summarized below:
Property |
---|
(a) If $(G, *)$ is a cyclic group then $(G, *)$ is an abelian group. |
(b) If $(G, *)$ is not an abelian group then $(G, *)$ is not a cyclic group. |