Presentation of free product is disjoint union of presentations
For two groups
Suppose and are groups given by presentations. Then, a presentation for the external free product is given as follows: we first make sure that all the letters for generators in the presentation of are different from the letters in the presentation of (i.e., we make disjoint the sets of generators). Now, we take the generating set for as the union of both these generating sets and the relation set for as the union of the relations for and .
For a collection of more than two groups
The same rule applies: we make pairwise disjoint generating sets for all the groups, then take a disjoint union of the generators and of the relations.
In the examples, we use to stand for the identity element. To avoid confusion, we already make disjoint the presentations for the two groups for which we are taking the free product.
|group of integers||group of integers||free group:F2|
|cyclic group:Z2||group of integers||?|
|cyclic group:Z2||cyclic group:Z2||infinite dihedral group|
More examples should be added to illustrate free product with more complicated presentations