
In 1930, Wilhelm Magnus introduced the so-called Freiheitssatz: Let $F$ be a free group with basis $\mathcal{X}$ and let $r$ be a cyclically reduced element of $F$ which contains a basis element $x \in \mathcal{X}$, then every non-trivial element of the normal closure of $r$ in $F$ contains the basis element $x$. Equivalently, the subgroup freely generated by $\mathcal{X} \backslash \{x\}$ embeds canonically into the quotient group $F / \langle \! \langle r \rangle \! \rangle_{F}$. In this article, we want to introduce a Freiheitssatz for amalgamated products $G=A \ast_{U} B$ of free groups $A$ and $B$, where $U$ is a maximal cyclic subgroup in $A$ and $B$: If an element $r$ of $G$ is neither conjugate to an element of $A$ nor $B$, then the factors $A$, $B$ embed canonically into $G / \langle \! \langle r \rangle \! \rangle_{G}$.
Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations, Generators, relations, and presentations of groups, Group Theory (math.GR), Freiheitssatz, amalgamated product, maximal cyclic subgroup, free group, FOS: Mathematics, Embedding theorems, 20E06, 20E07, 20F05, 20F34, 20F70, Mathematics - Group Theory
Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations, Generators, relations, and presentations of groups, Group Theory (math.GR), Freiheitssatz, amalgamated product, maximal cyclic subgroup, free group, FOS: Mathematics, Embedding theorems, 20E06, 20E07, 20F05, 20F34, 20F70, Mathematics - Group Theory
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
