The torsion subgroup of the additive group of a Lie nilpotent associative ring of class 3. (Q2257278): Difference between revisions

Let \(\mathbb Z\langle X\rangle\) be the free unital associative ring freely generated by an infinite countable set \(X=\{x_1,x_2,\ldots\}\). Define a left-normed commutator \([a_1,a_2,\ldots,a_n]\) inductively by \([a,b]=ab-ba\), \([a_1,a_2,\ldots,a_n]=[[a_1,\ldots,a_{n-1}],a_n]\), \(n\geq 3\). For \(n\geq 2\), let \(T^{(n)}\) be the two-sided ideal in \(\mathbb Z\langle X\rangle\) generated by all commutators \([a_1,a_2,\ldots,a_n]\), where \(a_i\in\mathbb Z\langle X\rangle\). Let \(T^{(3,2)}\) be the two-sided ideal of the ring \(\mathbb Z\langle X\rangle\) generated by all elements \([a_1,a_2,a_3,a_4]\) and \([a_1,a_2][a_3,a_4,a_5]\) (where \(a_i\in\mathbb Z\langle X\rangle\)). The second author recently proved that the additive group of \(\mathbb Z\langle X\rangle/T^{(4)}\) is a direct sum \(A\oplus B\), where \(A\) is a free abelian group isomorphic to the additive group of \(\mathbb Z\langle X\rangle/T^{(3,2)}\) and \(B=T^{(3,2)}/T^{(4)}\) is an elementary abelian 3-group. Moreover, a basis of the free abelian summand \(A\) was described explicitly, [see \textit{A. Krasilnikov}, J. Algebra 392, 10-22 (2013; Zbl 1296.16019)]. The aim of the present article is to find a basis of the elementary abelian 3-group \(B\).