Let G be a group and let H be a subgroup of G.(adsbygoogle = window.adsbygoogle || []).push({});

Define ~ as a~b iff ab^{-1}εH.

Define ~~ as a~~b iff a^{-1}bεH.

The book I am using wanted us to prove that each was an equivalence relation, which was easy. Then, it asked if these equivalence relations were the same, if so, prove it. My initial reaction was yes. I did notproveit, but I did write down a quick idea surronded by question marks and "ask PhysicsForum!." Now that I know a bit more about cosets, I say no.

For my idea, I wrote something like this. [Remember, I am writing tome.]

"Show that a~b implies a~~b and vice versa. If a~b, then ab^{-1}εH. Show that this implies that a and b^{-1}are in H... then a^{-1}and b are in H. Hence, a^{-1}bεH and a~~b... Similar going the other way... But, not sure if this even works ????? Ask PhysicsForum before trying to write this out."

Well, any help?? :)

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Homework Help: Showing that Equivalence Relations are the Same.

**Physics Forums | Science Articles, Homework Help, Discussion**