Revision history [back]

Let $B$ be a definite quaternion algebra over $\mathbb{Q}$ and $\mathcal{O}_0$ be an order. Given a maximal order $\mathcal{O}$ , how do we check if there exists a maximal order $\mathcal{O}' \cong \mathcal{O}$ containing $\mathcal{O}_0$? If it exists, can be enumerate all such maximal orders?