Multiplicative Euclidean Function for an Euclidean Domain

This question has now been answered. There is a Euclidean domain but no Euclidean function for that ring into $\mathbb{N}$ is multiplicative. See my paper here.


There are various definitions in use for Euclidean domains. Generally one requires only condition (2) on the Euclidean function, and Euclidean functions satisfying the additional condition (1) are called submultiplicative. But, in fact, no generality is lost by assuming (1) since it can be show that every Euclidean domain admits a submultiplicative Euclidean function, viz. the minimal function

$$ d_{\min}(a) = \min\, \{d(a)\ :\ d\ \text{ is a Euclidean function on}\ R\}$$

However, it is currently unknown if one loses generality by replacing "submultiplicative" by "multiplicative", i.e. it is not known if every Euclidean domain admits a multiplicative Euclidean function (e.g. see the remark following Proposition 2.2 in Franz Lemmermeyer's excellent survey The Euclidean algorithm in algebraic number fields).