Relative commutator calculus in Chevalley groups.

DOI10.1016/J.JALGEBRA.2013.03.011MaRDI QIDQ2438463zbMATH OpenOpenAlexFDO

Authors R. Hazrat, Zuhong Zhang, Nikolai Vavilov

Publication date 4 March 2014

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

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

zbMATH Keywords

Chevalley groupscommutator formulaelocalisation-completionQuillen-Suslin lemma

Mathematics Subject Classification ID

Stability for linear groups (19B14) Commutator calculus (20F12) Linear algebraic groups over adèles and other rings and schemes (20G35) Other matrix groups over rings (20H25)

Abstract: We revisit localisation and patching method in the setting of Chevalley groups. Introducing certain subgroups of relative elementary Chevalley groups, we develop relative versions of the conjugation calculus and the commutator calculus in Chevalley groups $G(Phi,R)$, $k(Phi)geq2$, which are both more general, and substantially easier than the ones available in the literature. For classical groups such relative commutator calculus has been recently developed by the authors in cite{RZ,RNZ}. As an application we prove the mixed commutator formula, [ �ig [E(Phi,R,ma),C(Phi,R,mb)�ig ]=�ig [E(Phi,R,ma),E(Phi,R,mb)�ig], ] for two ideals $ma,mbunlhdR$. This answers a problem posed in a paper by Alexei Stepanov and the second author.

Recommendations

• Relative unitary commutator calculus, and applications.
• Relative subgroups in Chevalley groups.
• Generation of relative commutator subgroups in Chevalley groups. II.
• Generation of relative commutator subgroups in Chevalley groups.
• The yoga of commutators: further applications.

Cites work

• A₂-proof of structure theorems for Chevalley groups of type F₄.
• A₃-proof of structure theorems for Chevalley groups of types E₆ and E₇. II: Main lemma.
• \(K\)-theory and stable algebra
• \(K_{1}\) of Chevalley groups are nilpotent
• A classification of subgroups of \(\Lambda\)-quadratic groups normalized by relative elementary groups
• A further note on subgroups of GL(n,A) which are generated by commutators
• A generalized sandwich theorem
• A Note on Subgroups of GL(n, A ) which are Generated by Commutators
• An $\mathrm {A}_2$-proof of structure theorems for Chevalley groups of types $\mathrm {E}_6$ and $\mathrm {E}_7$
• Bak's work on theK-theory of rings
• Centralizer of the elementary subgroup of an isotropic reductive group.
• Chevalley groups over commutative rings. I: Elementary calculations
• Chevalley groups over local rings
• Decomposition of transvections: A theme with variations
• Dimension theory and nonstable \(K_{1}\) of quadratic modules
• Dimension theory and nonstable K-theory for net groups
• Elementary subgroup of an isotropic reductive group is perfect.
• Elementary subgroups of isotropic reductive groups.
• Generators, Relations and Coverings of Chevalley Groups Over Commutative Rings
• scientific article; zbMATH DE number 3851376 (Why is no real title available?)
• scientific article; zbMATH DE number 5762131 (Why is no real title available?)
• scientific article; zbMATH DE number 3971050 (Why is no real title available?)
• scientific article; zbMATH DE number 4109012 (Why is no real title available?)
• scientific article; zbMATH DE number 3726603 (Why is no real title available?)
• scientific article; zbMATH DE number 15398 (Why is no real title available?)
• scientific article; zbMATH DE number 32405 (Why is no real title available?)
• scientific article; zbMATH DE number 44097 (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 3625617 (Why is no real title available?)
• scientific article; zbMATH DE number 459389 (Why is no real title available?)
• scientific article; zbMATH DE number 816139 (Why is no real title available?)
• scientific article; zbMATH DE number 848018 (Why is no real title available?)
• scientific article; zbMATH DE number 3314408 (Why is no real title available?)
• scientific article; zbMATH DE number 3375759 (Why is no real title available?)
• scientific article; zbMATH DE number 3392741 (Why is no real title available?)
• Local-global principle for the general quadratic and general Hermitian groups and the nilpotency of \(\mathrm{KH}_1\)
• Local-global principle for transvection groups
• Localization-completion strikes again: relative \(K_1\) is nilpotent by Abelian
• Location of subgroups in the general linear group over a commutative ring
• Nonabelian \(K\)-theory: The nilpotent class of \(K_ 1\) and general stability
• Normal subgroups of classical groups over rings
• Normality for elementary subgroup functors
• Normality of the elementary subgroups of twisted Chevalley groups over commutative rings
• Odd unitary groups.
• On normal subgroups of Chevalley groups over commutative 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.
• On the Normal Subgroups of G₂(A)
• On the overgroups of \(\text{EO}(2l,R)\).
• On the stability of the K₁-functor for Chevalley groups of type E₇
• Overgroups of $\mathrm{EO}(n,R)$
• Overgroups of $\text {\rm F}_4$ in $\text {\rm E}_6$ over commutative rings
• Overgroups of classical groups in linear group over Banach algebras.
• Overgroups of classical groups over commutative rings in linear group.
• Overgroups of elementary symplectic groups
• Overgroups of semisimple groups.
• Overgroups of symplectic group in linear group over commutative rings.
• Overgroups of unitary groups.
• Projective modules over polynomial rings
• Quadratic modules and the orthogonal group over polynomial rings
• Relative subgroups in Chevalley groups.
• Relative unitary commutator calculus, and applications.
• Relativizing functors on rings and algebraic K-theory
• Solution of the congruence subgroup problem for \(\text{SL}_ n\) \((n\geq 3)\) and \(\text{Sp}_{2n}\) \((n\geq 2)\)
• Stable sandwich classification theorem for classical-like groups
• Standard commutator formula, revisited.
• Standard commutator formula.
• Structure of Hyperbolic Unitary Groups I: Elementary Subgroups
• Subgroups of classical groups normalized by relative elementary groups.
• Subnormal structure of non-stable unitary groups over rings.
• Sur les sous-groupes arithmétiques des groupes semi-simples déployés
• THE STABILIZATION OF SYMPLECTIC GROUPS OVER A POLYNOMIAL RING
• The structure of orthogonal groups over arbitrary commutative rings
• The structure of symplectic groups over arbitrary commutative rings
• The subnormal structure of general linear groups
• The subnormal structure of general linear groups over rings
• The yoga of commutators.
• Weight elements of Chevalley groups.

Cited in

(21)

• Commutators of congruence subgroups in the arithmetic case
• Local-global principle for congruence subgroups of Chevalley groups.
• The yoga of commutators: further applications.
• The yoga of commutators.
• Unrelativized standard commutator formula
• Multiple commutator formulas for unitary groups
• The commutators of classical groups
• Commutators of elementary subgroups: curiouser and curiouser
• Generation of relative commutator subgroups in Chevalley groups.
• Linear groups over general rings. I: Generalities.
• scientific article; zbMATH DE number 4055901 (Why is no real title available?)
• Chevalley groups of type E7 in the 56-dimensional representation
• Chevalley groups of type \(E_7\) in the 56-dimensional representation.
• Generation of relative commutator subgroups in Chevalley groups. II.
• Non-abelian K-theory for Chevalley groups over rings.
• The reverse decomposition of unipotents for bivectors
• Commutators of relative and unrelative elementary unitary groups
• Relative unitary commutator calculus, and applications.
• St. Petersburg school of linear groups. II: Early works by Suslin
• Calculations in exceptional groups, an update.
• Structure of Chevalley groups over rings via universal localization.

This page was built for publication: Relative commutator calculus in Chevalley groups.

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