初学群论的同学刚开始接触正规化子和中心化子这两个概念的时候会很容易弄混，因为他们的定义十分相似。一个群$G$的子集$S$的中心化子(Centralizer)和正规化子(Normalizer)都是$G$的子群，并且符合类似的“局部交换”的限制条件。

中心化子的一般定义是从一个元素开始，$a\in G$的中心化子$C(a)$是$G$中和$a$交换的元素集合，即

$$C(a):=\{x\in G:xa=ax\}.$$

更一般的子集$S$的中心化子是指$G$中和$S$中任意元素交换的元素集合，即

$$C(S):=\{x\in G:xs=sx,\forall s\in S\}.$$

值得一提的是，群的中心是一个特殊的中心化子，即子集$G$的中心化子，常记为$Z(G)$。

下面再来讲正规化子，正规化子同样也是$G$的子群。如果$S$是$G$的一个子集，则它的正规化子 $$N(S):=\{x\in G:xS=Sx\}.$$
我们可以这样看正规化子的定义， 如果我们令$\langle S\rangle$为一个由$S$生成的子群，则$N(S)$是最大的满足包含$\langle S\rangle$为其正规子群的$G$的子群。注意上述定义和中心化子的区别：$xS=Sx$是指对某些$s,t\in S$,我们有$xs=tx\in Sx$。所以我们可以看出中心化子的定义比正规化子更强。

环与代数同样也有响应的中心化子定义，定义与群的中心化子类似。特别地，对于李代数，我们同样也有正规化子的定义。令$L$为一个李代数，于是子集$S$的中心化子定义为 $$C(S)=\{x\in L:[x,s]=0, \forall s\in S\},$$ 而正规化子定义为 $$N(S)=\{x\in L:[x,s]\in S, \forall s\in S\}$$

总之，中心化子的定义更注重元素的交换，而正规化子是一种弱化的定义是元素和集合的交换。

注：上述符号$C(a)$一般写为$C_G(a)$，在不引起误解的情况下，可以使用上述简写。其它符号类似。

相关链接：Math.SE: Normalizer vs Centralizer.

2015-11-25