对于一个有限群G，当g为群G的任意元素，用g来左乘（例如若对A，就意味着gA）每一个元素的结果组成的集合与用g右乘（如Ag）每一个元素的结果组成的集合总是相同的，那么称这个有限群G是正规的。 假如对一个已知有限群G的所有子群，只有它本身与不变群（只有单位元素的群）是正规的，那么称它是一个有限单群。