正規子群

在抽象代數中 ， 正規子群或不變子群指一類特殊的子群 。 由正規子群 ， 可以引導出商群的概念 。 埃瓦里斯特 · 伽羅瓦是最早認識到正規子群的重要性的人 。 沒有非平凡正規子群的群叫做單群 ； 所有的子群都是正規子群的群叫做戴德金群 ， 非交換的戴德金群又稱漢彌爾頓群 。