The lattice of idempotent distributive semiring varieties (Q1962476)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The lattice of idempotent distributive semiring varieties |
scientific article |
Statements
The lattice of idempotent distributive semiring varieties (English)
0 references
9 August 2000
0 references
A semiring \((S,+,\cdot)\) is an algebra with two binary operations \(+\) and \(\cdot\) such that the reducts \((S,+)\) and \((S,\cdot)\) are semigroups and in which the two distributive laws \(x(y+z)=xy+xz\), \((y+z)x=yx+zx\) are satisfied. A band is a semigroup in which every element is an idempotent. An idempotent semiring is a semiring where both the additive reduct and multiplicative reduct are bands. A distributive semiring is a semiring which satisfies the dual two distributive laws \(x+yz=(x+y)(x+z)\), \(yz+x=(y+x)(z+x)\). In the present paper, the variety \(ID\) of all idempotent distributive semirings is investigated. A solution is given for the word problem for free idempotent distributive semirings. Using this solution the lattice \(L(ID)\) of subvarieties of \(ID\) is determined. It turns out \(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. In the semigroup theory, it is well-known that \(L(B)\) is countable infinite and distributive. Therefore \(L(ID)\) is countable infinite and distributive. Using the known semigroup fact about finite bases of any band variety, it is proved that every subvariety of \(ID\) is finitely based.
0 references
varieties of semirings
0 references
idempotent semirings
0 references
distributive semirings
0 references
bands
0 references
word problems
0 references
free idempotent distributive semirings
0 references
lattices of varieties
0 references
finitely based varieties
0 references