\newcommand{\R}{\mathbb{R}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\C}{\mathbb{C}} \newcommand{\quat}{\mathbb{H}} \newcommand{\N}{\mathbb{N}} \newcommand{\Q}{\mathbb{Q}} \newcommand{\norm}{\mbox{norm}} %Quaternion points \newcommand{\cc}[2]{\bmat{cc} #1\\ -#2 \emat} \newcommand{\q}[2]{\bmat{cc} #1\\ -\ov{#2}&\ov{#1} \emat} \newcommand{\ii}{{\bf i}} \newcommand{\jj}{{\bf j}} \newcommand{\kk}{{\bf k}} \newcommand{\id}{{\bf 1}} \newcommand{\hur}{\frac{\id+\ii+\jj+\kk}{2}}%The "Hurwitz point" \newcommand{\hurwitz}{\Z\left[\hur,\ii,\jj,\kk\right]}%The set of Hurwitz integers %Matrix commands \newcommand{\ba}{\begin{array}} \newcommand{\ea}{\end{array}} \newcommand{\bmat}{\left[\begin{array}} \newcommand{\emat}{\end{array}\right]} \newcommand{\bdet}{\left|\begin{array}} \newcommand{\edet}{\end{array}\right|}