Mathematician here. You did a pretty good job explaining. One nitpick, the classification you refer to is only for finite groups that are also simple. The re

Mathematician here. You did a pretty good job explaining. One nitpick, the classification you refer to is only for finite groups that are also simple. The rest is good.