Abstract. The package numericalsgps performs computations with and for numerical semigroups. Recently also affine semigroups are admitted as objects for calculations. This manuscript is a survey of what the package does, and at the same time of the trending topics on numerical semigroups.
This is a survey of several results obtained with M. B. Branco at the Universidade deÉvora, J. I. García-García at the Universidad de Cádiz, J. A. Jiménez-Madrid at the Instituto de Ciencias Matemáticas, and J. C. Rosales at the Universidad de Granada. A numerical semigroup is a submonoid of the monoid of nonnegative integers (under addition) with finite complement in it. A numerical semigroup is irreducible if it cannot be expressed as the intersection of two numerical semigroups properly containing it. Every numerical semigroup can be written as a (finite) intersection of irreducible numerical semigroups. Minimal decompositions can be thought in terms of cardinality or redundancy. Both concepts do not coincide, and uniqueness is far from being reached. As we have mentioned above, the complement of a numerical semigroup in the set of nonnegative integers is finite. So it makes sense to think about the largest integer not belonging to a numerical semigroup. This integer is known as the Frobenius number, which became really famous mainly for the lack of a general (algebraic) formula to calculate it for numerical semigroups with more than two minimal generators. Irreducible numerical semigroups can be also characterized as those numerical semigroups maximal (with respect to set inclusion) in the set of numerical semigroups with a fixed Frobenius number. This allows to relate this concept with two well known families of numerical semigroups: symmetric and pseudo-symmetric numerical semigroups. An irreducible numerical semigroup is either symmetric or pseudo-symmetric (depending on the parity of its Frobenius number), and the union of the set of symmetric and the set of pseudo-symmetric numerical semigroups yields that of irreducible numerical semigroups. Symmetric numerical semigroups earned some popularity due to a result by Kunz that states that the semigroup ring associated to a numerical semigroup is Gorenstein if and only if the numerical semigroup is symmetric (semigroup rings associated to pseudo-symmetric numerical semigroups are Kunz rings). Several subfamilies of the class of symmetric numerical semigroups were also widely studied due to their relevance as examples in Algebraic Geometry. These include that of complete intersections, free (in the sense of Bertin and Carbonne) and telescopic numerical semigroups. In the set of numerical semigroups with a given Frobenius number, the average of irreducible numerical semigroups is really poor. However, this apparent lack contrasts not
Abstract. The package numericalsgps performs computations with and for numerical semigroups. Recently also affine semigroups are admitted as objects for calculations. This manuscript is a survey of what the package does, and at the same time of the trending topics on numerical semigroups.
We study the sets of nonnegative solutions of Diophantine inequalities of the form ax mod bpcx with a; b and c positive integers. These sets are numerical semigroups, which we study and characterize. r
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.