群の中心

部分群であること：$e$ はすべての元と交換するので $e\in Z(G)$。$x,y\in Z(G)$ と任意の $g\in G$ に対し $(xy)g=x(yg)=x(gy)=(xg)y=(gx)y=g(xy)$ なので $xy\in Z(G)$。$x\in Z(G)$ なら $xg=gx$ の両辺に左右から $x^{-1}$ を掛けて $gx^{-1}=x^{-1}g$ を得るので $x^{-1}\in Z(G)$。
正規性：$x\in Z(G)$、$g\in G$ に対し $gxg^{-1}=xgg^{-1}=x\in Z(G)$。よって $gZ(G)g^{-1}\subset Z(G)$ が任意の $g$ で成り立ち、$Z(G)$ は正規部分群である。$\square$

$Z(G)=G$ なら任意の $x,y\in G$ で $x\in Z(G)$ より $xy=yx$。逆に $G$ がアーベル群なら任意の $x$ が任意の $y$ と交換するので $x\in Z(G)$。$\square$

$\varphi_g\circ\varphi_{g^{-1}}(x)=g(g^{-1}xg)g^{-1}=x$ であり同様に $\varphi_{g^{-1}}\circ\varphi_g=\mathrm{id}$ なので $\varphi_g$ は全単射である。$\varphi_g\circ\varphi_h(x)=g(hxh^{-1})g^{-1}=(gh)x(gh)^{-1}=\varphi_{gh}(x)$ なので $\varphi$ は準同型である。$g\in\ker\varphi$ は $\varphi_g=\mathrm{id}$、すなわち任意の $x$ で $gxg^{-1}=x$、すなわち $gx=xg$ を意味し、これは $g\in Z(G)$ と同値である。$\square$

結合律：$\bigl((a,b,c)(a',b',c')\bigr)(a'',b'',c'')$ の第 $3$ 成分は $c+c'+ab'+c''+(a+a')b''$、$(a,b,c)\bigl((a',b',c')(a'',b'',c'')\bigr)$ の第 $3$ 成分は $c+c'+c''+a'b''+a(b'+b'')$ で、いずれも $c+c'+c''+ab'+ab''+a'b''$ に等しい。第 $1$、第 $2$ 成分は加法なので一致する。単位元は $(0,0,0)$、$(a,b,c)$ の逆元は $(-a,-b,-c+ab)$ である（$(a,b,c)(-a,-b,-c+ab)=(0,0,c-c+ab-ab)=(0,0,0)$、逆順も同様に $(0,0,-c+ab+c+(-a)b)=(0,0,0)$）。
非アーベル：$(1,0,0)(0,1,0)=(1,1,1)$ だが $(0,1,0)(1,0,0)=(1,1,0)$ である。
中心：$(a,b,c)$ と $(a',b',c')$ の積の第 $3$ 成分を比較すると、両者が交換することは $ab'=a'b$ と同値である。$(a,b,c)$ が中心に属するのは、任意の $(a',b')$ で $ab'=a'b$ となるときで、$(a',b')=(0,1)$ から $a=0$、$(a',b')=(1,0)$ から $b=0$ を得る。逆に $a=b=0$ なら $ab'=0=a'b$ が常に成り立つ。よって $Z(H)=\{(0,0,c)\}$ で、$(0,0,1)\neq(0,0,0)$ かつ $(1,0,0)\notin Z(H)$ から自明でも全体でもない。$Z(H)$ の積は $(0,0,c)(0,0,c')=(0,0,c+c')$ なので、$c\mapsto(0,0,c)$ により $Z(H)\cong\mathbb{Z}$ である。$\square$

$C_G(x)$ が部分群であること：$e\in C_G(x)$、$g,h\in C_G(x)$ なら $(gh)x=g(xh)=(xg)h=x(gh)$、$gx=xg$ なら $x g^{-1}=g^{-1}x$。
共役が同値関係であること：$x=exe^{-1}$（反射律）、$y=gxg^{-1}$ なら $x=g^{-1}yg$（対称律）、$y=gxg^{-1}$、$z=hyh^{-1}$ なら $z=(hg)x(hg)^{-1}$（推移律）。よって共役類は $G$ を分割する。
共役類の大きさ：左剰余類の集合 $G/C_G(x)$ から $x$ の共役類への写像 $gC_G(x)\mapsto gxg^{-1}$ を考える。$gC_G(x)=hC_G(x)$ は $h^{-1}g\in C_G(x)$、すなわち $h^{-1}gx=xh^{-1}g$、すなわち $gxg^{-1}=hxh^{-1}$ と同値なので、この写像は well-defined かつ単射である。全射は定義から明らかである。よって共役類の元の個数は $[G:C_G(x)]$ である。
$x\in Z(G)$ は任意の $g$ で $gxg^{-1}=x$、すなわち共役類が $\{x\}$ であることと同値である。
類等式：$G$ は共役類の非交和である。一元からなる共役類は中心の元に対応し、その個数の和は $|Z(G)|$ である。残りの共役類の大きさを足せば上式を得る。$\square$

lem-center-of-group-class-equation の類等式を使う。中心に属さない $x_i$ に対し $C_G(x_i)\neq G$ なので $[G:C_G(x_i)]>1$ であり、Lagrange の定理から $[G:C_G(x_i)]$ は $|G|=p^n$ の約数、すなわち $p$ の正の冪である。よって右辺の和は $p$ で割り切れ、$|G|=p^n$ も $p$ で割り切れるから $|Z(G)|=|G|-\sum_i[G:C_G(x_i)]$ は $p$ で割り切れる。$e\in Z(G)$ より $|Z(G)|\ge1$ なので $|Z(G)|\ge p>1$ である。$\square$