En esta sección, G es un grupo con neutro e y para cada x, x'denota un inverso de x.