On the varieties generated by ai-semirings of order two. (Q896240)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the varieties generated by ai-semirings of order two. |
scientific article |
Statements
On the varieties generated by ai-semirings of order two. (English)
0 references
9 December 2015
0 references
There are six non-isomorphic semirings of order two with idempotent addition. The variety \(\mathbf S_{\mathbf 2}\) generated by these semirings is finitely based by the identities \(xyzt\sim xzyt\), \((xy)^2\sim xy\) and \(x+yz\sim x+yz+xz+yx\). The authors show that the lattice \(L(\mathbf S_{\mathbf 2})\) of all subvarieties of \(\mathbf S_{\mathbf 2}\) is a Boolean algebra of order \(2^6\) and present a finite identity basis for each subvariety. This means that \(\mathbf S_{\mathbf 2}\) is hereditarily finitely based.
0 references
varieties of semirings
0 references
additively idempotent semirings
0 references
bases of identities
0 references
hereditarily finitely based varieties
0 references
lattices of varieties
0 references