One nitpick, the classification you refer to is only for finite groups that are also simple. The rest is good.