The Cherlin–Zil'ber Conjecture states that all simple groups of finite Morley rank are algebraic. We prove that any minimal counterexample to this conjecture has a unique conjugacy class of Carter subgroups, which are analogous to Cartan subgroups in algebraic groups.

We give two slight generalizations of results of Poizat about elementary theories of groups obtained by free constructions. The first-one concerns generic types and the non-superstability of such groups in many cases. The second-one concerns the connectedness of most free products of groups without amalgamation.