设M为环R中心.
根据中心定义,交换性是显然的.
现在验证是子环.对a,b∈M,及 r∈R
有 (a-b)r = ar-br = ra-rb = r(a-b)
这说明 a-b∈ M
而 (ab)r = a(br)=a(rb)= (ar)b = (ra)b = r(ab)
这说 ab∈M
这就说明M的确是个子环
证毕.