Open AccessDomain Semirings United
Author(s) -
Uli Fahrenberg,
Christian Johansen,
Georg Struth,
Krzysztof Ziemiański
Publication year - 2022
Publication title -
acta cybernetica
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.143
H-Index - 18
eISSN - 2676-993X
pISSN - 0324-721X
DOI - 10.14232/actacyb.291111
Subject(s) - semiring , idempotence , multiplicative function , bounded function , subalgebra , mathematics , domain (mathematical analysis) , distributive property , distributive lattice , kleene algebra , discrete mathematics , pure mathematics , algebra over a field , mathematical analysis
Domain operations on semirings have been axiomatised in two different ways: by a map from an additively idempotent semiring into a boolean subalgebra of the semiring bounded by the additive and multiplicative unit of the semiring, or by an endofunction on a semiring that induces a distributive lattice bounded by the two units as its image. This note presents classes of semirings where these approaches coincide.