Swan modules, class fieids, and class groups of cyclic p-groups.
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.