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:
“The current flows fast and furious. It issues in a spate of words from the loudspeakers and the politicians. Every day they tell us that we are a free people fighting to defend freedom. That is the current that has whirled the young airman up into the sky and keeps him circulating there among the clouds. Down here, with a roof to cover us and a gasmask handy, it is our business to puncture gasbags and discover the seeds of truth.”
—Virginia Woolf (1882–1941)
“Whenever a taboo is broken, something good happens, something vitalizing.... Taboos after all are only hangovers, the product of diseased minds, you might say, of fearsome people who hadn’t the courage to live and who under the guise of morality and religion have imposed these things upon us.”
—Henry Miller (1891–1980)