On locally solvable subgroups in division rings (Q2285228)

Let $D$ be division ring with centre $F$. The most striking result of this paper is that if $G$ is a locally soluble subnormal subgroup of $D^*$ such that the $i$-th member $G^{(i)}$ of the derived series of $G$, for some finite $i$, is algebraic over $F$, then $G$ is central in $D$. Various special cases of this are known and are listed in this paper. The author then widens his study. Suppose $M$ is a non-abelian, locally soluble maximal subgroup of the subnormal subgroup $G$ of $D^*$ such that $M^{(i)}$ is algebraic over $F$, again with $i$ finite. Then $D$ is a cyclic algebra of prime degree. In Theorem 2.7, further information is given concerning the structure of $G$. For example, the FC-centre of $G$ and the Fitting subgroup of $M$ are equal and are described in terms of the cyclic structure of $G$.