Square of a group

Definition

Let $G$ be a group. The square or direct square of $G$ is the external direct product of $G$ with itself. Equivalently, it is the second direct power. It is denoted $G\times G$ or $G^2$.

Related notions

• Direct power of a group
• Restricted direct power of a group
• Infinite direct power of a group
• Infinite restricted direct power of a group