Invertible Matrix corresponds to Automorphism

From ProofWiki
Jump to: navigation, search


Let $R$ be a ring with unity.

Let $n \in \Z_{>0}$ be a (strictly) positive integer.

Let $G$ be an $n$-dimensional $R$-module.

Let $\map {\mathcal M_R} n$ be the $n \times n$ matrix space over $R$.

Let $\map {\mathcal L_R} G$ be the set of all linear operators on $G$.

Then the invertible elements of the ring of square matrices $\struct {\map {\mathcal M_R} n, +, \times}$ correspond directly to automorphisms of $\map {\mathcal L_R} G$.