The non-Abelian tensor product of finite groups is finite (Q580504)

Let \(M\) and \(N\) be groups equipped with compatible actions of \(M\) on \(N\) and \(N\) on \(M\). Then the non-Abelian tensor product \(M\otimes N\) is the group generated by the symbols \(m\otimes n\) with defining relations \[ mm'\otimes n=(^ mm'\otimes^ mn)(m\otimes n),\quad m\otimes nn'=(m\otimes n)(^ nm\otimes^ nn'),\text{ for all }m,m'\in M,\quad n,n'\in N. \] The author proves that \(M\otimes N\) is finite if \(M\) and \(N\) are finite groups.