(With Hilbert's Basis Theorem in mind.)

Is it true that every finitely presented commutative semi-ring with unit is a finite direct product of directly indecomposable factors?

  • $\begingroup$ How do you define a finitely presented semiring? $\endgroup$ – rschwieb May 28 at 17:40
  • $\begingroup$ @rschwieb: A semiring is f.p. if it is the quotient of a finitely generated free semiring by a finitely generated congruence. Maybe `finitely presentable' is better? Anyway, it should be correct analogue of the ring case. $\endgroup$ – Boogie May 28 at 17:57
  • $\begingroup$ How nice is the theory of idempotents for semirings? It looks like the main character $1-e$ gets dealt a blow since we don't have additive inverses... $\endgroup$ – rschwieb May 28 at 18:04
  • $\begingroup$ @rschwieb A pair of elements $x, y$ such that ${x + y = 1}$ and ${x y = 0}$ certainly determines a direct product decomposition. But I think more is required to answer the question. And I would have guessed that the answer is known, but I have not found it in the web. $\endgroup$ – Boogie May 28 at 18:13

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.