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\mathrm{/}{P}_I$ ($P_I$ is the principal congruence on $C$ defined by $I$) satisfies Condition $(\ast )$: $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\in S$. Conversely, if $\alpha$ is a congruence on a commutative semigroup $C$ such that the factor semigroup $S=C\mathrm{/}\alpha$ satisfies Condition $(\ast )$ then there is an ideal $I$ of $C$ such that $\alpha =P_I$. Using this result for the multiplicative semigroup $D_{mult}$ of a unique factorization domain $D$, we show that $P_{J(m)}=\tau _m$foreverynonzeroelement$m\in D$,where$J(m)$denotestheidealof$D$generatedby$m$,and$\tau _m$istherelationon$D$definedby$(a, b)\in \tau _m$ifandonlyif$gcd(a, m)\sim gcd(b, m)$($\sim$ is the associate congruence on $D_{mult}$). We also show that if $a$ is a nonzero element of a unique factorization domain $D$ then $d(a)=\mathrm{\mid }{D}^{\mathrm{\prime }}\mathrm{/}{P}_{J([a])}\mathrm{\mid }$, where $d(a)$ denotes the number of all non associated divisors of $a$, $D^{\mathrm{\prime }}=D\mathrm{/}\sim$, and $[a]$ denotes the $\sim$-class of $D_{mult}$ 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 $\mathbb{Q}[\sqrt{d}]$, there is a nonzero element $m$ of $R$ such that $P_I={\tau }_m$.