\begin{definition}[Definition:Simple Group]
A group $G$ is '''simple''' {{iff}} it has only $G$ and the trivial group as normal subgroups.
That is, if the composition length of $G$ is $1$.
\end{definition}