{"id":"arxiv/2610.40688","url":"https://arxiv.org/abs/2610.40688","tags":["math.AC"],"score":0,"title":"The Bi-LF Positive Conjecture Holds","domain":"math.AC","source":"arxiv","authors":["Felix Gotti","Omar Graia","Neil Panse"],"reviews":0,"subject":"math.AC","summary":"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.…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-27","reactions":{}}