Generation of relative commutator subgroups in Chevalley groups. II.

DOI10.1017/S0013091519000555MaRDI QIDQ4961142zbMATH OpenOpenAlexFDO

Authors Zuhong Zhang, Nikolai Vavilov

Publication date 22 April 2020

Published in Proceedings of the Edinburgh Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

Chevalley groupselementary subgroupsgeneration of mixed commutator subgroupsstandard commutator formula

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: In the present paper, which is a direct sequel of our paper [12] joint with Roozbeh Hazrat, we prove unrelativised version of the standard commutator formula in the setting of Chevalley groups. Namely, 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$. We consider subgroups of the Chevalley group $G(Phi,R)$ of type $Phi$ over $R$. The unrelativised elementary subgroup $E(Phi,I)$ of level $I$ is generated (as a group) by the elementary unipotents $x_{alpha}(xi)$, $alphainPhi$, $xiinI$, of level $I$. Obviously, in general $E(Phi,I)$ has no chances to be normal in $E(Phi,R)$, its normal closure in the absolute elementary subgroup $E(Phi,R)$ is denoted by $E(Phi,R,I)$. The main results of [12] implied that the commutator $$ is in fact normal in $E(Phi,R)$. In the present paper we prove an unexpected result that in fact $$. It follows that the standard commutator formula also holds in the unrelativised form, namely $$, where $C(Phi,R,I)$ is the full congruence subgroup of level $I$. In particular, $E(Phi,I)$ is normal in $C(Phi,R,I)$.

Recommendations

• Generation of relative commutator subgroups in Chevalley groups.
• Relative subgroups in Chevalley groups.
• Relative commutator calculus in Chevalley groups.
• scientific article; zbMATH DE number 15398
• Commutators of relative and unrelative elementary groups, revisited

Cites work

• \(K_{1}\) of Chevalley groups are nilpotent
• A further note on subgroups of GL(n,A) which are generated by commutators
• A Note on Subgroups of GL(n, A ) which are Generated by Commutators
• A true relative of Suslin's normality theorem
• Bak's work on theK-theory of rings
• Chevalley groups over commutative rings. I: Elementary calculations
• Commutator width in Chevalley groups.
• Decomposition of transvections: A theme with variations
• Elementary calculus in Chevalley groups over rings.
• Generation of relative commutator subgroups in Chevalley groups.
• Generators, Relations and Coverings of Chevalley Groups Over Commutative Rings
• scientific article; zbMATH DE number 3971050 (Why is no real title available?)
• scientific article; zbMATH DE number 3550851 (Why is no real title available?)
• scientific article; zbMATH DE number 3592150 (Why is no real title available?)
• scientific article; zbMATH DE number 459389 (Why is no real title available?)
• scientific article; zbMATH DE number 3392741 (Why is no real title available?)
• Lectures on Chevalley groups
• Local-global principle for congruence subgroups of Chevalley groups.
• Multiple commutator formulas for unitary groups
• Non-abelian K-theory for Chevalley groups over rings.
• On normal subgroups of Chevalley groups over commutative rings
• On subgroups of GL (n, A) which are generated by commutators. II.
• On subgroups of GL(n,A) which are generated by commutators
• On the length of commutators in Chevalley groups.
• Relative commutator calculus in Chevalley groups.
• Relative subgroups in Chevalley groups.
• Relative unitary commutator calculus, and applications.
• Standard commutator formula, revisited.
• Structure of Chevalley groups over rings via universal localization.
• The commutators of classical groups
• The yoga of commutators.
• The yoga of commutators: further applications.
• Unrelativized standard commutator formula

Cited in

(16)

• Relative centralizers of relative subgroups
• Multiple commutators of elementary subgroups: end of the line
• Commutators of congruence subgroups in the arithmetic case
• Commutators of relative and unrelative elementary groups, revisited
• Unrelativized standard commutator formula
• Relative commutator calculus in Chevalley groups.
• Commutators of elementary subgroups: curiouser and curiouser
• Two-element generation of Chevalley groups of E types
• Generation of relative commutator subgroups in Chevalley groups.
• Commutator width in Chevalley groups.
• Relative subgroups in Chevalley groups.
• scientific article; zbMATH DE number 4055901 (Why is no real title available?)
• scientific article; zbMATH DE number 3685739 (Why is no real title available?)
• scientific article; zbMATH DE number 7325209 (Why is no real title available?)
• Commutators of relative and unrelative elementary unitary groups
• A Horrocks-type theorem for even orthogonal \(K_2\)

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

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