direct product of groups

In group theory, the direct product is an operation that takes two groups  and and constructs a new group, usually denoted . This operation is the group-theoretic analogue of the Cartesian product of sets and is one of several important notions of direct product in mathematics.