群自身への共役を考えるときの、固定部分群

固定部分群の特別パターン

G自身に作用させる

定義

a\in Gについて、

C_a=\{g\;|ga=ag, g\in G\}のこと

p.94のは、部分群Hの中心化群

Z_G(H)=\{g\in G|\forall h\in H,gh=hg\}のこと

HはGの部分群

Z_G(G)のことを群の中心という