Let GG be a . The center of GG is the subgroup

Z(G)={zG:zx=xz for every xG}.Z(G)=\{z\in G:zx=xz\text{ for every }x\in G\}.
Remarks

The group GG is abelian if and only if Z(G)=GZ(G)=G. Moreover, Z(G)Z(G) is always a (hence normal), and it is the intersection of the of all elements of GG.

Examples
  • If GG is abelian, then Z(G)=GZ(G)=G.
  • In S3S_3, Z(S3)={e}Z(S_3)=\{e\}.
  • In the Q8Q_8, the center is {±1}\{\pm 1\}.