Abstract In this paper we study the relationship between ideals and congruences of the tropical polynomial and Laurent polynomial semirings. We show that the variety of a non-zero prime ideal of the tropical (Laurent) polynomial semiring consists of at most one point. We also prove a result relating the dimension of an affine tropical variety and the dimension of its “coordinate semiring”.
Joó et al. (Fri,) studied this question.