Generalized Commutator Formulas

DOI10.1080/00927871003738964MaRDI QIDQ6826435zbMATH OpenFDO

Authors R. Hazrat, Zuhong Zhang

Publication date 20 April 2011

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

Full work available at URL https://doi.org/10.1080/00927871003738964

Mathematics Subject Classification ID

Subgroup theorems; subgroup growth (20E07) Chains and lattices of subgroups, subnormal subgroups (20E15) Commutator calculus (20F12) Unimodular groups, congruence subgroups (group-theoretic aspects) (20H05) Other matrix groups over rings (20H25)

Review text

Let \(A\) be a \textit{quasi-finite} algebra over a commutative ring \(R\) with \(1\), i.e., \(A\) is the limit of a direct system of module finite algebras over \(R\). Let \(\mathrm{GL}_n(A,I)\) denote the principal congruence subgroup of \(\mathrm{GL}_n(A)\) of level \(I\) and \(E_n(A,J)\) denote the relative elementary subgroup of level \(J\), where \(I,J\) are two-sided \(A\)-ideals. (\(E_n(A)=E_n(A,A)\) is the usual elementary subgroup of \(\mathrm{GL}_n(A)\).) Using a localization-patching method originally due to Bak the authors prove the following commutator formula \N\[\N[\mathrm{GL}_n(A,I),E_n(A,J)]=[E_n(A,I),E_n(A,J)].\N\]\N This answers a question of Stepanov and Vavilov and extends many known results.

Cited in

(1)

• Commutator widths of general linear groups over local rings

This page was built for publication: Generalized Commutator Formulas

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