Delphi.science

The Bi-LF Positive Conjecture Holds

Felix Gotti, Omar Graia, Neil Panse

arXivarxiv/2610.40688Oct 27, 2026math.ACscore 0

We prove that a semidomain has length-factorial additive and multiplicative monoids if and only if it is isomorphic to the semiring of nonnegative integers or is a unique factorization domain. Consequently, bi-length-factoriality and bi-factoriality coincide for all semidomains, settling the Bi-LF Positive Conjecture. The main step shows that additive length-factoriality and multiplicative factoriality force additive factoriality, without an additive reducedness assumption. Multiplicative factoriality forces every semidomain with a nonzero additive unit to be a unique factorization domain.…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

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