The lattice of idempotent distributive semiring varieties

F. Pastijn,Yuqi Guo
DOI: https://doi.org/10.1007/BF02884266
1999-01-01
Abstract:A solution is given for the word problem for free idempotent distributive semirings. Using this solution the lattice L (ID) of subvarieties of the variety ID of idempotent distributive semirings is determined. It turns out that L (ID) is isomorphic to the direct product of a four-element lattice and a lattice which is itself a subdirect product of four copies of the lattice L (B) of all band varieties. Therefore L (ID) is countably infinite and distributive. Every subvariety of ID is finitely based.
What problem does this paper attempt to address?