Every group is the outer automorphism group of an HNN-extension of a fixed triangle group (Q2319875)

A remarkable result of \textit{I. Bumagin} and \textit{D. T. Wise} [J. Pure Appl. Algebra 200, No. 1--2, 137--147 (2005; Zbl 1082.20021)] says that every countable group \(Q\) can be realized as the outer automorphism group of a finitely generated group \(G_Q\). These groups \(G_Q\) have, for a given \(Q\), often special additional properties. The main result of the paper is as follows. Fix a triangle group \(T_i=\langle a,b\mid a^i=b^i=(ab)^i=1\rangle\) with \(i\geq 6\). For every countable group, given by a countable presentation \(P\), there exists an automorphism-induced HNN-extension \(T_P\) of \(T_i\) such that Out\((T_P)\cong Q=\pi_1(P)\) and Aut\((T_P)\cong T_P\rtimes Q\). The HNN-extensions \(T_P\) of \(T_i\) are explicitly constructed. Interesting enough, the single steps lead to nice residual and malnormal properties of the constructed groups.