Generation of relative commutator subgroups in Chevalley groups.

DOI10.1017/S0013091515000188zbMATH Open1348.20055arXiv1212.5432OpenAlexW2963483127MaRDI QIDQ2806123FDOQ2806123

Authors: Zuhong Zhang, R. Hazrat, Nikolai Vavilov 

Publication date: 13 May 2016

Published in: Proceedings of the Edinburgh Mathematical Society. Series II (Search for Journal in Brave)

Abstract: Let $Phi$ be a reduced irreducible root system of rank $ge2$, let $R$ be a commutative ring and let $I,J$ be two ideals of $R$. In the present paper we describe generators of the commutator groups of relative elementary subgroups $$ both as normal subgroups of the elementary Chevalley group $E(Phi,R)$, and as groups. Namely, let $x_a(xi)$, $ainPhi$, $xiinR$, be an elementary generator of $E(Phi,R)$. As a normal subgroup of the absolute elementary group $E(Phi,R)$, the relative elementary subgroup is generated by $x_a(xi)$, $ainPhi$, $xiinI$. Classical results due to Michael Stein, Jacques Tits and Leonid Vaserstein assert that as a group $E(Phi,R,I)$ is generated by $z_a(xi,eta)$, where $ainPhi$, $xiinI$, $etainR$. In the present paper, we prove the following birelative analogues of these results. As a normal subgroup of $E(Phi,R)$ the relative commutator subgroup $$ is generated by the following three types of generators: i) $$, ii) $$, and iii) $x_{alpha}(xizeta)$, where $alphainPhi$, $xiinI$, $zetainJ$, $etainR$. As a group, the generators are essentially the same, only that type iii) should be enlarged to iv) $z_{alpha}(xizeta,eta)$. For classical groups, these results, with much more computational proofs, were established in previous papers by the authors. There is already an amazing application of these results, namely in the recent work of Alexei Stepanov on relative commutator width.

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

Recommendations

• Generation of relative commutator subgroups in Chevalley groups. II.
• Commutators of elementary subgroups: curiouser and curiouser
• Relative subgroups in Chevalley groups.
• Relative commutator calculus in Chevalley groups.
• Commutator width in Chevalley groups.

zbMATH Keywords

generating setsChevalley groupsirreducible root systemsrelative elementary subgroupsmixed commutator subgroups

Mathematics Subject Classification ID

Generators, relations, and presentations of groups (20F05) Commutator calculus (20F12) Linear algebraic groups over adèles and other rings and schemes (20G35)

Cites Work

• \(K\)-theory and stable algebra
• A further note on subgroups of GL(n,A) which are generated by commutators
• On subgroups of GL(n,A) which are generated by commutators
• Chevalley groups over commutative rings. I: Elementary calculations
• \(K_{1}\) of Chevalley groups are nilpotent
• The yoga of commutators.
• Bak's work on theK-theory of rings
• Relative subgroups in Chevalley groups.
• On the Normal Subgroups of $G_2(A)$
• Generators, Relations and Coverings of Chevalley Groups Over Commutative Rings
• Relative unitary commutator calculus, and applications.
• Chevalley groups over local rings
• The yoga of commutators: further applications.

Cited In (18)

• Relative commutator calculus in Chevalley groups.
• Commutator width of Chevalley groups over rings of stable rank 1
• Commutators of relative and unrelative elementary groups, revisited
• Commutator structure of some subgroups of Chevalley groups
• Decompositions of congruence subgroups of Chevalley groups
• Commutators with some special elements in Chevalley groups.
• Calculations in exceptional groups, an update.
• Commutators of congruence subgroups in the arithmetic case
• Generators of Chevalley Groups over Z
• Title not available (Why is that?)
• Unrelativized standard commutator formula
• Commutators of elementary subgroups: curiouser and curiouser
• Non-abelian \(K\)-theory for Chevalley groups over rings.
• The yoga of commutators: further applications.
• Commutators of relative and unrelative elementary unitary groups
• Structure of Chevalley groups over rings via universal localization.
• The commutators of classical groups
• Generation of relative commutator subgroups in Chevalley groups. II.

This page was built for publication: Generation of relative commutator subgroups in Chevalley groups.

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