The center, Z, of a group, G satisfies:

• forall a,b in Z => ab in Z.
• a in Z => a^ in Z
• gZ=Zg is satisfied element by element. (gz=zg forall z in Z and g in G)

Z is a normal subgroup of G.