(Locally soluble)-by-(locally finite) maximal subgroups of \(\text{GL}_n(D)\). (Q360152)

This complex paper is difficult to summarise. Its central thrust is the consideration of various partial answers to the following problem. Let \(D\) be a noncommutative division ring, \(n\geq 2\) an integer, \(M\) a maximal subgroup of \(\text{GL}(n,D)\) and \(H\) a locally soluble (sometimes some variant, e.g. FC) normal subgroup of \(M\). Then need \(H\) be Abelian?NEWLINENEWLINE First the authors produce positive answers if either \(M\) is absolutely irreducible and \(M/H\) is locally finite, or, if \(M\) is not absolutely irreducible and \(M/H\) is locally finite but only with \(\text{char\,}D=0\). Then they are able to prove that \(H\) is always Abelian if either \(D\) is finite-dimensional over its centre, or, the centre of \(D\) contains at least 5 elements and \(M\) is soluble-by-finite, or, \(\text{char\,}D=0\) and \(M\) is (locally soluble)-by-finite. Finally they consider the effect of nilpotent restrictions on \(M\). For example if \(M\) is an Engel maximal subgroup of \(\text{GL}(n,D)\), then the Hirsch-Plotkin radical \(H\) of \(M\) is Abelian. At the very end they consider nilpotent maximal subgroups of subnormal subgroups of \(\text{GL}(n,D)\).