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 followingtwo properties
- 1.
there are homomorphisms
, that make the followingdiagram commute