On maximal common divisors in Puiseux monoids

Abstract

Let $M$ be a commutative monoid. An element $d \in M$ is called a maximal common divisor of a nonempty subset $S$ of $M$ if $d$ is a common divisor of $S$ in $M$ and the only common divisors in $M$ of the set $\big\{ \frac{s}d : s \in S \big\}$ are the units of $M$. In this paper, we investigate the existence of maximal common divisors in rank-$1$ torsion-free commutative monoids, also known as Puiseux monoids. We also establish some connections between the existence of maximal common divisors and both atomicity and the ascending chain condition on principal ideals for the monoids we investigate here.

Theorems & Definitions (29)

• Definition 2.1
• Proposition 3.1
• proof
• Example 3.2
• Proposition 3.3
• proof
• Corollary 3.4
• Example 3.5
• Example 3.6
• Proposition 4.1