The E_ 2(R)-normalized subgroups of GL_ 2(R)

DOI10.1016/S0021-8693(05)80016-XMaRDI QIDQ1891504zbMATH OpenFDO

Authors Anne Pilkington

Publication date 3 December 1995

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0021-8693(05)80016-X

zbMATH Keywords

arithmetic Dedekind domainscommutative ringsDedekind domain of arithmetic typeidealsinfinitely many unitsradixstandard subgroupssubgroups of two-dimensional general linear groups normalized by elementary matricesunits

Mathematics Subject Classification ID

Subgroup theorems; subgroup growth (20E07) Chains and lattices of subgroups, subnormal subgroups (20E15) Other matrix groups over rings (20H25)

Review text

Let \(R\) be a commutative ring and let \(E_n(R)\) be the subgroup of \(\text{GL}_n(R)\) generated by the elementary matrices, where \(n\geq 2\). For each \(R\)-ideal \(\mathbf q\), let \(\text{GL}_n'(R,{\mathbf q})\) be the set of all matrices in \(\text{GL}_n(R)\) congruent to a scalar matrix, modulo \(\mathbf q\), and let \(E_n(R,{\mathbf q})\) be the normal subgroup of \(E_n(R)\) generated by the \(\mathbf q\)-elementary matrices. A subgroup \(S\) of \(\text{GL}_n(R)\) is called standard if and only if \(S\) is sandwiched between \(\text{GL}_n'(R,{\mathbf q})\) and \(E_n(R,{\mathbf q})\), for some \(\mathbf q\). It is known that, when \(n\geq 3\), the standard subgroups of \(\text{GL}_n(R)\) are precisely those normalized by \(E_n(R)\). The example \(R=\mathbb{Z}\), the ring of rational integers, shows that not even very much weaker versions of this result hold in general for \(n=2\). For anything like this result to carry over to \(\text{GL}_2(R)\) the ring \(R\) has to contain ``many units. Let \(D\) be a Dedekind domain of arithmetic type with infinitely many units. (``Most arithmetic Dedekind domains have units of infinite order.) In the principal result in this paper the author proves the existence of a number of arithmetic conditions on \(D\) which are \textit{necessary and sufficient} to ensure that the set of standard subgroups of \(\text{GL}_2(D)\) coincides with its set of \(E_2(D)\)-normalized subgroups. This is an interesting extension of a number of previous results (including some of the reviewer). Recently Costa and Keller have classified the \(E_2(R)\)-normalized subgroups of \(\text{SL}_2(R)\) for a large class of rings which includes all \(D\). (Crucial to their classification is the notion of a special type of additive subgroup of \(R\) called a radix.) In the last part of the paper the author lifts this extension to the \(E_2(D)\)- normalized subgroups of \(\text{GL}_2(D)\), for the case where \(D\) has no maximal ideal of index 2.

Recommendations

• The \(E_ 2(R)\)-normalized subgroups of \(\text{GL}_ 2(R)\). II
• Standard subgroups of GL₂(A)
• The order and level of a subgroup of GL₂ over a Dedekind ring of arithmetic type

Cites work

• scientific article; zbMATH DE number 3174540 (Why is no real title available?)
• scientific article; zbMATH DE number 44097 (Why is no real title available?)
• scientific article; zbMATH DE number 3390910 (Why is no real title available?)
• Introduction to Algebraic K-Theory. (AM-72)
• Number fields
• ON THE GROUPSL₂OVER DEDEKIND RINGS OF ARITHMETIC TYPE
• On the normal subgroups of GL(2,A)
• On the normal subgroups of SL(2,A)
• Standard subgroups of GL₂(A)
• Sur Les Sous-Groupes Normaux De SL₂ Sur Un Anneau Local
• The \(E(2,A)\) sections of \(SL(2,A)\)
• Two-Dimensional Linear Groups Over Local Rings

Cited in

(9)

• On subgroups of \(GL_ 2\) over a class of non-commutative rings which are normalized by elementary matrices
• The \(E_ 2(R)\)-normalized subgroups of \(\text{GL}_ 2(R)\). II
• scientific article; zbMATH DE number 4142323 (Why is no real title available?)
• Linear groups over general rings. I: Generalities.
• On subgroups normalized by \(\mathrm{EO}(2l,R)\).
• Standard subgroups of GL₂(A)
• Non-Standard, Normal Subgroups and Non-Normal, Standard Subgroups of the Modular Group
• OnGL₂of a local ring in which 2 is not a unit II
• On the structure of \(GL_ 2\) over stable range one rings

This page was built for publication: The \(E_ 2(R)\)-normalized subgroups of \(\text{GL}_ 2(R)\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1891504)