# Commuting graph automorphisms for Schreier graphs

Let $G=\langle g_1,g_2\rangle$ denote the free group of rank 2. For a subgroup $H$ of $G$ consider the quotient graph with vertex set $H\setminus G$ of right cosets, where $Hg$ and $Hg'$ are connected by an edge if $Hg g_i^{\pm 1}=Hg'$ for $i=1$ or $i=2$.

Does there exist a transitive action on $H\setminus G$, which commutes with each of the mappings given by right-multiplication with $g_1^{\pm 1 }$ or $g_2^{\pm 1}$ on $H\setminus G$?

Clearly, the answer is yes if $H\setminus G$ is a group (and the action is given by left-multiplication). Can you think of other examples or related concepts?

EDIT: Unfortunately, I don't understand R W's answer. It seems that he says that - in general - the answer to my question is "no". (Please let me know if I'm wrong.)

On the other hand, the answer is "yes" for all normal subgroups (left and right multiplication commute). So, for which subgroups is the answer "yes"?

• This reads like an assignment question, and if it is, it is off-topic for MO. Aug 22, 2013 at 2:29
• I came up with this question by myself. Since it looks like an assignment question, there should be some kind of "nice" answer? Aug 22, 2013 at 2:42
• I would add a group theory tag... Aug 22, 2013 at 5:19
• @Jorinde - in that case, welcome to MO :-) Aug 22, 2013 at 6:38

Indeed, there is a nice answer - which is "no". The point is that a necessary and sufficient condition for a graph to be equipped with a structure of a Schreier graph of the free group $F_2$ is that all its vertices have degree 4. You are asking about Schreier graphs whose group of automorphisms (as Schreier graphs, i.e., the automorphisms of the base graph which preserve Schreier labeling of edges) is transitive. Now, already your base graph need not have any automorphisms.
• @R W: Could you give some explanation, how your answer applies if $H$ is normal? Aug 23, 2013 at 4:24