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 G ∗ H and adjoin as relations
for every f in F. In other words take the smallest normal subgroup N of G ∗ H containing all elements on the left-hand side of the above equation, which are tacitly being considered in G ∗ H 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 will never accept that I got a free ride. It wasn’t free at all. My ancestors were brought here against their will. They were made to work and help build the country. I worked in the cotton fields from the age of seven. I worked in the laundry for twenty- three years. I worked for the national organization for nine years. I just retired from city government after twelve-and-a- half years.”
—Johnnie Tillmon (b. 1926)
“He was the product of an English public school and university. He was, moreover, a modern product of those seats of athletic exercise. He had little education and highly developed muscles—that is to say, he was no scholar, but essentially a gentleman.”
—H. Seton Merriman (1862–1903)