2
$\begingroup$

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"?

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

1 Answer 1

1
$\begingroup$

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.

$\endgroup$
2
  • $\begingroup$ I don't understand your answer. Do you agree that, if H is a normal subgroup, then a transitive action on the quotient group exists (left multiplication), and this action commutes with right-multiplication? (Unfortunately, my background on graphs is very limited.) $\endgroup$
    – Jorinde
    Commented Aug 22, 2013 at 7:02
  • $\begingroup$ @R W: Could you give some explanation, how your answer applies if $H$ is normal? $\endgroup$
    – Jorinde
    Commented Aug 23, 2013 at 4:24

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .