[数]?不变子群

... 的子群，如果对每个 ， H G a G  都有 则称 是群 的一个正规子群（subgroup） aH Ha  H G 或不变子群( invariant subgroup)，记作 ． H G 注 在上述定义中，条件 仅仅表示两个 aH Ha  集合 与 相等.