In the group $\mathbb{Z}_{24}$, let $H=\langle 4 \rangle$ and $N=\langle6\rangle$

a. list the elements in $HN$ (usually write $H+N$ for these additive groups) and $H\cap N$

So I think

$H=\langle4 \rangle= \{0,4,8,12,16,20 \}$ and $N=\langle6 \rangle= \{0,6,12,18 \}$

$H+N= \{0,2,4,6,10,12,14,16,18,20,22 \}.$ I added every element of H to every element of N and obtained these values.

$H\cap N=\{0,12\}$ Since these are the only two commons element in $H$ and $N$.

b. List the cosets in $HN/N$, showing the elements in each coset.


So I am still really confuse about how to find cosets but here's my attempt:

So I need to look at H+N: $H+N=\{0,2,4,6,10,12,14,16,18,20,22\}$

and $N= \langle 6 \rangle$, so I need to separate it by multiples of $6$: $N+0=N+6=N+12=N+18=\{6,12,18\}$

and then $N+2=N+8=N+14=N+20= \{6,14,20,26 \equiv 2\}=\{2,6,14,20\}$

and finally $N+4=N+10=N+16=N+22=\{10,16,22,28 \equiv 4 \}= \{4,10,16,22 \}$

and together these 3 cosets make up $H+N$.

c. List the cosets in $H/(H\cap N)$, showing the elements in each coset.

So I think this is similar to above: $H=\langle 4\rangle =\{0,4,8,12,16,20\}$

$H\cap N=\{0,12\}$

so $H\cap N+0=H\cap N+12=\{0,12\}$

$H\cap N+4=H\cap N+16=\{16,28 \equiv 4\}=\{4,16\}$

$H\cap N+8=H\cap N+20=\{20,32\equiv 8\}=\{8,20\}$

Does this look correct? In particular, am I thinking of cosets correctly?


It looks pretty good, by and large. There are a few errors that seem to be traceable back to a simple mistake I assume is a typo, but then it made its way into some more of your work.

  • You're missing $8$ in $H + N$. Essentially, $H + N$ is the set of even residues modulo $24$; it's isomorphic to $\Bbb Z_{12}$.

Looking at $HN/N$:

  • You're missing $0$ in $N$, when you calculate the first coset of $N = 0 + N$.

  • Somehow you have $6$ in $N + 2$, when you want $2 + 6 = 8$ (everything in $N + 2$ should be congruent to each other modulo $6$; they should differ by a multiple of $6$).

Everything looks good in $H/(H \cap N)$. In particular, you seem to be thinking of cosets correctly; they're all just subsets of $\Bbb Z_{24}$ here, more specifically 'translates' of certain subgroups (perhaps with your focus restricted to certain subgroups of $\Bbb Z_{24}$, but the idea is the same).


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.