Determining norm-Euclidean complex cubic fields

Abstract

We prove that Cavallar and Lemmermeyer's list of $58$ norm-Euclidean complex cubic fields is complete. The proof combines a classical discriminant bound with exact certificates of non-Euclideanity. The unit action reduces their verification to finite lattice enumeration with rigorous interval arithmetic. An independent covering computation confirms norm-Euclideanity for the $58$ fields.

arXiv comment14 pages