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