inverse of inverse in a group
Let be a group.We aim to prove that for every .That is, the inverse of the inverse of a group element is the element itself.
By definition , where is the identity in . Reinterpreting this equation we can read it as saying that is the inverse of .
In fact, consider , the equation can be written and thus is the inverse of .