Stable groups, mostly of finite exponent (Q1309328): Difference between revisions

The author studies stable groups and their subgroups (not necessarily definable). Let \(G\) be an \(\mathfrak R\)-group of finite exponent. (The class of \(\mathfrak R\)-groups was introduced by the author in J. Symb. Log. 56, 1026-1037 (1991; Zbl 0743.03028); it is a subclass of the class of stable groups and contains all superstable and small stable groups.) Then \(G\) has a normal nilpotent 2-subgroup \(N\) such that \(G/N\) has finite 2-Sylow subgroups. If the exponent of \(G\) is \(3\cdot 2^ n\) then \(G\) is nilpotent-by-finite. (The latter result was proven by B. Poizat for groups of finite Morley rank; the case of arbitrary stable groups is still open.) It is shown that a locally finite subgroup of finite exponent in a stable groups is nilpotent-by-finite. Among other general results, the author shows that in a stable group any family of pairwise normalizing \(k\)-nilpotent (\(k\)-soluble) subgroups generates a nilpotent (soluble) subgroup. He proves that, under certain circumstances, a stable group interprets an algebraically closed field of characteristic 2.