Related papers: On maximal common divisors in Puiseux monoids

If $s$ is a positive integer and $A$ is a set of positive integers, we say that $B$ is an $s$-divisor of $A$ if $\sum_{b\in B} b\mid s\sum_{a\in A} a$. We study the maximal number of $k$-subsets of an $n$-element set that can be…

We introduce several classes of monoids satisfying up to five axioms and establish basic theories on their arithmetics. The one satisfying all the axioms is named natural monoid. Two typical examples are 1) the monoid $\mathbb{N}$ of…

We study maximal subsemigroups of the monoid T(X) of all full transformations on the set X=N of natural numbers containing a given subsemigroup W of T(X) where each element of a given set $U$ is a generator of T(X) modulo W. This note…

Let $(R, \mathfrak{m})$ be a commutative Noetherian local ring with total quotient ring $K$. An $R$-module $M$ is called simple divisible, if $M$ is divisible $\neq 0$, but every proper submodule $0 \neq U \subsetneqq M$ is not divisible.…

Divisibility monoids (resp. Garside monoids) are a natural algebraic generalization of Mazurkiewicz trace monoids (resp. spherical Artin monoids), namely monoids in which the distributivity of the underlying lattices (resp. the existence of…

Let $R$ be a commutative Noetherian ring of dimension $d$ and $M$ a commutative cancellative torsion-free seminormal monoid. Then (1) Let $A$ be a ring of type $R[d,m,n]$ and $P$ be a projective $A[M]$-module of rank $r \geq max\{2,d+1\}$.…

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…

Let $R$ be a commutative Noetherian ring of dimension $d$, $M$ a commutative cancellative torsion-free monoid of rank $r$ and $P$ a finitely generated projective $R[M]$-module of rank $t$. $(1)$ Assume $M$ is $\Phi$-simplicial seminormal.…

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…

The category of all monads over many-sorted sets (and over other "set-like" categories) is proved to have coequalizers and strong cointersections. And a general diagram has a colimit whenever all the monads involved preserve monomorphisms…

We consider a Cartier divisor L on a d-dimensional complex projective variety X. It is well-known that the dimensions of the cohomomology groups H^i(X,O_X(mL)) grow at most like m^d, and it is natural to ask when one of these actually has…

A (not necessarily commutative) Krull monoid---as introduced by Wauters---is defined as a completely integrally closed monoid satisfying the ascending chain condition on divisorial two-sided ideals. We study the structure of these Krull…

Let $A, B \subseteq \mathbb{N}$ be two finite sets of natural numbers. We say that $B$ is an additive divisor for $A$ if there exists some $C \subseteq \mathbb{N}$ with $A = B+C$. We prove that among those subsets of $\{0, 1, \ldots, k\}$…

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…

In this note we prove the following fact: if finite many elements $p_1,p_2,...,p_n$ of a unique factorization domain are given such that the greatest common divisor of each pair $(p_i,p_j)$ can be expressed as a linear combination of $p_i$…

In this article, we introduce the notion of regular fusible modules. Let $R$ be a ring with an identity and $M$ an $R$-module. An element $0\neq m\in M$ is said to be regular fusible if there exists $r\in R$, a non zero-divisor of $M$, such…

Maximality of a contractive tuple of operators is considered. Characterization of a contractive tuple to be maximal is obtained. Notion of maximality of a submodule of Drury-Arveson module on the $d$-dimensional unit ball $\mathbb{B}_d$ is…

The divisor sequence of an irreducible element (\textit{atom}) $a$ of a reduced monoid $H$ is the sequence $(s_n)_{n\in \mathbb{N}}$ where, for each positive integer $n$, $s_n$ denotes the number of distinct irreducible divisors of $a^n$.…

We report on some statistical regularity properties of greatest common divisors: for large random samples of integers, the number of coprime pairs and the average of the gcd's of those pairs are approximately normal, while the maximum of…

A commutative cancellative monoid is atomic if every non-invertible element factors into irreducibles (also called atoms), while an integral domain is atomic if its multiplicative monoid is atomic. Back in the eighties, Gilmer posed the…