\begin{definition}[Definition:Inner Automorphism Group]
Let $G$ be a group.
The '''inner automorphism group''' of $G$ is the algebraic structure:
:$\struct {\Inn G, \circ}$
where:
:$\Inn G$ is the '''set of inner automorphisms''' of $G$
:$\circ$ denotes composition of mappings.
\end{definition}