"g" を "n" 点(ω ＝{1,2, …,n})上の置換群とし{"g"1, …, "g""k"}を "g" の生成集合とする。