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.