Multiplicative groups of division rings.
This long article is basically a survey of the current state of our knowledge of the group structure of the multiplicative group \(D^*\) of a division ring \(D\). A substantial amount of the material is proved, often including alternative proofs and some improvements of known results, sometimes with shorter proofs yielding partial results. Having a homogenized account of all this material in one place is very valuable, especially for someone like the present reviewer who has been less than diligent in following the very substantial progress that has been made in this area in the last thirty years or so.NEWLINENEWLINE The paper is divided into nine sections and we briefly indicate the content of each of these.NEWLINENEWLINE 1. This summarizes our knowledge from Wedderburn (1905) to about 1970 and introduces the authors' notation. (One idiosyncrasy I noted; \(\zeta_iG\), one of the standard notations for the upper central series of a group \(G\), here denotes its lower central series, so \(\zeta_1G\) for example denotes its derived subgroup and not its centre.)NEWLINENEWLINE 2. This lengthy section studies the soluble-by-finite subgroups of \(D^*\) and contains a substantial amount of proof. (Page 42 contains the `Proof of Theorem 2'. Unfortunately the paper contains a Theorem 2.1, a Theorem 2.2, Theorem 2.4 etc., but no Theorem 2.)NEWLINENEWLINE 3. This section studies the finitely generated normal subgroups of the multiplicative group of a division ring and 4. studies its maximal subgroups. In particular it considers the existence or otherwise of non-Abelian free subgroups in a maximal subgroup of \(D^*\).NEWLINENEWLINE 5. This section considers the upper central series of \(D^*\). In the second half it introduces the notion of a valuation on a division ring and uses this to study the upper central series of \(D^*\), where for example, the centre \(F\) of \(D\) is a Henselian field and \(D\) is tame, unramified and finite-dimensional over \(F\).NEWLINENEWLINE 6. Here the \(K\)-theory, mainly the reduced \(K\)-theory of a division ring \(D\) finite-dimensional over its centre \(F\), is studied. Thus a particular group for study is \(SK_1(D)\), the kernel of the map of \(K_1(D)\) to \(K_1(F)\) induced by the reduced norm. Thus \(SK_1(D)\) is the subgroup of \(D^*\) of elements of reduced norm 1, taken modulo the derived subgroup \(\zeta_1D^*\) of \(D^*\).NEWLINENEWLINE 7. This section considers graded division algebras and in particular looks at the correspondence between the \(SK_1\) of a division algebra with a valuation and the \(SK_1\) of its associated graded division algebra.NEWLINENEWLINE 8. Here the authors' look at maximal subgroups of \(D^*\) and in particular consider the implications for \(D\) if \(D^*\) has no maximal subgroups. A tool here is the group \(G(D)\), defined to be \(D^*\) modulo the product of its derived subgroup and the image of \(D^*\) under the reduced norm (assuming \(D\) is finite-dimensional, etc.).NEWLINENEWLINE 9. This final section considers radicable division algebras.NEWLINENEWLINE The paper concludes with a very complete bibliography of some 106 items.
- On multiplicative subgroups in division rings.
- scientific article; zbMATH DE number 3861357
- scientific article; zbMATH DE number 46483
- Division algebras with radicable multiplicative groups.
- A NOTE ON GROUP IDENTITIES IN DIVISION RINGS
- scientific article; zbMATH DE number 469250
- scientific article; zbMATH DE number 2070352
- A Note on the Multiplicative Group of a Division Ring
- Subgroups of division rings
- Divisible multiplicative groups of fields
- Locally solvable subnormal and quasinormal subgroups in division rings
- Locally solvable and solvable-by-finite maximal subgroups of \(\mathrm{GL}_n (D)\)
- Maximal subgroups of \(\mathrm{SL}_{n}(D)\)
- Reduced K-theory and the group G(D)=D^*/F^*D'
- Some divisible matrix groups.
- scientific article; zbMATH DE number 193623 (Why is no real title available?)
- A Note on the Multiplicative Group of a Division Ring
- scientific article; zbMATH DE number 1981759 (Why is no real title available?)
- scientific article; zbMATH DE number 1760601 (Why is no real title available?)
- Radicability condition on \(\mathrm{GL}_n(D)\)
- A NOTE ON GROUP IDENTITIES IN DIVISION RINGS
- Free subgroups in almost subnormal subgroups of general skew linear groups
- On the structure of division algebras of index 2m
- A note on locally soluble almost subnormal subgroups in divsion rings
- Commutators in division rings revisited
- Divisible multiplicative groups of fields
- Locally solvable maximal subgroups in division rings
- Locally nilpotent subgroups of \(\mathrm{GL}_n(D)\)
- Torsion maximal subgroups of GL_n(D)
This page was built for publication: Multiplicative groups of division rings.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2923252)
