Exact sequences in homology of multiplicative Lie rings and a new version of Stallings' theorem

We show that the non-abelian tensor product of nilpotent, solvable and Engel multiplicative Lie rings is nilpotent, solvable and Engel, respectively. The six term exact sequence in homology of multiplicative Lie rings is obtained. We also prove a new version of Stallings' theorem.