# Show that the set $\{r^{-1} : r\in R \}$ contains exactly one element out of each right coset of $H$.

I'm dutch and I'm not sure if I translated this right. If there are some more dutchies here, how could I translate: "volledig stelsel van representanten"

Let $H$ be a subgroup of of $G$ and consider the left cosets of $H$. Pick from every distinct left coset one element, and put them in the set $R$. Show that the set $\{r^{-1} : r\in R \}$ contains exactly one element out of each right coset of $H$.

-
"volledig stelsetl van representanten" translates to "complete system/set of representatives". –  Ittay Weiss Mar 14 '13 at 11:56

Well, suppose there were $r,s\in R$ such that $r^{-1}$ and $s^{-1}$ are both in the same right coset of $H$. What could you conclude?

I don't speak Dutch, but another way of phrasing this would be "Show that $\{r^{-1} \mid r\in R\}$ is a right transversal for $H$ in $G$". What you have written is fine, though.

-

You need to show that every $r\in R$, the element $r^{-1}$ is an element of precisely one right coset of $H$. Since any element in a group is an element of some right coset, all you need to do is show that no two distinct elements elements $r^{-1}$ and $s^{-1}$, with $r,s\in R$, are in the same coset of $H$. So, assume to the contrary that $r^{-1},s^{-1}\in gH$ for some $g\in G$. Then that means that you can write $r^{-1}$ and $s^{-1}$ as a certain product. Compute inverses and you'll find that $r$ and $s$ belong to the same left coset, but that is impossible for distinct elements in $R$.

Succes!

-
Why couldn't you just let me leave it at a hint? It's not at all a hard question and I'm sure the OP could manage, or at least it would be good to leave some time for them to say if they are still stuck. –  Tara B Mar 14 '13 at 11:58
I'm sorry @TaraB but I didn't see your solution before I finished posting mine. –  Ittay Weiss Mar 14 '13 at 12:01
OK, fair enough. Sorry for the rant, but I just wish it was more the done thing here to only provide hints at first for easy questions. –  Tara B Mar 14 '13 at 12:04

By definition, $a,b\in G$ are in the same right coset of $H$ iff $ab^{-1}\in H$, and they are in the same left coset iff $a^{-1}b\in H$.

Hint: Show that $ab^{-1}\in H \iff (b^{-1})^{-1} a^{-1}\in H$.

-
See my comment on Ittay Weiss's answer. –  Tara B Mar 14 '13 at 12:00
@TaraB: When I started typing, there was no answer yet (so you were just quicker). Otherwise, I would't have started answering. Also, note that the question doesn't have the homework tag, so giving a complete answer shouldn't be wrong. Also, for my answer, it is not a complete solution. The original poster still has to fit the argument into his coset representative situation. –  azimut Mar 14 '13 at 12:05
I more or less just thought it wouldn't be fair to complain to only one of you. =] I don't think it's "wrong" to post full answers to non-homework questions, I just think it's less helpful. –  Tara B Mar 14 '13 at 12:09
@TaraB: ok, I've reformulated it as a hint. Feel free to upvote if you like this better! –  azimut Mar 14 '13 at 12:26
I like it better, but it's still a very strong hint! –  Tara B Mar 14 '13 at 12:28