Euclidean algorithm in Galois Quartic Fields

Abstract

We prove that all imaginary biquadratic fields and cyclic quartic fields of class number $1$ are Euclidean.