Automorphism of a class of solvable group (Q584415)

Let R be a commutative ring with 1, \(n\geq 3\). It is considered the group \(G_ n(R)\) defined by a set of generators and relations. The generating elements have the form \(x_{ij}(\alpha)\), \(d_ i(\beta)\), where \(\alpha\in R\), \(\beta \in R^*\), \(i,j=1,...,n\), \(i<j\). The defining relations are ordinary relations between elementary and diagonal matrices in the general linear group \(GL_ n(R)\) over the ring R. The group \(G_ n(R)\) is solvable and \(G_ n(R)=D_ n(R)T_ n(R)\), where \(D_ n(R)\) is generated by \(d_ i(\beta)\) and \(T_ n(R)\) is generated by \(x_{ij}(\alpha)\). In the paper are studied automorphisms of \(G_ n(R)\) over a commutative ring R with \(2\in R^*\). If the automorphism \(\Lambda\) of \(G_ n(R)\) keeps all the \(x_{ij}(1)\) unchanged then \(\Lambda\) induces an automorphism of the ring R (Theorem 2). Denote by S the cartesian product of all possible localizations of the ring R at all maximal ideals of R. Let \(\Lambda\) be any automorphism of \(G_ n(R)\). Then for any \(A\in G_ n(R)\), \[ A^{\Lambda}=g(A^{\sigma}e+(A^{\sigma '-1})^{i_{\pi}}(1- e))g^{-1}, \] where \(g\in G_ n(S)\), e is an idempotent element in R, \(\sigma\) is an automorphism of R, \(i_{\pi}\) is an inner automorphism of \(G_ n(R)\) (Theorem 3).