The conjecture on finitely generated multiplicatively divisible commutative semirings
Multiplicative idempotence conjecture. If SSS is multiplicatively divisible, then SSS is multiplicatively idempotent.