On Square-Increasing Ordered Monoids and Idempotent Semirings

0473662 - ÚI 2018 RIV US eng J - Článek v odborném periodiku
Horčík, Rostislav
On Square-Increasing Ordered Monoids and Idempotent Semirings.
Semigroup Forum. Roč. 94, č. 2 (2017), s. 297-313. ISSN 0037-1912. E-ISSN 1432-2137
Grant CEP: GA ČR GAP202/11/1632
Institucionální podpora: RVO:67985807
Klíčová slova: idempotent semiring * ordered monoid * universal theory * finite embeddability property * decidability
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.492, rok: 2017

Let V be the variety of square-increasing idempotent semirings. Its members can be viewed as semilattice-ordered monoids satisfying x <= x^2. We show that the universal theory of V is decidable. In order to prove this result, we investigate the class Q whose members are ordered-monoid subreducts of members from V. In particular, we prove that finitely generated members from Q are well-partially-ordered and residually finite.
Trvalý link: http://hdl.handle.net/11104/0270794