Toward the Reverse Decomposition of Unipotents. II. The Relative Case

Recently, Raimund Preusser displayed very short polynomial expressions of elementary generators in classical groups over an arbitrary commutative ring as products of conjugates of an arbitrary matrix and its inverse by absolute elementary matrices. In particular, this provides very short proofs for description of normal subgroups. In 2018, the author discussed various generalizations of these results to exceptional groups, specifically those of types E 6 and E 7 . Here, a further variation of Preusser’s wonderful idea is presented. Namely, in the case of GL( n , R ), n ≥ 4, similar expressions of elementary transvections as conjugates of g ∈ GL( n , R ) and g −1 by relative elementary matrices x ∈ E ( n , J ) and then x ∈ E ( n , R , J ), for an ideal J ⊴ R , are obtained. Again, in particular, this allows to give very short proofs for the description of subgroups normalized by E ( n , J ) or E ( n , R , J ), and thus also of subnormal subgroups in GL( n , R ).