设G为群，a是G中给定的元素，a的正规化子N(a)表示G中与a可交换的元素构成的集合，即由确定的元素（确定子群的元素）可交换群的元素组成的集合（子群）。