Zusammenfassung
A supertropical monoid is a monoid U together with a projection onto a totally ordered submonoid eU (where e is an element of U is idempotent). Supertropical monoids are slightly more general than the supertropical semirings that were introduced and used by the first and the third authors for refinements of tropical geometry and matrix theory, and then studied systematically by the authors in ...
Zusammenfassung
A supertropical monoid is a monoid U together with a projection onto a totally ordered submonoid eU (where e is an element of U is idempotent). Supertropical monoids are slightly more general than the supertropical semirings that were introduced and used by the first and the third authors for refinements of tropical geometry and matrix theory, and then studied systematically by the authors in connection with "supervaluations", and they permit a finer investigation of the supertropical theory. In the present paper we extend our earlier study of the category STROP of supertropical semirings to a category STROPm of supertropical monoids whose morphisms are "transmissions", defined analogously as for supertropical semirings. Moreover, there is associated to every supertropical monoid V a canonical supertropical semiring (V) over cap. A central problem in Izhakian et al. (2011) [8-10] has been to find the quotient U/E of a supertropical semiring U by a "TE-relation", which is a certain kind of congruence. This quotient always exists in STROP., and is the natural quotient in STROP in case U/E happens to be a supertropical semiring. Otherwise, analyzing (U/E)(boolean AND), we obtain a mild modification of E to a TE-relation E' such that U/E' = (U/E)(boolean AND) in STROP. In this way we now can solve problems about universality in the category STROP that were left open in our earlier work, and gain further insight into the structure of transmissions and supervaluations which leads to new results on totally ordered supervaluations and monotone transmissions. (C) 2013 Elsevier B.V. All rights reserved.
Altmetric