Totally indefinite Euclidean quaternion fields
We study the Euclidean property for totally indefinite quaternion fields. In particular, we establish a complete list of norm-Euclidean such fields over imaginary quadratic number fields. This enables us to exhibit an example which gives a negative answer to a question asked by Eichler. The proofs are both theoretical and algorithmic.