2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/76211This paper considers numerical semigroups $S$ that have a non-principal relative ideal $I$ such that $μ_S(I)μ_S(S-I)=μ_S(I+(S-I)) $. We show the existence of an infinite family of such which $I+(S-I)=S\backslash\{0\}$. We also show examples of such pairs that are not members of this family. We discuss the computational process used to find these examples and present some open questions pertaining to them.Commutative AlgebraAlgebraic Geometry20M14text