are there finite nonabelian characteristic quotients $G$ of $F_2$ inducing a surjection $Aut(F_2)\twoheadrightarrow Aut(G)$?

The quaternion group $Q_8 = \langle x, y \,\vert \, xyx^{-1}y = yxy^{-1}x = 1\rangle$ has $24$ generating pairs, all Nielsen equivalent, and $24$ automorphisms. It looks like a good match, certainly the one with the smallest cardinal.

There is a reason why constructions of the type $G = F_2/K$ with $K$ a verbal subgroup of $F_2$ are not so abundant. For such a finite group $G$, the automorphism group acts transitively on the set of generating pairs. Because of the surjectivity assumption $Aut(F_2) \twoheadrightarrow Aut(G)$, this implies that $G$ possesses only one Nielsen equivalence class of generating pairs. So does its abelianization $G/[G, G] \simeq C_n \times C_n$ by a famous lemma of Gaschütz. As already noted by Derek Holt, this holds only if $n \in \{1, 2, 3, 4, 6\}$. Thus, examples of this kind suffer a significant restriction on their abelianization.

The following article of G. Rosenberger seems to be a reference for this kind of problems: "Automorphismen und Erzeugende für Gruppen mit einer definierenden Relation", 1972. (It may address only infinite groups though). This article is quoted in "Combinatorial Group Theory" of R. C. Lyndon and P. E. Schupp in Section I.4 and Section II.2; the key word is quasifree presentation. In more recent texts, some authors speak about tame automorphisms, others about induced automorphisms.

Afterthought: Looking at this post, it dawn on me that we have further elementary examples at hand. The Burnside group $B(2, 3)$ has $27$ elements and is isomorphic to the group $\text{Heisenberg}_2(R)$ of matrices of the form$$\begin{pmatrix} 1 & x & y \\ 0 & 1 & z \\ 0 & 0 & 1 \end{pmatrix}$$for $x,y,z\in R = \mathbf{Z}/3\mathbf{Z}$. It is known that $\text{Heisenberg}_2(\mathbf{Z})$ is isomorphic to the two-generated 2-step free nilpotent group and that this group has a unique Nielsen class of generating pairs [1, Theorem 1.7]. It is easy to check that $\text{Heisenberg}_2(\mathbf{Z}/n\mathbf{Z})$ has one only Nielsen equivalence class of generating pairs for $n \in \{2, 3, 4, 6\}$. The group $\text{Heisenberg}_2(\mathbf{Z}/2\mathbf{Z})$ is the dihedral group of order $8$, which is not a quotient of $F_2$ by a characteristic subgroup. But $B(2, 3) = \text{Heisenberg}_2(\mathbf{Z}/3\mathbf{Z})$, is certainly another example. For $n \in \{4, 6\}$, I didn't check whether $\text{Heisenberg}_2(\mathbf{Z}/n\mathbf{Z})$ is a quotient of $F_2$ by a characteristic subgroup.


[1] "Andrews–Curtis and Nielsen equivalence relations on some infinite groups", A. Myropolsky, 2016.


I found one example of a verbal subgroup (as suggested by Arturo Magidin) that worked, but others that did not. Let $F/K$ be the largest quotient of $F=F_2$ that is a $2$-group and has exponent $2$ class $2$. In other words, $K=H^2[F,H]$, where $H=F^2[F,F]$.

Then $|F/K| = 2^5$ and has automorphism group of order $384$. (That is made of ${\rm GL}(2,3)$ of order $6$ acting on $F/H$, with a group of order $2^6$ that centralizes the layers $F/H$ and $H/K$.)

Now ${\rm Aut}(F)$ with $F = \langle a,b \rangle$ is generated by the three automorphisms (i) $a \mapsto b$, $b \mapsto a$; (ii) $a \mapsto ab$, $b \mapsto b$; and (iii) $a \mapsto a^{-1}$, $b \mapsto b$. It can be checked (I checked on a computer) that the induced automorphisms of $F/K$ generate the whole of ${\rm Aut}(F/K)$.

However, when I tried the same computation with exponent $3$ in place of exponent $2$, I found that $|{\rm Aut}(F/K)| = 34992 = |{\rm GL}(2,3)| \times 3^6$, but the subgroup induced by ${\rm Aut}(F)$ has order only $11664$.

I also tried the exponent $2$ class $3$ quotient of $F/L$ of $F$, where $L=K^2[F,K]$. Then $|F/L|=2^{10}$ and has automorphism group of order $6 \times 2^{16}$, but the subgroup induced by ${\rm Aut}(F)$ has order only $6 \times 2^{12}$.

This suggests that there might not be an abundance of examples.

Added later: Luc Guyot has pointed out that there is a quotient of $G/K$isomorphic to $Q_8$ which is also an example. I found also that the intersection of the kernels of the homomorphisms from $F$ to $S_3$, which has index $108$ in $F$, is a further example.