Multiple commutators of elementary subgroups: end of the line (Q2176119)

Let \(A\), \(B\), \(C\), \(D\) be two-sided ideals in the associative ring with unit \(R\). Denote the ideal \( AB + BA \) by \(A \circ B \). Recall that \(E(n,A)\) is the subgroup of \(\mathrm{GL}(n,R)\) generated by elementary matrices \(e_{ij}(x)\) with \(x \in A\). The key results in the paper are the following two lemmas, previously known for a class of rings containing all commutative rings. Lemma 7. Let \(n \geq 3\). Then \( [[E(n,A),E(n,B)],E(n,C)]=[E(n,A \circ B),E(n,C)].\) Lemma 8. Let \(n \geq 4\). Then \( [[E(n,A),E(n,B)],[E(n,C),E(n,D)]]=[E(n,A \circ B),E(n,C \circ D)].\) There is also Theorem 2. If \(A+B=R\) then \( [E(n,A),E(n,B)]=E(n,A \circ B).\)