Given two groups (G, ∙) and (H, ∘), the product group is the Cartesian set G×H together with the group operation ∗ given by

The product G×H is abelian if and only if G and H are both abelian. G×H is also called the direct product. See also semi-direct product.