Free square of a group

Definition
The free square of a group $$G$$ is the defining ingredient::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