Direct product

The direct product of two groups (G, ·) and (H, *) is a group whose elements G × H are given by the ordered pairs (g, h), with g ∈ G and h ∈ H. Its group operation is defined as
 * $$(g_1,h_1)\bullet(g_2,h_2)=(g_1\cdot g_2,h_1*h_2).$$

When both groups are abelian (commutative), so is the direct product. The order of the direct product of two groups is the product of their orders.

The symmetry group of the prism product of two polytopes is the direct product of their symmetry groups.