Abstract Algebra/Group Theory/Group/Double Inverse

From Wikibooks, open books for an open world
Jump to navigation Jump to search


[edit | edit source]

Let G be any group with operation .

In Group G, inverse of inverse of any element g is g.


[edit | edit source]
0. Choose
1. definition of inverse of g in G (usage 1,3)
2. let a = g−1
4. definition of inverse of a in G (usage 2)
5. as a = g−1


[edit | edit source]
1. inverse of filled circle is empty circle.
2. inverse of empty circle is filled circle, given 1.