Proof of (a^-1)^-1 = a in Group (G, ⋅) | Inverse Property

[4Fun]

Homework Statement

Let (G,\circ) be a group. Show that \foralla\inG (a^{-1})^{-1} = a

The Attempt at a Solution

I came up with the following. a^{-1} is the inverse of (a^{-1})^{-1}, therefore we have:

a^{-1} \circ (a^{-1})^{-1} = e
But for a^{-1} \circ (a^{-1})^{-1} to be equal to e, it has to be the case that:
a^{-1} \circ a = e
, therefore (a^{-1})^{-1} has to be equal to a.

Now I think the proof is incorrect, but I'm not sure. I think the mistake is trying to imply that (a^{-1})^{-1} is equal to a, just because both a^{-1} \circ (a^{-1})^{-1} and a^{-1} \circ a are equal to a. Is this a valid proof technique?

 

[arildno]

Well, isn't a group associative?
Thus,

We have:
a^-1(ring)(a^-1)^-1=e

so that:
a(ring)(a^-1(ring)(a^-1)^-1))=a(ring)e (*)

Invoking associativity on LHS in (*) should do the trick.

 

[4Fun]

Ah yes, didn't think of that option. Thanks a lot for your help.

In general if you try to prove equalities like this, what should you think about? Should you just consider all definitions that are valid and then just try some things out until you come up with the desired equality or what should the process of a finding a proof for a statement like this look like?

 

[arildno]

There isn't any foolproof method to kill all the problems you might encounter.

But, as you do more of such problems, your brain sort of figures out the structure, and clever ideas might start popping up by themselves.