由於正規子群S所形成的多個共軛群都相同，而且就是S本身，所以正規子群亦稱作不變子群。
由於正規子群S所形成的多個共軛群都相同,而且就是S本身,所以正規子群亦稱作不變子群。...
設H是群G的子群,如果對任意的a∈G,aH=Ha,則稱H是G的正規子群,或不變子群。設H是G的一個正規子群,H的左陪集全體記作G/H,對任意的aH,bH ∈ G/H,...
時，稱子群S為群G的正規子群。