Special subgroups (abelian, cyclic, etc.) Abstract finite groups mathematics