Maths WorkshopMaths problems with full solutions
Exercise 970Algebra › GroupsL1Added 3 Nov 2026

Counting cosets

#cosets#index#counting

Statement

In G=Z/12ZG=\mathbb{Z}/12\mathbb{Z}, let H=⟨4ˉ⟩H=\langle\bar4\rangle. Compute ∣H∣|H|, the index [G:H][G:H], and list the elements of HH and G/HG/H.

Hint

4ˉ\bar4 has order 12/gcd⁡(4,12)=312/\gcd(4,12)=3.

Show solutionHide solution

Solution

∣H∣|H|. Order of 4ˉ\bar4 is 12/4=312/4=3. So H={0ˉ,4ˉ,8ˉ}H=\{\bar0,\bar4,\bar8\}.

Index. [G:H]=12/3=4[G:H]=12/3=4.

Cosets. G/HG/H has 44 elements:
- H={0ˉ,4ˉ,8ˉ}H=\{\bar0,\bar4,\bar8\};
- 1ˉ+H={1ˉ,5ˉ,9ˉ}\bar1+H=\{\bar1,\bar5,\bar9\};
- 2ˉ+H={2ˉ,6ˉ,10ˉ}\bar2+H=\{\bar2,\bar6,\bar{10}\};
- 3ˉ+H={3ˉ,7ˉ,11ˉ}\bar3+H=\{\bar3,\bar7,\bar{11}\}.

Conclusion. ∣H∣=3|H|=3, [G:H]=4[G:H]=4, and G/H≅Z/4ZG/H\cong\mathbb{Z}/4\mathbb{Z}.