The quaternion-brace counting conjecture

At least 10 years old · documented by

For m∈Nm\in\mathbb{N}, let Q4mQ_{4m} be the generalized quaternion group, and call a brace a quaternion brace if its multiplicative group is isomorphic to a generalized quaternion group. Let q(4m)q(4m) be the number of isomorphism classes of quaternion braces of size 4m4m. Quaternion-brace counting conjecture. For m>2m>2,

q(4m)={2if m is odd,7if m≡0 mod 8,9if m≡4 mod 8,6if m≡2 mod 8 or m≡6 mod 8.q(4m)=\begin{cases} 2 & \text{if } m\text{ is odd},\\ 7 & \text{if } m\equiv0\bmod8,\\ 9 & \text{if } m\equiv4\bmod8,\\ 6 & \text{if } m\equiv2\bmod8\text{ or }m\equiv6\bmod8. \end{cases}

The authors checked the conjecture for all m≤512m\leq512. No proof or refutation beyond that finite verification is supplied, so the general statement remains open.

References

Primary source

L. Guarnieri and L. Vendramin, “Skew braces and the Yang-Baxter equation”, arXiv:1511.03171 (2016).

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.