在抽象代数中，群formula_1的中心formula_2是所有在formula_1中和formula_1的所有元素可交换的元素的集合，也就是：注意formula_2是一个formula_1的子群：若formula_8和formula_9在formula_2中，则formula_11，故formula_12也在formula_2中。同样的论证对于逆操作也成立。而且，formula_2是一个formula_1的可交换子群，也是formula_1的正规子群，甚至是formula_1的严格特征子群，但不总