So I wanted to find the the subgroup $3 \in U(20)$ where $U(20)$ is the unit group of $\mathbb Z_{20}$ (i.e. all integers in $\mathbb Z_{20}$ that are relatively prime to $20$). I thought that this is a cyclic subgroup where $3$ is the generator and $U(20) = \lbrace 1,3,7,9,11,13,17\rbrace$. Now $3$ is a generator for $\mathbb Z_{20}$, so the subgroup is going to be the whole $U(20)$. However, I got confused when the answer said $\lbrace 1,3,7,9\rbrace$. What am I misunderstanding here?
2026-04-01 20:07:59.1775074079
On
Cyclic groups and Unit groups
348 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
3
There are 3 best solutions below
0
On
$U(20)$ is a multiplicative group whereas $\mathbb{Z}_{20}$ is an additive group. That is, the group operation on $U(20)$ is multiplication $\mod 20$, while the group operation on $\mathbb{Z}_{20}$ is addition $\mod 20$.
So, the subgroup of $U(20)$ generated by $3$ is: $\{3,3^2=9,3^3=7,3^4=1\}$.
$3$ does not generate $U(20)$.
$$3^2=9\\ 3^3=27\equiv 7\pmod {20}\\ 3^4\equiv 3\cdot 7\pmod {20}\equiv 1\pmod {20}$$