Free product
In mathematics, specifically group theory, the free product is an operation that takes two groups "G" and "H" and constructs a new The result contains both "G" and "H" as subgroups, is generated by the elements of these subgroups, and is the “universal” group having these properties, in the sense that any two homomorphisms from "G" and "H" into a group "K" factor uniquely through a homomorphism from to "K". 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 universal group with 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 whose intersection is also path-connected 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.
Q395
mathematics
Concept
Q874429
group theory
Concept
Q83478
groups
Concept
Q466109
subgroup
Concept
Q734209
generated
Concept
Q1417809
universal
Concept
Q431078
free group
Concept
Q692689
coproduct
Concept
Q3912012
category of groups
Concept
Q842620
disjoint union
Concept
Q12482
set theory
Concept
Q1142861
direct sum
UNK
Q18848
module theory
Concept
Q568687
trivial group
Concept
Q1956793
category of abelian groups
Concept
Q212803
algebraic topology
Concept
Q372037
van Kampen's theorem
LOC
Q662830
fundamental group
Concept
Q185359
union
Concept
Q1491995
path-connected
Concept
Q179899
topological space
Concept
Q1781358
wedge sum
Concept
Q4868208
Bass–Serre theory
UNK
Q288465
acting
Concept
Q272735
trees
Concept
Q1057968
finite group
Concept
Q3062521
HNN extension
Concept
Q1834342
modular group
Concept
Q214856
tessellation
Concept
Q209306
hyperbolic plane
Concept
Q189112
isomorphic
Concept
Q245462
cyclic group
Concept
Q1454165
Free product
Concept
+4^^http://www.w3.org/2001/XMLSchema#decimal
4
NUMBER
+6^^http://www.w3.org/2001/XMLSchema#decimal
6
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
subclass of
studies
part of
subclass of
subclass of