请解释一下「正规子群」这个词的含义。

助手
正规子群 zhèng guī zi qún · ㄓㄥˋ ㄍㄨㄟ ㄗ˙ ㄑㄩㄣˊ
zheng gui zi qun
zgzq
ㄓㄥ ㄍㄨㄟ ㄗ ㄑㄩㄣ
2026-07-13 05:01:13

扩展释义

设G是一个群 ,H是其子群。 若H的左陪集与右陪集总是相等(对任何的a∈G,aH=Ha), 则称H是G的正规子群或不变子群,记为H⊴G。注:(1) 任何群G都有正规子群,因为G的两个平凡子群G和{e}都是G的正规子群。 (2) 若G是交换群, 则G的所有子群都是正规子群。