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



Stabilizer in automorphism group of free group of a certain finite-index subgroup
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);
8
> G := AutomorphismGroup(F);
> G;
A group of automorphisms of GrpFP: F
Generators:
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;
true
> K @ G.2 eq K;
true
> K @ G.3 eq K;
true

```

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.


