ACCP conjecture for cyclic Puiseux monoids

About 6 years old · traced to

Let r∈Q>0r\in\mathbb{Q}_{>0}, and let Sr∙S_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

r∈Q>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.

References

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.