Separators of Ideals in Multiplicative Semigroups of Unique Factorization Domains
In this paper we show that if I is an ideal of a commutative semigroup C such that the separator SepI of I is not empty then the factor semigroup S=C/PI (PI is the principal congruence on C defined by I) satisfies Condition (∗): S is a commutative monoid with a zero; The annihilator A(s) of every non identity element s of S contains a non zero element of S; A(s)=A(t) implies s=t for every s,t∈S. Conversely, if α is a congruence on a commutative semigroup C such that the factor semigroup S=C/α satisfies Condition (∗) then there is an ideal I of C such that α=PI. Using this result for the multiplicative semigroup Dmult of a unique factorization domain D, we show that PJ(m)=τm for every nonzero element m∈D, where J(m) denotes the ideal of D generated by m, and τm is the relation on D defined by (a,b)∈τm if and only if gcd(a,m)∼gcd(b,m) (∼ is the associate congruence on Dmult). We also show that if a is a nonzero element of a unique factorization domain D then d(a)=∣D′/PJ([a])∣, where d(a) denotes the number of all non associated divisors of a, D′=D/∼, and [a] denotes the ∼-class of Dmult containing a. As an other application, we show that if d is one of the integers −1, −2, −3, −7, −11, −19, −43, −67, −163 then, for every nonzero ideal I of the ring R of all algebraic integers of an imaginary quadratic number field Q[d], there is a nonzero element m of R such that PI=τm.