ACCP conjecture for cyclic Puiseux monoids

Let rQ>0r\in\mathbb{Q}_{>0}, and let SrS_r^\bullet denote the cyclic Puiseux monoid associated to rr. Write n(r)\mathsf{n}(r) and d(r)\mathsf{d}(r) for the numerator and denominator of rr in lowest terms. A commutative monoid satisfies the ascending chain condition on principal ideals (ACCP) if every ascending chain of principal ideals eventually stabilizes.

ACCP conjecture. If

rQ>0,n(r)>1,d(r)>1,r\in\mathbb{Q}_{>0},\qquad \mathsf{n}(r)>1,\qquad \mathsf{d}(r)>1,

then (Sr,)(S_r^\bullet,\cdot) satisfies the ACCP.

This conjecture would imply that (Sr,)(S_r^\bullet,\cdot) is atomic in the setting discussed immediately before the conjecture, even when d(r)\mathsf{d}(r) is not prime. The supplied text does not indicate whether the conjecture has been resolved.

Sources & referencesView supporting material

Primary source

Nicholas R. Baeth and Felix Gotti, “Factorizations in upper triangular matrices over information semialgebras”, arXiv:2002.09828 (2020).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.