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.