定義
G を群とする。
X を G-集合（過去スレpart5の77）とする。
x の安定化部分群（過去スレpart5の93）St(x) を Stab_G(x) または Stab(x) とも書く。