全定四元数代数

totally definite quaternion algebra