の中心はの部分群であり、定義からアーベル群(可換群)である。