The lattice of idempotent distributive semiring varieties
暂无分享,去创建一个
A solution is given for the word problem for free idempotent distributive semirings. Using this solution the latticeL (ID) of subvarieties of the variety ID of idempotent distributive semirings is determined. It turns out thatL (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 latticeL(B) of all band varieties. ThereforeL(ID) is countably infinite and distributive. Every subvariety of ID is finitely based.
[1] Proofs of regular identities , 1981 .
[2] Mario Petrich,et al. Varieties of Bands Revisited , 1989 .
[3] Jerzy Płonka,et al. On a method of construction of abstract algebras , 1967 .
[4] R. McKenzie,et al. Algebras, Lattices, Varieties , 1988 .
[5] A. Clifford,et al. Lectures in semigroups , 1977 .
[6] F. Pastijn,et al. Idempotent distributive semirings II , 1983 .