Mutual set of representatives for left and right cosets: what about infinite groups? Let $G$ be a group and $H$ a subgroup of $G$. If $G$ is finite, then according to Philip Hall's "marriage theorem" there is a left transversal $T$ of $H$ in $G$ (that is, $T$ contains precisely one element from each left coset of $H$) such that $T$ is also a right transversal of $H$. 
Does this theorem generalize to infinite groups? The original theorem treats only the case where $|H| < \infty$ and $[G:H] < \infty$.
What can we say when $|H| = \infty$ and $[G:H] = \infty$?
What about $|H| < \infty$ and $[G:H] = \infty$?
Also $|H| = \infty$ and $[G:H] < \infty$?
 A: We can (and indeed must be able to if it can be done at all) break up the problem of a simultaneous set of right and left coset representatives for $H$ according to $(H,H)$-double cosets. For a given $(H,H)$-double coset $HxH,$ we seek a single indexing set $I$ and collections of elements of $H$
$\{ s_{i}: i\in I \}$ and $\{t_{i}:i \in I \}$ such that $HxH = \cup_{i \in I} Hs_{i}xt_{i}H,$
and the union is disjoint, and so that the elements of $ \{s_{i}xt_{i}: i \in I\}$ are all in different right cosets of $H$ and all in different left cosets of $H.$
Now $(s_{i}xt_{i})(t_{j}^{-1}x^{-1}s_{j}^{-1}) \in H$ if and only if 
$t_{i}t_{j}^{-1} \in H \cap x^{-1}Hx$. Hence we require that the elements $t_{i} :i \in I$
all lie in different right cosets of $H \cap x^{-1}Hx$ in$ H$. Similarly, we require that the elements $ s_{i} : i \in I $ all lie in different left cosets of $H  \cap H \cap xHx^{-1}$
in $H$. In fact, this tells us when we can solve the problem. The double coset $HxH$ is a union of a collection of right cosets of $H$ in $G,$ and  union of left cosets of $H$ in $G$. If there is a bijection between the set of right cosets of $H$ in $HxH$ and the set of left cosets of $H$ in $HxH,$ then we can take to be  an indexing set of the common cardinality of these two sets. Then we can take $\{ s_{i}: i \in I\}$ to be a full set of representatives for the left cosets of $H  \cap H \cap xHx^{-1}$
in $H$ and $\{ t_{i}: i \in I\}$ to be a full set of representatives for the right cosets of $H  \cap H \cap x^{-1}Hx$
in $H.$ Then $HxH = \cup_{i \in I} Hxt_{i} = \cup_{i \in I} s_{i}xH$ (disjoint) and the elements $\{ s_{i}xt_{i} : i \in I \}$ are simultaneously a set of representatives for the right and left cosets of $H$ contained within $HxH.$
Analyzing the argument, we can find a simultaneous right and left tranversal for $H$ in $G$ if and only if for every $x \in G,$ we have $[H:H \cap xHx^{-1}] = [H : H \cap x^{-1}Hx]$
(note that if $Y$ is a fixed subgroup of a group $X,$ then inversion gives a bijection between the set of right cosets of $Y$ in $X$ and the set of left cosets of $Y$ in $X$, and we denote the common cardinality of these sets as $[X:Y]).$ When $H$ is finite, these two indices are always equal, since the subgroups $x^{-1}Hx \cap H$  and $xHx^{-1} \cap H$ are conjugate, hence of the same size,while $H$ itself is finite.
Note that $[G:H]$ seems to play no role in this condition: however, even when $H$ is countable, I see no obvious way to exclude the possibility that $H \cap xHx^{-1}$ is countably infinite, but $[H : H \cap x  H x^{-1}]$ is finite, while $[H : H \cap x^{-1}Hx]$ is countably infinite.
Later edit: Indeed, Derek Holt has provided in the comments an example to illustrate that the situation suggested above does occur "in nature". In view of this, it may be that the most general easily stated condition which guarantees a simultaneous left and right transversal to $H$ in $G$ is that for each $ x \in G \backslash N_{G}(H)$, the subgroup $H \cap xHx^{-1}$ has finite order. Even later edit: Just to make it clear, the example provided by Derek gives a case where there is no simultaneous right and left transversal.
