One-stabilization conjecture for generating graphs of finite groups

At least 14 years old · documented by

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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.