No Arabic abstract
The present survey aims at being a list of Conjectures and Problems in an area of model-theoretic algebra wide open for research, not a list of known results. To keep the text compact, it focuses on structures of finite Morley rank, although the same questions can be asked about other classes of objects, for example, groups definable in $omega$-stable and $o$-minimal theories. In many cases, answers are not known even in the classical category of algebraic groups over algebraically closed fields.
By exploiting the geometry of involutions in $N_circ^circ$-groups of finite Morley rank, we show that any simple group of Morley rank $5$ is a bad group all of whose proper definable connected subgroups are nilpotent of rank at most $2$. The main result is then used to catalog the nonsoluble connected groups of Morley rank $5$.
We consider groups of finite Morley rank with solvable local subgroups of even and mixed types. We also consider miscellaneous aspects of small groups of finite Morley rank of odd type.
We lay down the fundations of the theory of groups of finite Morley rank in which local subgroups are solvable and we proceed to the local analysis of these groups. We prove the main Uniqueness Theorem, analogous to the Bender method in finite group theory, and derive its corollaries. We also consider homogeneous cases as well as torsion.
We classify a large class of small groups of finite Morley rank: $N_circ^circ$-groups which are the infinite analogues of Thompsons $N$-groups. More precisely, we constrain the $2$-structure of groups of finite Morley rank containing a definable, normal, non-soluble, $N_circ^circ$-subgroup.
We prove a general dichotomy theorem for groups of finite Morley rank with solvable local subgroups and of Prufer p-rank at least 2, leading either to some p-strong embedding, or to the Prufer p-rank being exactly 2.