Gの中心化群はGを中心とする群だし
Gの正規化群はGを正規部分群とする群だ