A characterisation of Gorenstein orders in quarternition algebras.
Let m ≥ 2 be an integer. By using m submodules of a given module, we construct a certain exact sequence, which is a well known short exact sequence when m = 2. As an application, we compute a minimal projective resolution of the Jacobson radical of a tiled order.