One-stabilization conjecture for generating graphs of finite groups

From papers

Let GG be a finite group, let (t)=(t1,,tn)(\underline t)=(t_1,\ldots,t_n) and (s)=(s1,,sn)(\underline s)=(s_1,\ldots,s_n) be elements of X~n(G)\tilde X_n(G), the graph of generating nn-tuples. Consider the tuples obtained by adjoining the identity element:

(t1,,tn,1),(s1,,sn,1).(t_1,\ldots,t_n,1),\qquad (s_1,\ldots,s_n,1).

One-stabilization conjecture. The tuples (t1,,tn,1)(t_1,\ldots,t_n,1) and (s1,,sn,1)(s_1,\ldots,s_n,1) are connected in Xˉn+1(G)\bar X_{n+1}(G).

This is presented as an intermediate, more feasible form of Wiegold's conjecture. The statement is known for finite simple groups and finite solvable groups, but remains open for general finite groups.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Alexander Lubotzky, “Dynamics of Aut(Fn) Actions on Group Presentations and Representations”, arXiv:1109.0155 (2011).

Solutions 0

No solutions have been posted yet.