Free Product Construction

The coproduct in a given algebraic category (commonly groups, unital associative algebras, or other varieties): the universal object generated by the factors subject only to the relations already present in each factor. For groups, the free product G * H contains copies of G and H and imposes no relations between them beyond those internal to each factor.