Conjecture on the generators of the abelianisation of Gamma_n(1,n/2-1)

Let Γn(1,n/21)\Gamma_n(1,n/2-1) be the cyclically presented group in the source, let Γn(1,n/21)ab\Gamma_n(1,n/2-1)^\mathrm{ab} denote its abelianisation, and let d(G)d(G) be the minimum number of generators of a finite abelian group GG. Generator-number conjecture. Suppose (n,6)=2(n,6)=2 and n8n\geq 8. Then

d(Γn(1,n/21)ab)={1if (n,16)=2,2if (n,16)=4 or 16,3if (n,16)=8.d(\Gamma_n(1,n/2-1)^\mathrm{ab})=\begin{cases}1&\mathrm{if}~(n,16)=2,\\2&\mathrm{if}~(n,16)=4~\mathrm{or}~16,\\3&\mathrm{if}~(n,16)=8.\end{cases}

The conjecture was verified computationally using GAP for n500n\leq 500; the paper notes that the third case also has an established lower bound of three, while the remaining cases are not proved there.

Sources & referencesView supporting material

Primary source

Esamaldeen Mohamed and Gerald Williams, “An investigation into the cyclically presented groups with length three positive relators”, arXiv:1806.06821 (2019).

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.