Quasi-equational bases for graphs of semigroups, monoids and groups. (Q535220): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q1372639 |
||
Property / reviewed by | |||
Property / reviewed by: Leonid Matveevich Martynov / rank | |||
Revision as of 17:13, 28 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Quasi-equational bases for graphs of semigroups, monoids and groups. |
scientific article |
Statements
Quasi-equational bases for graphs of semigroups, monoids and groups. (English)
0 references
11 May 2011
0 references
The graph of an algebra \(\mathbf A\) is the relational structure \(G(\mathbf A)\) in which the relations are the graphs of the basic operations of \(\mathbf A\). Denote by \(G(\mathcal K)\) the class of all graphs of algebras from a class \(\mathcal K\). The author proves that if \(\mathcal K\) is a class of semigroups possessing a nontrivial member with a neutral element, then \(G(\mathcal K)\) does not have finite quasi-equational bases. As a corollary of this result, a similar result for a nontrivial class \(\mathcal K\) of monoids or groups is received. For contrast the author marks, that if \(\mathcal K\) is a nontrivial class of semigroups with zero multiplication, then the class \(G(\mathcal K)\) has a quasi-equational basis consisting of two quasi-identities.
0 references
graphs of semigroups
0 references
finite axiomatizability
0 references
finite quasi-equational bases
0 references
quasivarieties of relational structures
0 references