正规子群 在抽象代数中正规子群或不变子群指一类特殊的子群由正规子群可以引导出商群的概念埃瓦里斯特伽罗瓦是最早认识到正规子群的重要性的人 沒有非平凡正規子群的群叫做單群所有的子群都是正規子群的群叫做戴德金群非交換的戴德金群又稱漢彌爾頓群