Commutators of relative and unrelative elementary groups, revisited (Q2211303)

Let \(R\) be any associative ring with 1, let \(n \geq 3\), and let \(A,B\) be two-sided ideals of \(R\). Let \(t_{ij}(x)\) denote the elementary \(n\) by \(n\) matrix with \(x\) at the intersection of the \(i\)-th row and the \(j\)-th column. Put \(z_{ij}(a, c) = t_{ji}(c)t_{ij} (a)t_{ji}(-c)\). Recall that the \(z_{ij}(a, c)\) with \(a\in A\), \(c\in R\) generate the relative elementary subgroup \(E(n,R,A)\). The \(t_{ij} (a)\) with \(a\in A\) generate the unrelative elementary subgroup \(E(n,A)\). From the authors' abstract: ``In the present paper, we show that the mixed commutator subgroup \([E(n,R,A),E(n,R,B)]\) is generated as a group by the elements of the two following forms: 1) \(z_{ij}(ab, c)\) and \(z_{ij}(ba, c)\), 2) \([t_{ij}(a), t_{ji}(b)]\), where \(1 \leq i \neq j \leq n\), \(a \in A\), \(b \in B\), \(c \in R\). Moreover, for the second type of generators, it suffices to fix one pair of indices \((i, j)\). This result is both stronger and more general than the previous results by Roozbeh Hazrat and the authors. In particular, it implies that for all associative rings one has the equality \([E(n,R,A),E(n,R,B)] = [E(n,A),E(n,B)]\), and many further corollaries can be derived for rings subject to commutativity conditions.''