1，则 formula_72是一个子群
3.群的中心，中心化子，正规化子.我们设formula_73一个群G的子集，包含了所有与群G中其他元素可交换的元素，也就是说formula_74，此集合为群G的子群。我们称此子群为群的中心，记作formula_73。设A为G的任意子集，则A在G中的中心化子为集合formula_76，此集合的定义为:formula_77，此集合也是群G的子群。至于A在G中的正规化子则为集合formula_78，此集合定义为:formula_