Square of a group

Definition
Let $$G$$ be a group. The square or direct square of $$G$$ is the defining ingredient::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