 Direct product

A Cartesian product that carries over some extra structure of the input groups.

E.g. the direct product of groups carries over group structure on both sides.

In mathematics, the concept of a "direct product" can refer to different things depending on the context, but it most commonly appears in the fields of algebra, particularly in group theory and ring theory. ### In Group Theory The **direct product** of two groups \( G \) and \( H \) is a group, denoted \( G \times H \), formed by the Cartesian product of the sets \( G \) and \( H \) equipped with a specific group operation.