{"id":"arxiv/2608.01610","url":"https://arxiv.org/abs/2608.01610","tags":["cs.GT","math.GR"],"score":0,"title":"Conjugation invariants determine the metacommutation permutation only up to relabelling","domain":"cs.GT","source":"arxiv","authors":["Matthew Fried"],"reviews":0,"subject":"cs.GT","summary":"Let $\\mathcal{H}$ be the Hurwitz quaternions, $p$ an odd prime, and $Q \\in \\mathcal{H}$ a prime of norm $q \\neq p$. Metacommutation $PQ = Q'P'$ induces a permutation $π_Q$ of the $p+1$ left-associate classes of primes of norm $p$. Cohn and Kumar compute its sign and fixed-point count, and Leite and Machiavelo its full cycle structure, by formulas depending only on conjugation-invariant data of $Q$ (namely $q$ and $\\mathrm{tr}\\,Q$). We prove this is exactly the boundary of what such invariants can carry: no quantity $I(Q)$ invariant under unit conjugation determines $π_Q$ as a labelled…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-08-03","reactions":{}}