>>481
ここでいう置換群は有限集合上の置換群のことである。
無限集合上の置換群では事情は異なる。