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

About 8 years old · traced to

Let Γn(1,n/2−1)\Gamma_n(1,n/2-1) be the cyclically presented group in the source, let Γn(1,n/2−1)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 n≥8n\geq 8. Then

d(Γn(1,n/2−1)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 n≤500n\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.

References

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.