Multiple commutators of elementary subgroups: end of the line

DOI10.1016/J.LAA.2020.03.044MaRDI QIDQ2176119zbMATH OpenOpenAlexFDO

Authors Zuhong Zhang, Nikolai Vavilov

Publication date 4 May 2020

Published in Linear Algebra and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1910.14444

zbMATH Keywords

congruence subgroupselementary subgroupsgeneral linear groupstandard commutator formulae

Mathematics Subject Classification ID

Whitehead groups and (K_1) (19B99) Linear algebraic groups over adèles and other rings and schemes (20G35) Other matrix groups over rings (20H25)

Abstract: In our previous joint papers with Roozbeh Hazrat and Alexei Stepanov we established commutator formulas for relative elementary subgroups in $GL(n,R)$, $nge3$, and other similar groups, such as Bak's unitary groups, or Chevalley groups. In particular, there it was shown that multiple commutators of elementary subgroups can be reduced to double such commutators. However, since the proofs of these results depended on the standard commutator formulas, it was assumed that the ground ring $R$ is quasi-finite. Here we propose a different approach which allows to lift any such assumptions and establish almost definitive results. In particular, we prove multiple commutator formulas, and other related facts for $GL(n,R)$ over an {it arbitrary} associative ring $R$.

Review text

Let \(A\), \(B\), \(C\), \(D\) be two-sided ideals in the associative ring with unit \(R\). Denote the ideal \( AB + BA \) by \(A \circ B \). Recall that \(E(n,A)\) is the subgroup of \(\mathrm{GL}(n,R)\) generated by elementary matrices \(e_{ij}(x)\) with \(x \in A\). The key results in the paper are the following two lemmas, previously known for a class of rings containing all commutative rings. Lemma 7. Let \(n \geq 3\). Then \( [[E(n,A),E(n,B)],E(n,C)]=[E(n,A \circ B),E(n,C)].\) Lemma 8. Let \(n \geq 4\). Then \( [[E(n,A),E(n,B)],[E(n,C),E(n,D)]]=[E(n,A \circ B),E(n,C \circ D)].\) There is also Theorem 2. If \(A+B=R\) then \( [E(n,A),E(n,B)]=E(n,A \circ B).\)

Recommendations

• Commutators of elementary subgroups: curiouser and curiouser
• On the generators of elementary subgroups of general linear groups
• Commutators of relative and unrelative elementary groups, revisited
• A generalized sandwich theorem
• Standard commutator formula, revisited.

Cites work

• \(K\)-theory and stable algebra
• \(K_2,K_3\) and nilpotent ideals
• A group structure on certain orbit sets of unimodular rows
• Commutator width in Chevalley groups.
• Decomposition of transvections: A theme with variations
• Generation of relative commutator subgroups in Chevalley groups. II.
• scientific article; zbMATH DE number 4031888 (Why is no real title available?)
• scientific article; zbMATH DE number 3726603 (Why is no real title available?)
• scientific article; zbMATH DE number 3550851 (Why is no real title available?)
• Location of subgroups in the general linear group over a commutative ring
• Multiple commutator formulas for unitary groups
• Nonabelian \(K\)-theory: The nilpotent class of \(K_ 1\) and general stability
• On homotopy invariance for homology of rank two groups.
• On subgroups of GL (n, A) which are generated by commutators. II.
• On subgroups of GL(n,A) which are generated by commutators
• Solution of the congruence subgroup problem for \(\text{SL}_ n\) \((n\geq 3)\) and \(\text{Sp}_{2n}\) \((n\geq 2)\)
• Standard commutator formula, revisited.
• Standard commutator formula.
• Structure of Chevalley groups over rings via universal localization.
• Subgroups of the elementary and Steinberg groups of congruence level I^ 2
• The commutators of classical groups
• The yoga of commutators.
• The yoga of commutators: further applications.
• Unrelativized standard commutator formula

Cited in

(7)

• Relative centralizers of relative subgroups
• Commutators of relative and unrelative elementary groups, revisited
• Multiple commutator formulas for unitary groups
• Commutators of elementary subgroups: curiouser and curiouser
• scientific article; zbMATH DE number 799973 (Why is no real title available?)
• Commutators of relative and unrelative elementary unitary groups
• Relative decomposition of transvections: explicit bounds

This page was built for publication: Multiple commutators of elementary subgroups: end of the line

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