The quaternion-brace counting conjecture

For mNm\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 m0mod8,9if m4mod8,6if m2mod8 or m6mod8.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 m512m\leq512. No proof or refutation beyond that finite verification is supplied, so the general statement remains open.

Sources & referencesView supporting material

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.