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