Ideal classes of orders in quaternion algebras
arXiv:2211.13156 · doi:10.1016/j.jpaa.2024.107649
Abstract
We provide an algorithm that, given any order in a quaternion algebra over a global field, computes representatives of all right equivalence classes of right -ideals, including the non-invertible ones. The theory is developed for a more general kind of algebras.
accepted version, with an appendix by John Voight