The Bi-LF Positive Conjecture Holds

Abstract

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. In the additively reduced case, a uniform multiplier for lattice points in a finitely generated cone yields cancellation of divisibility across sums, which leads to an obstruction to additive atoms dividing positive integers and completes the structural argument. We also consider related questions on quasi-factoriality and classify the rational and transcendental monogenic positive semirings whose multiplicative monoids are quasi-n-factorial for a prescribed integer n ≥ 2.

The lonely runner conjecture holds for eight runners
Matthieu Rosenfeld
Mathematics of Computation13 May 2026Peer-reviewedLicence not statedFull text20 citedAlgebra & number theoryOpenAlex
The Eaton--Moretó Conjecture Holds True for p-Solvable Groups
Yanjun Liu, Lizhong Wang, Jiping Zhang +1
arXiv1 Sep 2026PreprintCC BY 4.0Full textAlgebra & number theoryarXiv
The Borovik-Cherlin conjecture holds in ACF
Ulla Karhumäki, Nicholas Ramsey
arXiv2 Sep 2026PreprintarXiv licenceFull textAlgebra & number theory Logic & foundationsarXiv
Sendov's conjecture holds for every degree n≥ 10²⁰⁰⁰⁰⁰
Teng Zhang
arXiv1 Sep 2026PreprintarXiv licenceFull textAnalysis & PDEsarXiv
Watkins's conjecture holds for all infinite groups
Alex J. Sutherland
arXiv19 Oct 2026PreprintarXiv licenceFull textAlgebra & number theory Combinatorics & discrete mathematicsarXiv

Cite

BibTeX RIS

BibTeX

@misc{gotti2026bilf,
  title = {{The Bi-LF Positive Conjecture Holds}},
  author = {Felix Gotti and Omar Graia and Neil Panse},
  howpublished = {arXiv},
  year = {2026},
  month = oct,
  doi = {10.48550/arxiv.2610.40688},
  eprint = {2610.40688},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2610.40688},
}

RIS

TY  - UNPB
TI  - The Bi-LF Positive Conjecture Holds
AU  - Felix Gotti
AU  - Omar Graia
AU  - Neil Panse
PY  - 2026
DA  - 2026/10/27
PB  - arXiv
DO  - 10.48550/arxiv.2610.40688
UR  - https://arxiv.org/abs/2610.40688
AB  - 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. In the additively reduced case, a uniform multiplier for lattice points in a finitely generated cone yields cancellation of divisibility across sums, which leads to an obstruction to additive atoms dividing positive integers and completes the structural argument. We also consider related questions on quasi-factoriality and classify the rational and transcendental monogenic positive semirings whose multiplicative monoids are quasi-n-factorial for a prescribed integer n ≥ 2.
ER  -

Abstract

Related

Cite