Canonical form of automorphisms of the group \(SL_ 2\) over rings close to fields (Q1078672): Difference between revisions

Let \({\mathfrak o}\) be a commutative ring with unity. A polynomial f(x)\(\in {\mathfrak o}[x]\) is said to be primitive if the ideal generated by the coefficients of f coincides with \({\mathfrak o}\). The ring \({\mathfrak o}\) is said to be primitive if, for every primitive polynomial f(x)\(\in {\mathfrak o}[x]\), there is an element \(\alpha\in {\mathfrak o}\) such that the element f(\(\alpha)\) is invertible in \({\mathfrak o}\). A ring is said to be semilocal if it has only finitely many maximal ideals. Let \({\mathfrak o}\) be a primitive semilocal ring in which the elements 2, 3, 5 are invertible. It is proved in this article that every automorphism \(\phi\) of the group \(SL_ 2({\mathfrak o})\) is of the form \(x^{\phi}=g^{-1}x^{\sigma}g\) for appropriate \(g\in GL_ 2({\mathfrak o})\), \(\sigma\in Aut {\mathfrak o}\).