\begin{definition}[Definition:Module Automorphism]
Let $\left({G, +_G, \circ}\right)_R$ be an $R$-module.
Let $\phi: G \to G$ be a module isomorphism to itself.
Then $\phi$ is a '''module automorphism'''.
\end{definition}