Abstract:
Let D be a Dedekind domain. In 1977, A. Suslin established that for any N>=3, and any n>=1, one has SL_N(D[x_1,...,x_n])=SL_N(D)E_N(D[x_1,...,x_n]), where E_N(D[x_1,...,x_n]) is the elementary subgroup of SL_N(D[x_1,...,x_n]), i.e. the subgroup generated by the unipotent elementary transformation matrices E+tE_ij, where E is the unit matrix, E_ij is the matrix with 1 at the position i,j and 0 everywhere else, and t is an arbitrary element of the polynomial ring D[x_1,...,x_n]. In particular, this implies that SL_N(Z[x_1,...,x_n])=E_N(Z[x_1,...,x_n]), where Z is the ring of integers. We discuss an extension of this result to all split simple linear algebraic groups (also called Chevalley groups) and to regular rings D of higher dimension.
Language: English
|