The existence of Carter subgroups in groups of finite Morley rank (Q5700142)

The authors show that any group of finite Morley rank contains a Carter subgroup, i.e. a definable connected nilpotent subgroup of finite index in its normalizer. This partially generalizes earlier results of \textit{O. Frécon} [J. Algebra 229, No. 1, 118-152 (2000; Zbl 0984.20022)] and \textit{F. O. Wagner} [Arch. Math. Logic 33, No. 1, 23-34 (1994; Zbl 0813.03022)] about existence and conjugacy of Carter subgroups in certain soluble stable groups. The proof heavily relies on the theory of graded unipotency in characteristic zero developped by \textit{J. Burdges} [J. Algebra 274, No. 1, 215-229 (2004; Zbl 1053.20029)] and constructs a Carter subgroup from its least unipotent part to its most unipotent part. The question about conjugacy of the Carter subgroups remains open.