正规子群

设N是群G的一个子群，如果对G中每个元素a都有 aN=Na，即 aNa-1=N ，则称N是群G的一个正规子群（或不变子群）。