Commutator subgroup of cyclic group

abelian-groupsabstract-algebracyclic-groups

Find commutator subgroup of cyclic group.

I know that every cyclic group is abelian group and commutator subgroup of any abelian group is trivial group.
I just need help to prove this.

Best Answer

The commutator is defined as $[a,b]=aba^{-1}b^{-1}$. Since the group is cyclic, it's Abelian. So, we have that $\forall a,b: ab=ba$. This gives that $aba^{-1}b^{-1}=e$ always. So, the commutator subgroup is $e$.