\begin{definition}[Definition:Identity Automorphism]
Let $\struct {R, +, \circ}$ be a ring.
Consider the identity mapping $I_R: R \to R$:
:$\forall r \in R: \map {I_R} r = r$
Then $I_R$ is '''the identity automorphism on $R$'''.
\end{definition}