抽象代数中的一个定理：群G的全体中心元素作成的集合C(G)是G的一个子群。