Generation of relative commutator subgroups in Chevalley groups.

DOI10.1017/S0013091515000188MaRDI QIDQ2806123zbMATH OpenOpenAlexFDO

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)

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

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)

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.

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.

Cites work

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

Cited in

(18)

• Generation of relative commutator subgroups in Chevalley groups. II.
• 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
• scientific article; zbMATH DE number 3685739 (Why is no real title available?)
• 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.
• Structure of Chevalley groups over rings via universal localization.
• Commutators of relative and unrelative elementary unitary groups
• The commutators of classical groups

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)