Subnormal subgroups of abstract finite groups Abstract finite groups mathematics