MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

The following question arose in my research. I'd be interested in an answer to it, but I'd also be interested in general techniques for solving this kind of problem (or, even better, pointers to computer programs that can solve it automatically).

Consider the group $G = \text{Aut}(F_2)$. Of course, $G$ acts on $F_2$. Let $x$ and $y$ be the generators for $F_2$, and let $K \subset F_2$ be the normal closure of the set $\{x^4, x^2 y^{-2}, y^{-1} x y x\}$. It is standard that $F_2/K$ is the $8$-element group of quaternions.

Question : What are generators for the subgroup $\{\text{$g \in G$ $|$ $g(K) = K$}\}$ of $G$?

share|cite|improve this question
up vote 10 down vote accepted

According to MAGMA, the stabilizer of $K$ is the whole of ${\rm Aut}(G)$.

> F<x,y>:= FreeGroup(2);
> K := ncl< F | x^4, x^2*y^-2, y^-1*x*y*x >;
> Index(F,K);
> G := AutomorphismGroup(F);
> G;
A group of automorphisms of GrpFP: F
Automorphism of GrpFP: F which maps:
    x |--> y
    y |--> x
Automorphism of GrpFP: F which maps:
    x |--> x^-1
    y |--> y
Automorphism of GrpFP: F which maps:
    x |--> x * y
    y |--> y
> K @ G.1 eq K;
> K @ G.2 eq K;
> K @ G.3 eq K;

So $K$ is stabilized by all three generating automorphisms of $F$. I don't suppose it is too hard to do that calculation by hand.

More generally, for subgroups of finite index in a free group (or any other group in which you had generators for the automorphism group), you could use a standard orbit-stabilizer calculation to compute the subgroups in the orbit of $K$ under $G$, and then compute Schreier generators of the stabilizer.

share|cite|improve this answer
Thank you very much! – Tina Oct 16 '12 at 2:55

Here's a short proof by hand that $K$ is characteristic in $F_2$.

The natural map $Q_8\to V=\mathbb{Z}/2\oplus\mathbb{Z}/2$ induces $\eta:F_2\to H_1(F_2,\mathbb{Z}/2)\cong V$. The kernel $N=\ker\eta$ is therefore characteristic and contains $K$ with index two.

Suppose now that $\phi$ is an automorphism of $F_2$ that does not preserve $K$. Then $\phi$ descends to an automorphism of $V$ which does not lift to an automorphism of $Q_8$. But it's easy to check that every automorphism of $V$ does, in fact, lift.

share|cite|improve this answer
Thank you very much! – Tina Oct 16 '12 at 2:56

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.