, 则 称为正规子群, 也称为不变子群.