Surjective stability for the \(K_ 1\)-functor for some exponential Chevalley groups (Q1261273): Difference between revisions

Let \(R\) be a commutative ring with 1, \(\Phi\) an irreducible root system, \(G(\Phi)\) the Chevalley-Demazure group scheme, \(E(\Phi,R)\) the subgroup of \(G(\Phi,R)\) generated by all root elements. For several inclusions \(\Delta\subset \Phi\) of root systems, M. Stein proved that \(G(\Phi, R)= E(\Phi, R)G(\Delta, R)\) under certain conditions on \(R\). Also using basic representations, weight diagrams, and appropriate absolute stable rank conditions on \(R\), the author obtains this equality (referred to as the surjective stability in the title) for other inclusions.