Varieties of idempotent semirings with commutative addition. (Q2577769): Difference between revisions
From MaRDI portal
Changed an Item |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00012-005-1947-8 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2089086774 / rank | |||
Normal rank |
Latest revision as of 22:29, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Varieties of idempotent semirings with commutative addition. |
scientific article |
Statements
Varieties of idempotent semirings with commutative addition. (English)
0 references
6 January 2006
0 references
Let \(\mathbf B\) be the variety of all bands, \(\mathbf{RB}\) the subvariety of all regular bands, and \({\mathbf S}\ell\) the subvariety of all semilattices. A semiring \((S,+,\cdot)\) is called idempotent, if \((S,+)\) and \((S,\cdot)\) belong to \(\mathbf B\). For any subvariety \(\mathbf V\) of \(\mathbf B\), denote by \({\mathbf V}^+\) the variety of all idempotent semirings \((S,+,\cdot)\) such that \((S,+)\in{\mathbf V}\), and likewise for \({\mathbf V}^\cdot\). In the paper the lattice \({\mathbf L}({\mathbf S}\ell^+)\) of subvarieties of \({\mathbf S}\ell^+\) is investigated. For any \(F\in{\mathbf B}\), a semiring \(\overline P_f(F)\in{\mathbf S}\ell^+\) is constructed which yields a free semiring \(\overline P_f(F{\mathbf B}_X)\in{\mathbf S}\ell^+\) on the set \(X\) if \(F{\mathbf B}_X\) denotes the free band on \(X\). As a first step, \((S,\cdot)\in\mathbf{RB}\) is shown for every semiring \((S,+,\cdot)\in{\mathbf S}\ell^+\), i.e. \({\mathbf S}\ell^+=\mathbf{RB}^\cdot\cap{\mathbf S}\ell^+\). A further investigation of \(\overline P_f(F)\in{\mathbf S}\ell^+\) for \(F\in\mathbf{RB}\) yields that the mapping \({\mathbf L}(\mathbf{RB})\to{\mathbf L}({\mathbf S}\ell^+)\) given by \({\mathbf V}\mapsto{\mathbf V}^\cdot\cap{\mathbf S}\ell^+\) for any subvariety \(\mathbf V\) of \(\mathbf{RB}\) is an injective \(\cap\)-homomorphism. Therefore there are exactly 13 subvarieties of \({\mathbf S}\ell^+\) in the image of this \(\cap\)-homomorphism. As the main result it is shown that these 13 subvarieties generate a sublattice of \({\mathbf L}({\mathbf S}\ell^+)\) consisting of 20 subvarieties. Moreover, models of free semirings in these 20 varieties are given.
0 references
varieties of semirings
0 references
idempotent semirings
0 references
additively commutative semirings
0 references
regular bands
0 references
varieties of semilattices
0 references
lattices of varieties
0 references
free semirings
0 references