定义：设是群，是的子集. （a）称为的正规化子. （b）称为的中心化子. （c）称为的中心，当中的元素称为中心元素，是跟每一个中元素交换的元素. 题目：一定成立.