余子群

complementary subgroups