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

The paper generalizes the non-abelian tensor product and low-dimensional homologies of groups and Lie rings to multiplicative Lie rings. The main results show the preservation of nilpotency, solvability and Engel condition through the non-abelian tensor product of multiplicative Lie rings; the existence of a six-term and an eight-term exact sequences relating the low-dimensional homologies of multiplicative Lie rings; the proof of a new version of the Stallings' theorem (VI. Theorem 9.1 in [\textit{P. J. Hilton} and \textit{U. Stammbach}, A course in homological algebra. 2nd ed. New York, NY: Springer (1997; Zbl 0863.18001)]) and the Dwyer's theorem (Theorem 1.1 [\textit{W. G. Dwyer}, J. Pure Appl. Algebra 6, 177--190 (1975; Zbl 0338.20057)]) for multiplicative Lie rings.