Let be an integral domain. For elements , let denote their greatest common divisor, if it exists. We say that has the Z-property if whenever and are nonzero nonunits of such that , then or . The purpose of this paper is to study this property. The atomic integral domains that have this property constitute a class of half-factorial domains. Also, it is known that must have this property in order for the polynomial ring to be half-factorial. We use it to give a characterization of half-factorial polynomial rings in the case where every -ideal is -generated by two elements. We also show that if is a Krull domain with this property, then has torsion class group.

生成讲解博客的中文版本

生成AI智能校验的中文版本