Linear Groups Generated by Elements of Small Degree
If \(F\) is a subset of \(GL(n,\mathbb{K})=GL(V,\mathbb{K})\) (\(V\) an \(n\)-dimensional \(\mathbb{K}\)-space), the degree of \(F\) is the dimension of \([V,F]\) (the space spanned by \(\{v(f-1)\mid v\in V,\;f\in F\}\)). The main result here is a description of ``locally solvable-by-locally finite (\(=(L{\mathcal S})(L{\mathcal F})\)) \(G\leq GL(n,\mathbb{K})\) that are generated by elements of small degree (relative to \(n\)). While the complete description of these groups is too lengthy to give here, we note that if the \((L{\mathcal S})(L{\mathcal F})\)-\(G\leq GL(n,\mathbb{K})\) is irreducible and generated by elements of degree \(t\) where \(6t^2<n\), then \(G\) contains non-Abelian, locally finite, simple, subnormal sections. The classification of these groups is concise enough to establish the following Corollary: If \(H\) is a finitary linear group, \(F\) a finite subset of \(H\) of degree \(t\) and \(G=F^H\) is \((L{\mathcal S})(L{\mathcal F})\), then there is a function \(\mu\colon\mathbb{N}\to\mathbb{N}\) such that every locally solvable subnormal section of \(G\) is solvable of derived length bounded by \(\mu(t)\). In particular, the locally solvable radical \(\ell s(G)\) is solvable and every locally solvable image of \(G\) is solvable. Thus, \(G\) displays many of the same properties that one sees in periodic finite dimensional linear groups; see, for example, (9.21) of [\textit{B. A. F. Wehrfritz}, Infinite Linear Groups, (Springer, 1973; Zbl 0261.20038)].
This page was built for publication: Linear Groups Generated by Elements of Small Degree
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4349857)
