摘要:如果{2 a,3 a}⊆s,数值半群的差距是基本的。在这项工作中,我们将研究B(a)= {s |集合。 s是一个数值半群,A是S}的基本差距。特别是,我们将给出一种用给定属计算B(a)的所有元素的算法。B(a)的两个元素的交点再次是B(a)的一个元素。a b(a) - 不可还原的数值半群是b(a)的元素,不能表示为b(a)的两个元素的相交,包含它。在本文中,我们将研究B(a) - 可及时的数值半群。从这个意义上说,我们将提供一种算法来计算所有这些算法。最后,我们将研究(n, +)的下monoids,这些下因体形可以表示为属于B(a)的元素的相交(有限或无限)。