C 为 G 的子群, 且称为 G 的中心, 当且仅当 C={a∣a∈G∧∀x∈G(ax=xa)}. 群的中心是群中所有 可交换 元素构成的集合 对于 阿贝尔群 G, 因为 G 中所有的元素互相都可交换, G 的中心就等于 G. 对某些非交换群 G 它的中心是 {e}.