subgroups divide groups