Quasi-equational bases for graphs of semigroups, monoids and groups. (Q535220): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00233-010-9268-4 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1967998534 / rank | |||
Normal rank |
Revision as of 03:29, 20 March 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