Direct product

Direct product
Symbol	$\times$, $\oplus$
Size formula	$|G\times H| = |G||H|$
Algebraic properties
Algebraic structure	Commutative monoid
Associative	Yes
Commutative	Yes
Identity	Trivial group
Uniquely factorizable	Yes

The direct product of two groups $(G, \cdot)$ and $(H, *)$ is a group whose elements $G \times H$ are given by the ordered pairs $(g, h)$, with $g \in G$ and $h \in 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.