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.
展开▼