This paper is a continuation of two other papers with the same title [1, 2]. Let GLn[R] be the group of n x n invertible matrices with elements from a ring R. In [1], R was the ring of integers modulo a prime power pr = v, and the normal subgroups of GLn[R] were described. For each ideal W in the ring R, two normal subgroups N*,n, Nvn were defined by means of congruences: Nvn {M det M = 1, M-I, identity, mod W}; N*,n = { M M mod W is scalar}. It was shown that every normal subgroup of GLn[R] (n>2) contains Nw n and is contained in N*,n for suitable W. This result was generalized in [8] to the case where R is any valuation ring. The important case where R is the ring of rational integers, and GLn[R] is the unimodular group, is not covered by either of these references. A study of the latter case is the primary purpose of this paper. The methods used here work reasonably well when R is any euclidean ring (even a non-commutative one); certain results hold in a still wider class of rings. The general problem of describing normal subgroups falls naturally into two parts. In the first part (?? 2, 3) the discussion is restricted to the case n > 2. There we show that if a normal subgroup N contains a certain matrix C, then N must contain also the canonical matrix A =I+ me2l for some positive integer m. The second part (?? 5, 6) includes the case n = 2. The problem here is to find the least normal subgroup Qmn of GLn[R], or of the subgroup SLn[R] of the latter, which contains A. For R = J, we conjecture that Qm,n is Nm,n = N(m),n, and establish the validity of this conjecture for m 2) into a form parallel to and generalizing the solution given in [1]; v need not be a prime power (? 4). The results of [8]
Read full abstract