中心化子与群中心

中心化子测量一个元素集合在多大范围内表现得像处在交换群中。$C_G(S)$ 中的元素可能彼此并不交换，但它们都无法通过交换次序辨认出 $S$ 中任一元素；中心则把测试集合扩大为整个群，留下对所有群元素都“透明”的部分。

这个定义依赖所在的环境群。同一个元素放进更大的群后，需要与更多元素交换，其中心化子可能缩小。因此 $C_G(x)$ 既记录 $x$ 的内部对称性，也记录 ambient group 提供了多少可能与 $x$ 不交换的变换。

在 $S_3$ 中取换位 $\sigma =(12)$。与 $\sigma$ 交换的置换只有 $e$ 和 $\sigma$，故

三个换位彼此并不都交换，三循环也不与换位交换，所以 $Z(S_3)=\{e\}$。与此相反，若 $G$ 是阿贝尔群，则每对元素都交换，从而 $C_G(S)=G$ 对任意 $S\subseteq G$ 成立，特别地 $Z(G)=G$。

中心化子通常不是正规子群。上面的 $C_{S_3}((12))=⟨(12)⟩$ 经 $(123)$ 共轭后变成另一个二阶子群，所以它不正规。中心化子也不能与正规化子混同：正规化子只要求共轭后保持整个子集不变，允许其中元素被重新排列；中心化子要求每个元素逐点不动。最后，$C_G(\varnothing )=G$，因为对空集的全称条件自动成立。

群对自身作共轭作用 $g\cdot x=gx{g}^{-1}$ 时，$x$ 的稳定子正是 $C_G(x)$。因此有限群中由轨道–稳定子定理公理库轨道–稳定子定理Orbit–stabilizer theorem有限群作用下元素轨道大小等于群阶除以稳定子阶。得到

这把元素的共轭类大小化为一个子群指数。中心则可由交换子描述为

但它与交换子子群公理库交换子群Commutator subgroup · Derived subgroup由全部交换子生成的正规子群，度量群偏离交换性的程度。之间一般不存在包含关系。中心化子还用于研究群作用的稳定结构、有限群的类方程以及矩阵群中与给定线性变换可交换的全部算子。