Free Product - Generalization: Free Product With Amalgamation

Generalization: Free Product With Amalgamation

The more general construction of free product with amalgamation is correspondingly a pushout in the same category. Suppose G and H are given as before, along with group homomorphisms

where F is some arbitrary group. Start with the free product GH and adjoin as relations

for every f in F. In other words take the smallest normal subgroup N of GH containing all elements on the left-hand side of the above equation, which are tacitly being considered in GH by means of the inclusions of G and H in their free product. The free product with amalgamation of G and H, with respect to φ and ψ, is the quotient group

The amalgamation has forced an identification between φ(F) in G with ψ(F) in H, element by element. This is the construction needed to compute the fundamental group of two connected spaces joined along a connected subspace, with F taking the role of the fundamental group of the subspace. See: Seifert–van Kampen theorem.

Free products with amalgamation and a closely related notion of HNN extension are basic building blocks in Bass–Serre theory of groups acting on trees.

Read more about this topic:  Free Product

Famous quotes containing the words free and/or product:

    I have taken the ribbon from around my neck and hidden it somewhere on my person. If you find it, you can have it. You are free to look for it any way you will, and I will think very little of you if you do not find it.
    Stanley Kubrick (b. 1928)

    Labor is work that leaves no trace behind it when it is finished, or if it does, as in the case of the tilled field, this product of human activity requires still more labor, incessant, tireless labor, to maintain its identity as a “work” of man.
    Mary McCarthy (1912–1989)