World Library  
Flag as Inappropriate
Email this Article

Free product with amalgamation

Article Id: WHEBN0000582047
Reproduction Date:

Title: Free product with amalgamation  
Author: World Heritage Encyclopedia
Language: English
Subject: Stallings theorem about ends of groups
Collection:
Publisher: World Heritage Encyclopedia
Publication
Date:
 

Free product with amalgamation

In mathematics, specifically group theory, the free product is an operation that takes two groups G and H and constructs a new group G ∗ H. The result contains both G and H as subgroups, is generated by the elements of these subgroups, and is the “most general” group having these properties. Unless one of the groups G and H is trivial, the free product is always infinite. The construction of a free product is similar in spirit to the construction of a free group (the most general group that can be made from a given set of generators).

The free product is the coproduct in the category of groups. That is, the free product plays the same role in group theory that disjoint union plays in set theory, or that the direct sum plays in module theory. Even if the groups are commutative, their free product is not, unless one of the two groups is the trivial group. Therefore the free product is not the coproduct in the category of abelian groups.

The free product is important in algebraic topology because of van Kampen's theorem, which states that the fundamental group of the union of two path-connected topological spaces is always an amalgamated free product of the fundamental groups of the spaces. In particular, the fundamental group of the wedge sum of two spaces (i.e. the space obtained by joining two spaces together at a single point) is simply the free product of the fundamental groups of the spaces.

Free products are also important in Bass–Serre theory, the study of groups acting by automorphisms on trees. Specifically, any group acting with finite vertex stabilizers on a tree may be constructed from finite groups using amalgamated free products and HNN extensions. Using the action of the modular group on a certain tessellation of the hyperbolic plane, it follows from this theory that the modular group is isomorphic to the free product of cyclic groups of orders 4 and 6 amalgamated over a cyclic group of order 2.

Construction

If G and H are groups, a word in G and H is a product of the form

s_1 s_2 \cdots s_n,

where each si is either an element of G or an element of H. Such a word may be reduced using the following operations:

  • Remove an instance of the identity element (of either G or H).
  • Replace a pair of the form g1g2 by its product in G, or a pair h1h2 by its product in H.

Every reduced word is an alternating product of elements of G and elements of H, e.g.

g_1 h_1 g_2 h_2 \cdots g_k h_k.

The free product G ∗ H is the group whose elements are the reduced words in G and H, under the operation of concatenation followed by reduction.

For example, if G is the infinite cyclic group <x>, and H is the infinite cyclic group <y>, then every element of G ∗ H is an alternating product of powers of x with powers of y. In this case, G ∗ H is isomorphic to the free group generated by x and y.

Presentation

Suppose that

G = \langle R_G \mid S_G \rangle

is a presentation for G (where RG is a set of generators and SG is a set of relations), and suppose that

H = \langle R_H \mid S_H \rangle

is a presentation for H. Then

G * H = \langle R_G \cup R_H \mid S_G \cup S_H \rangle.

That is, G ∗ H is generated by the generators for G together with the generators for H, with relations consisting of the relations from G together with the relations from H (assume here no notational clashes so that these are in fact disjoint unions).

For example, suppose that G is a cyclic group of order 4,

G = \langle x \mid x^4 = 1 \rangle,

and H is a cyclic group of order 5

H = \langle y \mid y^5 = 1 \rangle.

Then G ∗ H is the infinite group

G * H = \langle x, y \mid x^4 = y^5 = 1 \rangle.

Because there are no relations in a free group, the free product of free groups is always a free group. In particular,

F_m * F_n \cong F_{m+n},

where Fn denotes the free group on n generators.

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

\varphi : F \rightarrow G\mbox{ and }\psi : F \rightarrow H.

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

\varphi(f)\psi(f)^{-1}=1

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

(G * H)/N.\,

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.

In other branches

One may similarly define free products of other algebraic structures than groups, including algebras over a field. Free products of algebras of random variables play the same role in defining "freeness" in the theory of free probability that Cartesian products play in defining statistical independence in classical probability theory.

See also

References

  • Template:Planetmath reference
  • Template:Planetmath reference

Notes

This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 


Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.