Non-abelian tensor square of finite-by-nilpotent groups (Q304061)

After the seminal paper of \textit{R. Brown} et al. [J. Algebra 111, 177--202 (1987; Zbl 0626.20038)], the properties of the nonabelian tensor product of groups have been investigated under several aspects. In particular, the second author suggested an alternative approach (see the introduction and [\textit{N. R. Rocco}, Bol. Soc. Bras. Mat., Nova Sér. 22, No. 1, 63--79 (1991; Zbl 0791.20020)]) that has the advantage to embed the nonabelian tensor product \(G \otimes G\) of a group \(G\) into an appropriate semidirect product, denoted by \(\nu(G)\). Theorem A shows that, if \(G\) is finite-by-nilpotent, then so is \(G \otimes G\), while \(\nu(G)\) is nilpotent-by-finite. Theorem B describes the structure of \(\nu(G)\) when \(G\) is a group with finite conjugacy classes which are bounded. These groups were classified by Bernhard Neumann long time ago and Theorem B describes indeed a ``Neumann-like result'' in which \(\nu(G)\) is involved.