A generalised tensor product G 0 H of groups G, H has been introduced by R. Brown and J.-L. Loday in [3,4]. It arises in applications in homotopy theory of a generalised Van Kampen theorem. The reason why G 0 H does not necessarily reduce to GUh Oz Huh, the usual tensor product over Z of the abelianisations, is that it is assumed that G acts on H (on the left) and H acts on G (on the left), and...