定義
G を群とする。
X を G-集合（>>77）とする。
x ∈ X のとき H = {σ；σx = x} は G の部分群である。
H を x の安定化部分群（stabilizer subgroup of x）または固定化部分群と言い St(x) と書く。