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.