[Math] List all subgroups of $\mathbb Z_6$ and $\mathbb Z_8$

cyclic-groupsgroup-theory

List all the subgroups of $\mathbb Z_6$ and $\mathbb Z_8$.

I think this implies that the operation is addition because that makes the sets above groups.

I was thinking that for $\mathbb Z_6$, the groups $\mathbb Z_1$, $\mathbb Z_2$, $\mathbb Z_3$, $\mathbb Z_4$, and $\mathbb Z_5$ are all subgroups because they are all still groups and are subsets of $\mathbb Z_6$. In addition though, $G={0,2,4}$ is also a subset of $\mathbb Z_6$ and is a group under addition.

  1. Is the above correct and exhaustive for $\mathbb Z_6$?

  2. Is there any easier way to do this or just to enumerate all possible subsets of the group and see if they satisfy group rules?

(I saw something online for finding the subgroups of $\mathbb Z_n$ as a k such that $gcd(n,k)=1$ and then $\langle k \rangle$ is a subgroup but that didn't make much sense. Is that relevant?)

Best Answer

Well $\mathbb Z_5$ is not a subgroup of $\mathbb Z_6$, since no member of $\mathbb Z_6$ has order $5$. Since you know $\mathbb Z_6$ is cyclic, every subgroup is cyclic. So, look at the subgroups of $\mathbb Z_6$ which are generated by single elements.