On the sets of lengths of Puiseux monoids generated by multiple geometric sequences
Harold Polo
备注：
17 pages; in this new version we additionally prove that canonical rational multicyclic monoids satisfy the Structure Theorem for Unions of Sets of Lengths and offer a characterization of the elements of a rational multicyclic monoids that have finite set of lengths; moreover, we improve the exposition of the paper. This version will appear in Communications of the Korean Mathematical Society
In this paper, we study some of the factorization aspects of rational multicyclic monoids, that is, additive submonoids of the nonnegative rational numbers generated by multiple geometric sequences. In particular, we provide a complete description of the rational multicyclic monoids $M$ that are hereditarily atomic (i.e., every submonoid of $M$ is atomic). Additionally, we show that the sets of lengths of certain rational multicyclic monoids are finite unions of multidimensional arithmetic progressions, while their unions satisfy the Structure Theorem for Unions of Sets of Lengths. Finally, we realize arithmetic progressions as the sets of distances of some additive submonoids of the nonnegative rational numbers.
A numerical monoid is a cofinite additive submonoid of the nonnegative integers, while a Puiseux monoid is an additive submonoid of the nonnegative cone of the rational numbers. Using that a Puiseux monoid is an increasing union of copies of numerical monoids, we prove that some of the factorization invariants of these two classes of monoids are related through a limiting process. This allows us to extend results from numerical to Puiseux monoids. We illustrate the versatility of this technique by recovering various known results about Puiseux monoids.
In this paper, we study the atomic structure of the family of Puiseux monoids. Puiseux monoids are a natural generalization of numerical semigroups, which have been actively studied since mid-nineteenth century. Unlike numerical semigroups, the family of Puiseux monoids contains non-finitely generated representatives. Even more interesting is that there are many Puiseux monoids which are not even atomic. We delve into these situations, describing, in particular, a vast collection of commutative cancellative monoids containing no atoms. On the other hand, we find several characterization criter…
A molecule is a nonzero non-unit element of an integral domain (resp., commutative cancellative monoid) having a unique factorization into irreducibles (resp., atoms). Here we study the molecules of Puiseux monoids as well as the molecules of their corresponding semigroup algebras, which we call Puiseux algebras. We begin by presenting, in the context of numerical semigroups, some results on the possible cardinalities of the sets of molecules and the sets of reducible molecules (i.e., molecules that are not irreducibles/atoms). Then we study the molecules in the more general context of Puiseux…
There are several families of atomic monoids whose arithmetical invariants have received a great deal of attention during the last two decades. The factorization theory of finitely generated monoids, strongly primary monoids, Krull monoids, and C-monoids are among the most systematically studied. Puiseux monoids, which are additive submonoids of $\mathbb{Q}_{\ge 0}$ consisting of nonnegative rational numbers, have only been studied recently. In this paper, we provide evidence that this family comprises plenty of monoids with a basically unexplored atomic structure. We do this by showing that t…
In this paper, we study the atomic structure of Puiseux monoids generated by monotone sequences. To understand this atomic structure, it is often useful to know whether the monoid has a bounded generating set. We provide necessary and sufficient conditions for the atomicity and boundedness to be transferred from a monotone Puiseux monoid to all its submonoids. Finally, we present two special subfamilies of monotone Puiseux monoids and fully classify their atomic structure.
A Puiseux monoid is a submonoid of $(\mathbb{Q},+)$ consisting of nonnegative rational numbers. Although the operation of addition is continuous with respect to the standard topology, the set of irreducibles of a Puiseux monoid is, in general, difficult to describe. In this paper, we use topological density to understand how much a Puiseux monoid, as well as its set of irreducibles, spread through $\mathbb{R}_{\ge 0}$. First, we separate Puiseux monoids according to their density in $\mathbb{R}_{\ge 0}$, and we characterize monoids in each of these classes in terms of generating sets and sets …
A Puiseux monoid is an additive submonoid of the nonnegative cone of rational numbers. Although Puiseux monoids are torsion-free rank-one monoids, their atomic structure is rich and highly complex. For this reason, they have been important objects to construct crucial examples in commutative algebra and factorization theory. In 1974 Anne Grams used a Puiseux monoid to construct the first example of an atomic domain not satisfying the ACCP, disproving Cohn's conjecture that every atomic domain satisfies the ACCP. Even recently, Jim Coykendall and Felix Gotti have used Puiseux monoids to constru…
A Puiseux monoid is an additive submonoid of the nonnegative cone of the rational numbers. We say that a Puiseux monoid $M$ is exponential provided that there exist a positive rational $r$ and a set $S$ consisting of nonnegative integers, which contains $0$, such that $M$ is generated by the set $\{r^s \mid s \in S\}$. If $M$ is multiplicatively closed then we say that $M$ is an exponential Puiseux semiring. Here we study the atomic properties of exponential Puiseux monoids and semirings. First, we characterize atomic exponential Puiseux monoids, and we prove that the finite factorization prop…
Additive submonoids of $\mathbb{Q}_{\ge 0}$, also known as Puiseux monoids, are not unique factorization monoids (UFMs) in general. Indeed, the only unique factorization Puiseux monoids are those generated by one element. However, even if a Puiseux monoid is not a UFM, it may contain nonzero elements having exactly one factorization. We call such elements molecules. Molecules were first investigated by W. Narkiewicz in the context of algebraic number theory. More recently, F. Gotti and the first author studied molecules in the context of Puiseux monoids. Here we address some aspects related to…
Primary and strongly primary monoids and domains play a central role in the ideal and factorization theory of commutative monoids and domains. It is well-known that primary monoids satisfying the ascending chain condition on divisorial ideals (e.g., numerical monoids) are strongly primary; and the multiplicative monoid of non-zero elements of a one-dimensional local domain is primary and it is strongly primary if the domain is Noetherian. In the present paper, we focus on the study of additive submonoids of the non-negative rationals, called Puiseux monoids. It is easy to see that Puiseux mono…
In this paper we study the system of sets of lengths of non-finitely generated atomic Puiseux monoids (a Puiseux monoid is an additive submonoid of $\mathbb{Q}_{\ge 0}$). We begin by presenting a BF-monoid $M$ with full system of sets of lengths, which means that for each subset $S$ of $\mathbb{Z}_{\ge 2}$ there exists an element $x \in M$ whose set of lengths $\mathsf{L}(x)$ is $S$. It is well known that systems of sets of lengths do not characterize numerical monoids. Here, we prove that systems of sets of lengths do not characterize non-finitely generated atomic Puiseux monoids. In a recent…
A Puiseux monoid is an additive submonoid of the real line consisting of rationals. We say that a Puiseux monoid is reciprocal if it can be generated by the reciprocals of the terms of a strictly increasing sequence of pairwise relatively primes positive integers. We say that a commutative and cancellative (additive) monoid is atomic if every non-invertible element $x$ can be written as a sum of irreducibles. The number of irreducibles in this sum is called a length of $x$. In this paper, we identify and investigate generalized classes of reciprocal Puiseux monoids that are atomic. Moreover, f…
Let $M$ be an atomic monoid and let $x$ be a non-unit element of $M$. The elasticity of $x$, denoted by $ρ(x)$, is the ratio of its largest factorization length to its shortest factorization length, and it measures how far is $x$ from having a unique factorization. The elasticity $ρ(M)$ of $M$ is the supremum of the elasticities of all non-unit elements of $M$. The monoid $M$ has accepted elasticity if $ρ(M) = ρ(m)$ for some $m \in M$. In this paper, we study the elasticity of Puiseux monoids (i.e., additive submonoids of $\mathbb{Q}_{\ge 0}$). First, we characterize the Puiseux monoids $M$ ha…
A Puiseux monoid is an additive submonoid of the nonnegative rational numbers. If $M$ is a Puiseux monoid, then the question of whether each non-invertible element of $M$ can be written as a sum of irreducible elements (that is, $M$ is atomic) is surprisingly difficult. Although various techniques have been developed over the past few years to identify subclasses of Puiseux monoids that are atomic, no general characterization of such monoids is known. Here we survey some of the most relevant aspects related to the atomicity of Puiseux monoids. We provide characterizations of when $M$ is finite…
If $M$ is an atomic monoid and $x$ is a nonzero non-unit element of $M$, then the set of lengths $\mathsf{L}(x)$ of $x$ is the set of all possible lengths of factorizations of $x$, where the length of a factorization is the number of irreducible factors (counting repetitions). In a recent paper, F. Gotti and C. O'Neil studied the sets of elasticities $\mathcal{R}(P) := \{\sup \mathsf{L}(x)/\inf \mathsf{L}(x) : x \in P\}$ of Puiseux monoids $P$. Here we take this study a step forward and explore the local $k$-elasticities of the same class of monoids. We find conditions under which Puiseux mono…
We study some of the factorization invariants of the class of Puiseux monoids generated by geometric sequences, and we compare and contrast them with the known results for numerical monoids generated by arithmetic sequences. The class we study consists of all atomic monoids of the form $S_r := \langle r^n \mid n \in \mathbb{N}_0 \rangle,$ where $r$ is a positive rational. As the atomic monoids $S_r$ are nicely generated, we are able to give detailed descriptions of many of their factorization invariants. One distinguishing characteristic of $S_r$ is that all its sets of lengths are arithmetic …
Exponential Puiseux semirings are additive submonoids of $\qq_{\geq 0}$ generated by almost all of the nonnegative powers of a positive rational number, and they are natural generalizations of rational cyclic semirings. In this paper, we investigate some of the factorization invariants of exponential Puiseux semirings and briefly explore the connections of these properties with semigroup-theoretical invariants. Specifically, we prove that sets of lengths of atomic exponential Puiseux semirings are almost arithmetic progressions with a common bound, while unions of sets of lengths are arithmeti…
An additive submonoid of the nonnegative cone of the real line is called a positive monoid. Positive monoids consisting of rational numbers (also known as Puiseux monoids) have been the subject of several recent papers. Moreover, those generated by a geometric sequence have also received a great deal of recent attention. Our purpose is to survey many of the recent advances regarding positive monoids, and we provide numerous examples to illustrate the complexity of their atomic and arithmetic structures.
In this paper, a semigroup algebra consisting of polynomial expressions with coefficients in a field $F$ and exponents in an additive submonoid $M$ of $\mathbb{Q}_{\ge 0}$ is called a Puiseux algebra and denoted by $F[M]$. Here we study the atomic structure of Puiseux algebras. To begin with, we answer the Isomorphism Problem for the class of Puiseux algebras, that is, we show that for a field $F$ if two Puiseux algebras $F[M_1]$ and $F[M_2]$ are isomorphic, then the monoids $M_1$ and $M_2$ must be isomorphic. Then we construct three classes of Puiseux algebras satisfying the following well-kn…
The following problem is treated: Characterizing the tangent cone and the equimultiple locus of a Puiseux surface (that is, an algebroid embedded surface admitting an equation whose roots are Puiseux power series), using a set of exponents appearing in a root of an equation. The aim is knowing to which extent the well--known results for the quasi--ordinary case can be extended to this much wider family.
For a commutative cancellative monoid $M$, we introduce the notion of the length density of both a nonunit $x\in M$, denoted $\mathrm{LD}(x)$, and the entire monoid $M$, denoted $\mathrm{LD}(M)$. This invariant is related to three widely studied invariants in the theory of non-unit factorizations, $L(x)$, $\ell(x)$, and $ρ(x)$. We consider some general properties of $\mathrm{LD}(x)$ and $\mathrm{LD}(M)$ and give a wide variety of examples using numerical semigroups, Puiseux monoids, and Krull monoids. While we give an example of a monoid $M$ with irrational length density, we show that if $M$ …
In this paper we characterize the value set $Δ$ of the $R$-modules of the form $R+zR$ for the local ring $R$ associated to a germ $ξ$ of an irreducible plane curve singularity with one Puiseux pair. In the particular case of the module of Kähler differentials attached to $ξ$, we recover some results of Delorme. From our characterization of $Δ$ we introduce a proper subset of semimodules over the value semigroup of the ring $R$. Moreover, we provide a geometric algorithm to construct all possible semimodules in this subset for a given value semigroup.
If $\mathbb{F}$ is an ordered field and $M$ is a finite-rank torsion-free monoid, then one can embed $M$ into a finite-dimensional vector space over $\mathbb{F}$ via the inclusion $M \hookrightarrow \text{gp}(M) \hookrightarrow \mathbb{F} \otimes_{\mathbb{Z}} \text{gp}(M)$, where $\text{gp}(M)$ is the Grothendieck group of $M$. Let $\mathcal{C}$ be the class consisting of all monoids (up to isomorphism) that can be embedded into a finite-rank free commutative monoid. Here we investigate how the atomic structure and arithmetic properties of a monoid $M$ in $\mathcal{C}$ are connected to the com…
We study the lattice of divisor-closed submonoids of finitely generated cancellative commutative monoids. In case the monoid is an affine semigroup, we give a geometrical characterization of such submonoids in terms of its cone. Finally, we use our results to give an algorithm for computing $Δ^*(H)$ the set of minimal distance of $H$.
Let $\{a_1,\dots,a_p\}$ be the minimal generating set of a numerical monoid $S$. For any $s\in S$, its Delta set is defined by $Δ(s)=\{l_{i}-l_{i-1}|i=2,\dots,k\}$ where $\{l_1<\dots<l_k\}$ is the set $\{\sum_{i=1}^px_i\,|\, s=\sum_{i=1}^px_ia_i \textrm{ and } x_i\in \N \textrm{ for all }i\}.$ The Delta set of $S$, denoted by $Δ(S)$, is the union of all the sets $Δ(s)$ with $s\in S.$ As proved in [S.T. Chapman, R. Hoyer, and N. Kaplan. Delta sets of numerical monoids are eventually periodic. Aequationes Math. 77 (2009), no. 3, 273--279], there exists a bound $N$ such that $Δ(S)$ is the union o…
We give a geometric description of the set of holes in a non-normal affine monoid $Q$. The set of holes turns out to be related to the non-trivial graded components of the local cohomology of $k[Q]$. From this, we see how various properties of $k[Q]$ like local normality and Serre's conditions $(R_1)$ and $(S_2)$ are encoded in the geometry of the holes. A combinatorial upper bound for the depth the monoid algebra $k[Q]$ is obtained and some cases where equality holds are identified. We apply this results to seminormal affine monoids.
