Arithmetical semigroups defined by congruences (Q810642)

The paper investigates the arithmetic of multiplicative subsemigroups of natural numbers defined by congruences using divisor theoretic methods. Necessary and sufficient conditions for the existence of a divisor theory and for unique factorization are given. As a corollary a new and simpler proof of the well-known theorem characterizing arithmetical congruence semigroups with unique factorization is obtained.