No label defined (Q4949890)

Let \(S\) be a (commutative, cancellative, torsion free, additive) semigroup, such that \(0\in S\neq\{0\}\). Set \(q(S):=\{s-s'\mid s,s'\in S\}\), the quotient group of \(S\). A nonempty subset \(F\) of \(q(S)\) is called a fractional ideal of \(S\) if \(s+F\subset S\) for some \(s\in S\) and \(F+S\subset F\). \(F\) is called invertible if there exists a fractional ideal \(F'\) of \(S\) such that \(F+F'=S\). \(S\) is called a valuation semigroup if for each \(a\in q(S)\), either \(a\in S\) or \(-a\in S\). An ideal \(I\) of a semigroup \(S\) is called a valuation ideal if there exists a valuation semigroup \(V\) (\(S\subseteq V\)) and an ideal \(J\) of \(V\) such that \(S\cap J=I\). The paper is devoted to give some properties concerning the above described concepts. For instance: A fractional ideal \(F\) of \(S\) is invertible if, and only if, there exists an integral ideal (i.e. an ideal of \(S\)) such that \(J+F\) is a principal ideal spanned by an element of \(S\). \(S\) is a valuation semigroup if, and only if, each finitely generated ideal of \(S\) in an intersection of valuation ideals.