No label defined (Q3972220)

[For the entire collection see Zbl 0701.00019.] Consider a group presentation \(\Gamma\) in which each relator has the form \(\iota\lambda \tau^{-1} \lambda^{-1}\) where \(\iota\), \(\lambda\), and \(\tau\) are generators from \(\Gamma\). Such a presentation is here referred to as an LOG-presentation. Denote by \(G(\Gamma)\) the group presented by \(\Gamma\); this is an LOG-group. There is also the LOG-complex \(K(\Gamma)\), which is the usual two-dimensional model of the presentation \(\Gamma\). There is an epimorphism of \(G(\Gamma)\) onto the infinite cyclic group where each generator of \(G(\Gamma)\) is mapped to a preferred generator \(t\) for the infinite cyclic group. Denote the kernel of this epimorphism by \(N(\Gamma)\) and let \(p: \widetilde{K}(\Gamma) \to K(\Gamma)\) be the corresponding infinite cyclic covering. One purpose of this note is to identify classes of LOG-presentations \(\Gamma\) for which \(K(\Gamma)\) is diagrammatically reducible and \(N(\Gamma)\) is locally a free group. Results of this sort have been obtained by both Gersten and Howie, and these are used as a starting point. In addition, an embedding theorem for LOG-groups is offered, as well as amalgamation and extension results for diagrammatic reducibility of LOG-complexes. All one-knot groups and ribbon disc groups are LOG- groups. Also included are free products of these, as well as certain homomorphic images, including groups with nontrivial torsion.