On the variety generated by partially ordered involuted semigroups of binary relations (Q2759824)
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: On the variety generated by partially ordered involuted semigroups of binary relations |
scientific article; zbMATH DE number 1683832
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the variety generated by partially ordered involuted semigroups of binary relations |
scientific article; zbMATH DE number 1683832 |
Statements
26 November 2002
0 references
partially ordered involuted semigroups of binary relations
0 references
varieties
0 references
0.90837353
0 references
0.9079971
0 references
0.9028622
0 references
0.9011344
0 references
On the variety generated by partially ordered involuted semigroups of binary relations (English)
0 references
Consider the class of partially ordered involuted semigroups of binary relations, where the order is the set-theoretical inclusion, involution is the conversion of relations, and multiplication is the relative multiplication. This class generates a variety \(V\) of algebraic systems. Let \(K\) be the class of all partially ordered involuted semigroups and \(K_0=V\cap K\). The main result of the paper is this: a partially ordered involuted semigroup belongs to \(V\) (and hence to \(K_0\)) if and only if it satisfies the identity \(x\leq xx^{-1}x\).NEWLINENEWLINEFor the entire collection see [Zbl 0970.00014].
0 references
