条件：S为G的子群。

定义：C(S)={x:x∈G,xs=sx(s为S的任意元素)}。则称C(S)为S在G中的中心化子。

性质：由定义可见，中心化子中的元素即与子群中的任意元素可交换。