Commutators in special linear groups over certain division rings (Q6078110)

In [Proc. Am. Math. Soc. 2, 307--314 (1951; Zbl 0043.02402)], \textit{Ø. Ore} conjectured that every element of every finite non-abelian simple group is a commutator. Thanks to the classification of finite simple groups, Ore's conjecture is now a theorem [\textit{M. W. Liebeck} et al., J. Eur. Math. Soc. (JEMS) 12, No. 4, 939--1008 (2010; Zbl 1205.20011)]. In the paper under review, the authors consider a question whether an element of a special linear group \(\mathrm{SL}_{m}(D)\) of degree \(m \geq 1\) over a division ring \(D\) is a commutator. The main result is Theorem 2.1: Let \(D\) be a finite-dimensional division ring and let \(m\) be a positive integer. If \(D\) is algebraically closed, then each element in \(\mathrm{SL}_{m}(D)\) is a commutator of \(\mathrm{SL}_{m}(D)\). The authors also prove that if \(G\) is a noncyclic free group, \(F\) a field and \(D = F((G))\) is the Mal'cev-Neumann division ring of \(G\) over \(F\), then \(D \supset D' \supset \dots \supset D^{(r)}\cdots\) is a strictly descending sequence (see Theorem 3.1).