This is a cross-posted question, originally active [here](https://math.stackexchange.com/questions/934647/is-a-group-uniquely-determined-by-the-sets-ab-ba-for-each-pair-of-elements-a-a) on math.stackexchange.


For a given group $G=(S,\cdot)$ with underlying set $S$, consider the function
 $$
 F\_G:S\times S\to\mathcal P(S)\\
 F\_G(a,b):=\{a\cdot b,~b\cdot a\}
 $$
from $S\times S$ to the power set of $S$.


I'd like to figure out how much information from $G$ is encoded by $F\_G$. In particular, does $F\_G$ determine the group $G$ up to isomorphism?


Given different groups $G\_1$ and $G\_2$ with underlying sets $S\_1$ and $S\_2$, suppose that a function $\varphi:S\_1\to S\_2$ has the property $\varphi\bigl(F\_{G\_1}(a,b)\bigr)=F\_{G\_2}\bigl(\varphi(a),\varphi(b)\bigr)$ for all $a$ and $b$ in $G\_1$; if $\varphi^{-1}$ exists and has this property as well, let's say that $F\_{G\_1}\cong F\_{G\_2}$. For one thing, if $G\_1\cong G\_2$ then $F\_{G\_1}\cong F\_{G\_2}$. Going the other way, if $F\_{G\_1}\cong F\_{G\_2}$ then $|G\_1|=|G\_2|$ and $Z(G\_1)\cong Z(G\_2)$.


Given $F\_G$, it's easy to find out which pairs of elements in $G$ commute, which subsets of $G$ constitute subgroups of $G$, and which subsets of $G$ are generating sets of $G$. Moreover, if $F\_{G\_1}\cong F\_{G\_2}$ then $G\_1$ and $G\_2$ must have the same [cycle graph](http://en.wikipedia.org/wiki/Cycle_graph_(algebra)). This means that if $F\_{G\_1}\cong F\_{G\_2}$ and the order of these groups is less than 16, then $G\_1\cong G\_2$. Indeed, according to Wikipedia's page on cycle graphs, "For groups with fewer than 16 elements, the cycle graph determines the group (up to isomorphism)."


The question that's been plaguing me is whether $F\_{G\_1}\cong F\_{G\_2}\implies G\_1\cong G\_2$ in the general finite case. I think that a counterexample would need to involve groups of order 16 or larger. Any ideas?



Is a group uniquely determined by the sets $\{ab,ba\}$ for each pair of elements a and b?
The answer is yes: the map $F\_G$ determines the group. Mansfield makes good use of this in [his elementary proof](http://www.ams.org/journals/proc/1992-116-04/S0002-9939-1992-1123661-6/S0002-9939-1992-1123661-6.pdf) of the fact that the group determinant determines the group (v. Lemma 4 in his paper). 


As mentioned in Mansfield's paper, this appears as Problems §4, No. 26 in p.139 of Bourbaki, Algebra - 1.


