\section{Historical Background} \begin{definition}[Simple Group] A group is \textit{simple} if its only normal subgroups are the identity subgroup and the group itself. \end{definition}