Skip to main content
2 of 11
Added reference to G. Rosenberger's article
Luc Guyot
  • 7.9k
  • 2
  • 30
  • 51

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.

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 group though). It 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 "quasi-free" presentation.

Luc Guyot
  • 7.9k
  • 2
  • 30
  • 51