Misalkan \(G\) suatu grup dan \(g \in G\text{.}\) Definisikan pemetaan \(i_g : G \rightarrow G\) dengan \(i_g(x) = g x g^{-1}\text{.}\) Buktikan bahwa \(i_g\) mendefinisikan suatu automorfisme dari \(G\text{.}\) Automorfisme semacam ini disebut automorfisme dalam. Himpunan semua automorfisme dalam dinyatakan dengan \(\inn(G)\text{.}\)