Residual finiteness of outer automorphism groups of certain pinched 1-relator groups (Q5957538)

Let \(G=A*_HB\) be a generalized free product of groups \(A\) and \(B\) amalgamating a subgroup \(H\) and \(\text{Out }G\) be the outer automorphism group of \(G\). The authors prove that if \(A\), \(B\) are free groups and \(H\) is a maximal cyclic subgroup of \(A\) and \(B\) then \(\text{Out }G\) is residually finite. They also show that if \(A\) is a free group of rank \(\geq 2\), \(B\) is a finitely generated nilpotent group, \(H\) is a maximal cyclic subgroup of \(A\) and \(H\) is a subgroup of the center of \(B\) then \(\text{Out }G\) is residually finite. From this it follows that \(\text{Out }G\) is residually finite where \(G=\langle a_1,\dots,a_k;\;a_1^2\cdots a_k^2\rangle\), \(k\geq 2\).