In fact, CG(S) is always a normal subgroup of NG(S).
実は、CG(S) は必ず NG(S) の正規部分群である。