The Bi-UFS Positive Conjecture for algebraic semidomains

Aaditya Bilakanti, Marly Gotti, Amrit Kandasamy, Hengrui Liang, Jonathan Liu, Harold Polo, Jason Yang, Alan Yao

arXivarxiv/2607.22941Jul 24, 2026math.ACscore 0

A semidomain is called bi-UFS if both its additive monoid and its nonzero multiplicative monoid are unique factorization monoids. The Bi-UFS Positive Conjecture predicts that the only positive semidomain with this property is the nonnegative integers. We prove this conjecture for finitely generated algebraic positive semidomains. In the cyclic case, we show that for every positive algebraic number $α$, the semidomain $\mathbb{N}_0[α]$ is bi-UFS if and only if $α\in \mathbb{N}$, equivalently $\mathbb{N}_0[α]=\mathbb{N}_0$. The proof separates the quadratic case, where an analysis of the least…

SourceJSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2607.22941
curl -X POST /api/v1/records/arxiv/2607.22941/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.22941/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'