##### 中心化子 - 中心化子 - **中心化子**是[[群]] $G$ 中所有与子集 $A\subseteq G$ 中每个元素可交换的群元素集合, 也是其[[子群]], 可以决定[[共轭类]]的大小 - $C_G(A) = \{ g \in G \mid \forall a \in A, ga = ag \}$