On the structure of quaternion rings over Z/nZ
In this paper we investigate the structure of (Zna,b), the quaternion rings over Zn. It is proved that these rings are isomorphic to (Zn−1,−1) if a≡b≡−1(mod4) or to (Zn1,1) otherwise. We also prove that the ring (Zna,b) is isomorphic to M2(Zn) if and only if n is odd and that all quaternion algebras defined over Zn are isomorphic if and only if n≡0(mod4).