Inverse:

let g^ = the inverse of g. in G
forall g in G there exists g^ in G s.t.

g*g^=g^g=e

e=identity element.