Metacommutation as a Group Action on the Projective Line over F_p

Cohn and Kumar showed the quadratic character of $q$ modulo $p$ gives the sign of the permutation of Hurwitz primes of norm $p$ induced by the Hurwitz primes of norm $q$ under metacommutation. We demonstrate that these permutations are equivalent to those induced by the right standard action of $\operatorname{PGL}_2 (\mathbb{F}_p)$ on $\mathbb{P}^1 (\mathbb{F}_p)$. This equivalence provides simpler proofs of the results of Cohn and Kumar and characterizes the cycle structure of the aforementioned permutations. Our methods are general enough to extend to all orders over the quaternions with a division algorithm for primes of a given norm $p$.