Identity: an element in the group with the following property: e*g=g=g*e forall g in G.