a group theory solver for checking subgroup properties