Free square of a group

Definition

The free square of a group $G$ is the external free product $G*G$ of $G$ with itself.

The free square differs from the square of a group which is the external direct product of $G$ with itself.

Related notions

• Free power of a group
• Square of a group
• Direct power of a group