Centrality of the congruence kernel for elementary subgroups of Chevalley groups of rank over noetherian rings

Authors:
Andrei S. Rapinchuk and Igor A. Rapinchuk

Journal:
Proc. Amer. Math. Soc. **139** (2011), 3099-3113

MSC (2010):
Primary 19B37; Secondary 20G35

DOI:
https://doi.org/10.1090/S0002-9939-2011-10736-6

Published electronically:
January 20, 2011

MathSciNet review:
2811265

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Let be a universal Chevalley-Demazure group scheme associated to a reduced irreducible root system of rank For a commutative ring , we let denote the elementary subgroup of the group of -points The congruence kernel is then defined to be the kernel of the natural homomorphism where is the profinite completion of and is the congruence completion defined by ideals of finite index. The purpose of this paper is to show that for an arbitrary noetherian ring (with some minor restrictions if is of type or ), the congruence kernel is central in

**[1]**M.F. Atiyah, I.G. MacDonald,*Introduction to Commutative Algebra*, Westview Press, 1969.**[2]**H. Bass, J. Milnor, J.P. Serre,*Solution of the congruence subgroup problem for and*, Publ. Math. IHES**33**(1967), 59-137. MR**0244257 (39:5574)****[3]**A. Borel,*Properties and linear representations of Chevalley groups*, Seminar on Algebraic Groups and Related Finite Groups, Lect. Notes Math.**131**, Springer, 1970. MR**0258838 (41:3484)****[4]**D. Costa, G. Keller,*On the normal subgroups of*, Trans. Amer. Math. Soc.**351**(1999), no. 12, 5051-5088. MR**1487611 (2000c:20070)****[5]**N. Bourbaki,*Lie Groups and Lie Algebras*, Chapters 7-9, Elements of Mathematics, Springer, 2005. MR**2109105 (2005h:17001)****[6]**D. Grayson,*of an interesting principal ideal domain*, J. Pure Appl. Algebra**20**(1981), 157-163. MR**601681 (82m:18005)****[7]**J.E. Humphreys,*Introduction to Lie Algebras and Representation Theory*, Graduate Texts in Math.**9**, Springer, 1972. MR**0323842 (48:2197)****[8]**F. Ischebeck,*Hauptidealringe mit nichtrivialer -Gruppe*, Arch. Math. (Basel)**35**(1980), 138-139. MR**578030 (81h:18011)****[9]**M. Kassabov, N. Nikolov,*Universal lattices and property tau*, Invent. Math.**165**(2006), 209-224. MR**2221141 (2007c:19002)****[10]**H. Matsumoto,*Subgroups of finite index in certain arithmetic groups*, Proc. Sympos. Pure Math.**9**, Amer. Math. Soc. (1966), 99-103. MR**0204534 (34:4373)****[11]**H. Matsumoto,*Sur les sous-groupes arithmétiques des groupes semi-simples déployés*, Ann. Sci. de l'É.N.S. (4)**2**(1969), 1-62. MR**0240214 (39:1566)****[12]**J.R. Munkres,*Topology*, Prentice Hall, 1975. MR**0464128 (57:4063)****[13]**G. Prasad, A.S. Rapinchuk,*Developments on the congruence subgroup problem after the work of Bass, Milnor, and Serre*, in: Collected Papers of John Milnor: V. Algebra, edited by H. Bass and T.Y. Lam, Amer. Math. Soc., 2010, pp. 307-325.**[14]**A.S. Rapinchuk,*Combinatorial theory of arithmetic groups*, Preprint No. 20(420), Academy of Sciences of the Byelorussian SSR, Institute of Mathematics (April 1990).**[15]**D. Shenfeld,*On semisimple representations of*, Hebrew University Master's Thesis.**[16]**M.R. Stein,*Relations and coverings of Chevalley groups over commutative rings*, Amer. J. Math.**93**(1971), no. 4, 965-1004. MR**0322073 (48:437)****[17]**M.R. Stein,*Surjective stability in dimension 0 for and related functors*, Trans. Amer. Math. Soc.**178**(1973), 165-191. MR**0327925 (48:6267)****[18]**R. Steinberg,*Lectures on Chevalley groups*, mimeographed lectures notes, Yale University Math. Dept., New Haven, CT, 1968. MR**0466335 (57:6215)****[19]**A.A. Suslin,*The structure of the special linear group over rings of polynomials*, Izv. Math.**41**(1977), no. 2, 235-252, 477. MR**0472792 (57:12482)****[20]**O.I. Tavgen,*Finite width of arithmetic subgroups of Chevalley groups of rank*, Dokl. Math.**41**(1990), no. 1, 136-140. MR**1047534 (91h:11029)**

Retrieve articles in *Proceedings of the American Mathematical Society*
with MSC (2010):
19B37,
20G35

Retrieve articles in all journals with MSC (2010): 19B37, 20G35

Additional Information

**Andrei S. Rapinchuk**

Affiliation:
Department of Mathematics, University of Virginia, Charlottesville, Virginia 22904

Email:
asr3x@virginia.edu

**Igor A. Rapinchuk**

Affiliation:
Department of Mathematics, Yale University, New Haven, Connecticut 06502

Email:
igor.rapinchuk@yale.edu

DOI:
https://doi.org/10.1090/S0002-9939-2011-10736-6

Received by editor(s):
July 22, 2010

Received by editor(s) in revised form:
August 12, 2010

Published electronically:
January 20, 2011

Communicated by:
Jonathan I. Hall

Article copyright:
© Copyright 2011
American Mathematical Society

The copyright for this article reverts to public domain 28 years after publication.