由于正规子群S所形成的多个共轭群都相同，而且就是S本身，所以正规子群亦称作不变子群。