Zusammenfassung
This article is a sequel of [4], where we defined supervaluations on a commutative semiring R and studied a dominance relation between supervaluations and on R, aiming at an enrichment of the algebraic tool box for use in tropical geometry. A supervaluation phi: RU is a multiplicative map from R to a supertropical semiring U, cf. [4], [7], [8], [5], [9], with further properties, which mean that ...
Zusammenfassung
This article is a sequel of [4], where we defined supervaluations on a commutative semiring R and studied a dominance relation between supervaluations and on R, aiming at an enrichment of the algebraic tool box for use in tropical geometry. A supervaluation phi: RU is a multiplicative map from R to a supertropical semiring U, cf. [4], [7], [8], [5], [9], with further properties, which mean that phi is a sort of refinement, or covering, of an m-valuation (= monoid valuation) v: RM. In the most important case, that R is a ring, m-valuations constitute a mild generalization of valuations in the sense of Bourbaki [1], while phi means that : RV is a sort of coarsening of the supervaluation phi. If phi(R) generates the semiring U, then phi iff there exists a transmission : UV with =o phi. Transmissions are multiplicative maps with further properties, cf. [4, Section 5]. Every semiring homomorphism : UV is a transmission, but there are others which lack additivity, and this causes a major difficulty. In the main body of the article we study surjective transmissions via equivalence relations on supertropical semirings. We put special emphasis on homomorphic equivalence relations. Even those are often much more complicated than congruences by ideals in usual commutative algebra.