If is a ring, the center of , sometimes denoted
, is the set of all elements in that commute with all other elements of . That is,
Note that
so the center is non-empty. If we assume that is a ring with a multiplicativeunity, then is in the center as well. The center of is also a subring of .