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:

    For I choose that my remembrances of him should be pleasing, affecting, religious. I will love him as a glorified friend, after the free way of friendship, and not pay him a stiff sign of respect, as men do to those whom they fear. A passage read from his discourses, a moving provocation to works like his, any act or meeting which tends to awaken a pure thought, a flow of love, an original design of virtue, I call a worthy, a true commemoration.
    Ralph Waldo Emerson (1803–1882)

    Perhaps I am still very much of an American. That is to say, naïve, optimistic, gullible.... In the eyes of a European, what am I but an American to the core, an American who exposes his Americanism like a sore. Like it or not, I am a product of this land of plenty, a believer in superabundance, a believer in miracles.
    Henry Miller (1891–1980)