EN
Let ε be a quartic algebraic unit. We give necessary and sufficient conditions for (i) the quartic number field K = ℚ(ε) to contain an imaginary quadratic subfield, and (ii) for the ring of algebraic integers of K to be equal to ℤ[ε]. We also prove that the class number of such K's goes to infinity effectively with the discriminant of K.