Decidability of elementary theories of lattices of subsemigroups (Q920966): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q5626645 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5602151 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3848243 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Varieties of groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3856954 / rank | |||
Normal rank |
Latest revision as of 10:21, 21 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Decidability of elementary theories of lattices of subsemigroups |
scientific article |
Statements
Decidability of elementary theories of lattices of subsemigroups (English)
0 references
1990
0 references
Let \({\mathcal E}\) be an elementary language, Sub be the operator of taking the lattices of subsemigroups. The variety of semigroups \({\mathcal M}\) is said to be \({\mathcal E} Sub\)-solvable if the elementary theory \({\mathcal E} Sub {\mathcal M}\) of the class Sub \({\mathcal M}=\{Sub A|\) \(A\in {\mathcal M}\}\) is solvable. The main result of the paper is: Theorem. The variety of semigroups \({\mathcal M}\) is \({\mathcal E} Sub\)-solvable iff \({\mathcal M}\subset [xyz=xz]\) or \({\mathcal M}\subseteq [xyz=x]\) \([x^ ny=y\), \(xy=yx]\) for some \(n\geq 1\).
0 references
solvability
0 references
lattices of subsemigroups
0 references
variety of semigroups
0 references