Overrings of Half-Factorial Domains

Abstract

AbstractAn atomic integral domain D is a half-factorial domain (HFD) if for any irreducible elements α1,..., αn, β1,..., βm of D with α1... αn = β1 ...βm, then n = m. In [3], Anderson, Anderson, and Zafrullah explore factorization problems in overrings of HFDs and ask whether a localization of a HFD is again a HFD. We construct an example of a Dedekind domain which is a HFD, but with a localization which is not a HFD. We also give an example of a Dedekind domain where each localization is a HFD, but with an overring which is not a HFD.