Salutations! I just want to make sure I am on the right track...(adsbygoogle = window.adsbygoogle || []).push({});

1. The problem statement, all variables and given/known data

Let G be a group. Prove that if every element in a group is equal to its own inverse, then G is abelian

2. The attempt at a solution

Pick two elements [itex] a, b \in \thinspace G[/itex]. By assumption, [itex]a = a^{-1}[/itex] and [itex] b = b^{-1}[/itex]. Our goal is to show that [itex] ab = ba[/itex]. By our assumption, the following holds

[itex]

ab = a^{-1}b^{-1}

[/itex]

Since G is a group, it is closed under inverses, therefore we can take the inverse of both sides

[itex]

(ab)^{-1} = \bigl (a^{-1} b^{-1} \bigl )^{-1} = \bigl (b^{-1} \bigl )^{-1} \bigl (a^{-1} \bigl )^{-1} = ba

[/itex]

Thanks!

**Physics Forums - The Fusion of Science and Community**

# Proof of abelian-ness if every element is also its own inverse

Know someone interested in this topic? Share a link to this question via email,
Google+,
Twitter, or
Facebook

Have something to add?

- Similar discussions for: Proof of abelian-ness if every element is also its own inverse

Loading...

**Physics Forums - The Fusion of Science and Community**