Definition:Free Product
Jump to navigation
Jump to search
Definition
Let $G_1$ and $G_2$ be groups with identities $e_1$ and $e_2$ respectively.
The free product of $G_1$ and $G_2$ is defined as the group of all formal products formed by the elements of $G_1$ and $G_2$.
 | This page needs the help of a knowledgeable authority. In particular: What is a "formal product"? If you are knowledgeable in this area, then you can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by resolving the issues. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Help}} from the code.If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page. |
Sources
- 1973: Thomas J. Jech: The Axiom of Choice ... (previous) ... (next): $1.$ Introduction: $1.3$ A paradoxical decomposition of the sphere: Lemma $1.3$