free product with amalgamated subgroup
Definition 1.
Let , be groups and , be monomorphisms.
The free product
of and with amalgamated subgroup
,
is defined to be a group that has the following
two properties
-
1.
there are homomorphisms
, that make the following diagram commute