On Local Half-Factorial Orders Florian Kainrath
Let R be an atomic domain. Then every nonunit r of R has a factorization r = u1 · . . . · un, where the ui are atoms of R. The integer n is called the length of the factorization. In general r has many such factorizations. R is called half-factorial, if for any r ∈ R all the factorizations of r have the same length.