Bases of identities of varieties of lattice ordered semigroups (Q795072)
From MaRDI portal
![]() | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Bases of identities of varieties of lattice ordered semigroups |
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Bases of identities of varieties of lattice ordered semigroups |
scientific article |
Statements
Bases of identities of varieties of lattice ordered semigroups (English)
0 references
1983
0 references
The author calls a lattice ordered semigroup S a dld-semigroup, if S is distributive as a lattice and satisfies the identities \(x(y\wedge z)=(xy)\wedge(xz),\quad(x\wedge y)z=(xz)\wedge(yz).\) The following result is proved. The variety generated by any nontrivial commutative cancellative dld-semigroup is not finitely based. Also, an equational base for the variety generated by an infinite cyclic group and for the variety generated by an infinite cyclic semigroup (both ordered naturally) is found.
0 references
lattice ordered semigroup
0 references
variety
0 references
commutative cancellative dld- semigroup
0 references
equational base
0 references