Local indicability and relative presentations of groups (Q1861485)

A group is called locally indicable if every of its non-trivial finitely generated subgroups admits a surjection onto the integers. In this paper the author generalizes under certain hypotheses three central results of one-relator group theory: Magnus' Freiheitssatz, Lyndon's identity theorem, and Brodskii's theorem on locally indicability of torsion-free one-relator groups.