Torsion–almost-divisibility conjecture for finitely generated commutative semirings
Torsion–almost-divisibility conjecture. The semigroup S(+)S(+)S(+) is torsion if and only if S(+)S(+)S(+) is almost-divisible.