Freiheitssatz for amalgamated products of free groups over maximal cyclic subgroups

Carsten Feldkamp
DOI: https://doi.org/10.1016/j.jalgebra.2024.02.018
IF: 0.908
2024-02-01
Journal of Algebra
Abstract:In 1930, Wilhelm Magnus introduced the so-called Freiheitssatz: Let F be a free group with basis X and let r be a cyclically reduced element of F which contains a basis element x ∈ 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 X ﹨ { x } embeds canonically into the quotient group F / 〈 〈 r 〉 〉 F . In this article, we want to introduce a Freiheitssatz for amalgamated products G = A ⁎ 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 / 〈 〈 r 〉 〉 G .
mathematics
What problem does this paper attempt to address?