arXiv++ Combinatorics

We introduce a new family of monoids, which we call gap absorbing monoids. Every gap absorbing monoid is an ideal extension of a free commutative monoid. For a gap absorbing monoid $S$ we study its set of atoms and Betti elements, which allows us to show that the catenary degree of $S$ is at most four and that the set of lengths of any element in $S$ is an interval. We also give bounds for the $ω$-primality of any ideal extension of a free commutative monoid. For ideal extensions $S$ of $\mathbb{N}^d$, with $d$ a positive integer, we show that $ω(S)$ is finite if and only if $S$ has finitely many gaps.

As far as we know, usual computer algebra packages can not compute denumerants for almost medium (about a hundred digits) or almost medium--large (about a thousand digits) input data in a reasonably time cost on an ordinary computer. Implemented algorithms can manage numerical $n$--semigroups for small input data. Here we are interested in denumerants of numerical $3$--semigroups which have almost medium input data. A new algorithm for computing denumerants is given for this task. It can manage almost medium input data in the worst case and medium--large or even large input data in some cases.

This work extends the results known for the Delta sets of non-symmetric numerical semigroups with embedding dimension three to the symmetric case. Thus, we have a fast algorithm to compute the Delta set of any embedding dimension three numerical semigroup. Also, as a consequence of these resutls, the sets that can be realized as Delta sets of numerical semigroups of embedding dimension three are fully characterized.

\textit{Minimum distance diagrams}, also known as \textit{\textsf{L}--shapes}, have been used to study some properties related to \textit{weighted Cayley digraphs} of \textit{degree} two and \textit{embedding dimension three numerical semigroups}. In this particular case, it has been shown that these discrete structures have at most two related \textsf{L}--shapes. These diagrams are proved to be a good tool for studing \textit{factorizations} and the \textit{catenary degree} for semigroups and \textit{diameter} and \textit{distance} between vertices for digraphs.

The weight hierarchy of one-point algebraic geometry codes can be estimated by means of the generalized order bounds, which are described in terms of a certain Weierstrass semigroup. The asymptotical behaviour of such bounds for r > 1 differs from that of the classical Feng-Rao distance (r=1) by the so-called Feng-Rao numbers. This paper is addressed to compute the Feng-Rao numbers for numerical semigroups of embedding dimension two (with two generators), obtaining a closed simple formula for the general case by using numerical semigroup techniques. These involve the computation of the Apéry set with respect to an integer of the semigroups under consideration. The formula obtained is applied to lower-bounding the generalized Hamming weights, improving the bound given by Kirfel and Pellikaan in terms of the classical Feng-Rao distance. We also compare our bound with a modification of the Griesmer bound, improving this one in many cases.