A directed -group that is not a group of divisibility
Let be an order in an algebraic number field. If is a principal order, then many explicit results on its arithmetic are available. Among others, is half-factorial if and only if the class group of has at most two elements. Much less is known for non-principal orders. Using a new semigroup theoretical approach, we study half-factoriality and further arithmetical properties for non-principal orders in algebraic number fields.
Let D be an integral domain with field of fractions K. In this article, we use a certain pullback construction in the spirit of Int(E,D) that furnishes many examples of domains between D[x] and K[x] in which there are elements that do not admit a finite factorization into irreducible elements. We also define the notion of a fixed divisor for this pullback construction to characterize all of its irreducible elements and those nonzero nonunits that do admit a finite factorization into irreducibles....