On Lascar rank and Morley rank of definable groups in differentially closed fields (Q4779660)

The authors prove that in an \(\omega\)-stable theory, if Morley and Lascar ranks coincide for any type of monomial Morley rank, then Morley and Lascar ranks coincide for definable (imaginary) groups. The hypothesis is in particular satisfied for differentially closed fields with several commuting derivations. (Note that in Fact 2, there is a typo: The last inequality should be strict.) In a first appendix the authors give an example of an \(\omega\)-stable group of different Morley and Lascar ranks. Note that the Morley rank of \(R^*+\cdots+R^*\) is \(\omega\cdot n\), and not \(\omega^n\) as stated. Similarly \(\text{RM}(G^*)=\omega^2\), and not \(\omega^\omega\). In the second appendix they prove that in a non-multidimensional theory where all dimensions are associated to a strongly minimal set, Morley rank equals Lascar rank, and the rank is definable. In particular, the Morley degree is bounded. This was previously shown by \textit{B. Poizat} [Groupes stables, Nur Al-Mantiq Wal-Ma'rifah, Villeurbanne (1987; Zbl 0633.03019), p. 50], and restated by the reviewer [Stable groups, London Mathematical Society Lecture Note Series 240, Cambridge University Press, Cambridge (1997; Zbl 0897.03037), Proposition 4.7.10].