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

Direct products of groups

#direct product#product group#order

Statement

Let GG and HH be groups. Show that G×HG\times H is a group under (g,h)(g′,h′)=(gg′,hh′)(g,h)(g',h')=(gg',hh'), and compute ∣Z/2Z×Z/3Z∣|\mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}/3\mathbb{Z}|.

Hint

The group axioms hold component-wise.

Show solutionHide solution

Solution

Group axioms. Closure, associativity, identity (eG,eH)(e_G,e_H), inverse (g−1,h−1)(g^{-1},h^{-1}) all hold component-wise.

Order. ∣G×H∣=∣G∣⋅∣H∣|G\times H|=|G|\cdot|H|, so ∣Z/2Z×Z/3Z∣=6|\mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}/3\mathbb{Z}|=6.

Isomorphism. Z/2Z×Z/3Z≅Z/6Z\mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}/3\mathbb{Z}\cong\mathbb{Z}/6\mathbb{Z} (Chinese remainder theorem, since gcd⁡(2,3)=1\gcd(2,3)=1).

Conclusion. The direct product is a group of order ∣G∣∣H∣|G||H|.