What is the Proof for (a^(-1))^(-1) = a?

  • Thread starter Thread starter STEMucator
  • Start date Start date
Click For Summary

Homework Help Overview

The discussion revolves around proving the identity \((a^{-1})^{-1} = a\) within the context of group theory. Participants are exploring the properties of group elements and their inverses as part of their preparation for an exam.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants discuss the uniqueness of inverses in group theory and consider how to demonstrate that \(a\) and \((a^{-1})^{-1}\) are inverses of the same element. There are attempts to connect group axioms to the proof.

Discussion Status

Some participants have provided insights regarding the properties of inverses in groups, suggesting that if \(a\) and \((a^{-1})^{-1}\) are inverses of the same element, they must be equal. The conversation is ongoing, with various interpretations and approaches being explored.

Contextual Notes

Participants are working collaboratively and referencing group axioms, indicating a focus on theoretical understanding rather than procedural steps. There is an acknowledgment of the need for clarity on the properties of group elements and their inverses.

STEMucator
Homework Helper
Messages
2,076
Reaction score
140

Homework Statement



Trying to run through every problem i can in my book in preparation for my exam. I've solved this one before, but it slipped my mind how to do it :

http://gyazo.com/9fcf9f3cef522c3d5eb1fa7d4ad04394

Homework Equations



Working in a group, so group axioms I suppose.

The Attempt at a Solution



I forgot where to start this one off, I was thinking :

e = aa-1
a-1e = a-1aa-1

That won't get me anywhere though, any pointers would be appreciated.
 
Physics news on Phys.org
Do you know that every element in a group has a unique inverse?? You can use this by showing that [itex]a[/itex] and [itex](a^{-1})^{-1}[/itex] are inverses of the same element. So they must be equal.
 
micromass said:
Do you know that every element in a group has a unique inverse?? You can use this by showing that [itex]a[/itex] and [itex](a^{-1})^{-1}[/itex] are inverses of the same element. So they must be equal.

Ah, so what you're saying is if a is a group element, then it has an inverse which is also a group element denoted by a-1.

Since a-1 is also a group element and the inverse of a, then (a-1)-1 is also a group element and is the inverse of a-1.
 
Zondrina said:
Ah, so what you're saying is if a is a group element, then it has an inverse which is also a group element denoted by a-1.

Since a-1 is also a group element and the inverse of a, then (a-1)-1 is also a group element and is the inverse of a-1.

Yes. So [itex]a^{-1}[/itex] has two inverses. Those inverses must equal.
 
Hi Zondrina!

In a group every element has to have an inverse.
Now suppose we have b=a-1.
Then according to the group axioms we have: ab=e
What happens if you multiply the left and right hand sides with b-1?
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K