Center of a ring

The subring of elements that commute with every element of the ring.
Center of a ring

Let RR be a . The center of RR is

Z(R)={zR:rR,  zr=rz}. Z(R)=\{\,z\in R:\forall r\in R,\; zr=rz\,\}.

It is a of RR, and in fact a .

The center measures how far RR is from being commutative: RR is commutative iff Z(R)=RZ(R)=R. The center also controls constructions like the and scalar actions on modules and representations.

Examples:

  • If kk is a field and n1n\ge 1, then Z(Mn(k))Z(M_n(k)) consists of scalar matrices and is isomorphic to kk.
  • The center of the quaternion division ring H\mathbb{H} is R\mathbb{R}.
  • In M2(k)M_2(k), the matrix (0100)\begin{pmatrix}0&1\\0&0\end{pmatrix} is not central since it does not commute with all matrices.