定義
G を群とする。
A を G の部分集合とする。
C(A) = {g ∈ G； A の各元 x に対して gx = xg} と書く。
C(A) は C_G(A) とも書く。
C(A) は G の部分群であり、A の G における中心化部分群（centralizer）と呼ぶ。