The structure of simple rings generated by finite metabelian groups
absolutely irreducible finite metabelian subgroups of \(\text{GL}(p,D)\)crossed productfinite metabelian subgroups of division ringsgroups of unitssimple \(k\)-algebrasskew linear groups
Simple and semisimple modules, primitive rings and ideals in associative algebras (16D60) Finite-dimensional division rings (16K20) Group rings (16S34) Twisted and skew group rings, crossed products (16S35) Units, groups of units (associative rings and algebras) (16U60) Group rings of finite groups and their modules (group-theoretic aspects) (20C05) Finite solvable groups, theory of formations, Schunck classes, Fitting classes, (pi)-length, ranks (20D10) Subgroup theorems; subgroup growth (20E07) Other matrix groups over rings (20H25)
In this fine paper the author describes for a field \(k\) of characteristic zero the simple \(k\)-algebras that can be generated, as \(k\)-algebra, by a finite metabelian subgroup \(G\) of their groups of units. In particular he describes the groups \(G\). The flavour of the paper has much in common with the author's version of the classification of the finite metabelian subgroups of division rings of characteristic zero, see 2.1.5 of Skew Linear Groups [the author and the reviewer, Camb. Univ. Press (1986; Zbl 0602.20046)], a classification being first achieved by S. A. Amitsur. The author's first step in the paper under review is to prove that the simple \(k\)-algebra \(k[G]\), for \(G\) finite and metabelian, is a crossed product over the centre \(W(G)\) of the centralizer in \(G\) of the derived subgroup \(G'\) of \(G\). The next step is a reduction to the case where the, necessarily commutative, subalgebra \(k[W(G)]\) is a field. The groups \(G\) can then be described; the types are too many to list here, but see Theorem C of the paper. The author then illustrates his techniques by classifying the absolutely irreducible finite metabelian subgroups of \(\text{GL}(p,D)\), for \(p\) any prime and \(D\) any division algebra over the field \(k = \mathbb{Q}_ l\) of \(l\)-adic numbers. Again there are a large number of types to consider. In turn this leads to a counter example of the strict generalization of Jordan's theorem on finite linear groups of characteristic zero to skew linear groups, thus settling a question raised by Brian Hartley.
This page was built for publication: The structure of simple rings generated by finite metabelian groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1340244)
