Quasi-equational bases for graphs of semigroups, monoids and groups.

DOI10.1007/S00233-010-9268-4MaRDI QIDQ535220zbMATH OpenOpenAlexFDO

Authors Michał M. Stronkowski

Publication date 11 May 2011

Published in Semigroup Forum (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

Full work available at URL https://doi.org/10.1007/s00233-010-9268-4

zbMATH Keywords

finite axiomatizabilityfinite quasi-equational basesgraphs of semigroupsquasivarieties of relational structures

Mathematics Subject Classification ID

Graphs and abstract algebra (groups, rings, fields, etc.) (05C25) Quasivarieties (08C15) Varieties and pseudovarieties of semigroups (20M07)

Review text

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.

Recommendations

• Some properties of semigroup graph algebras
• scientific article; zbMATH DE number 4006305
• scientific article; zbMATH DE number 4023359
• Graph varieties containing Murskii's groupoid
• Graph quasivarieties

Cites work

• 2-element matrices
• A proof of Lyndon's finite basis theorem
• Dualities for Constraint Satisfaction Problems
• Finitely axiomatizable quasivarieties of graphs
• Homomorphism preservation theorems
• scientific article; zbMATH DE number 139647 (Why is no real title available?)
• scientific article; zbMATH DE number 1226187 (Why is no real title available?)
• scientific article; zbMATH DE number 3093420 (Why is no real title available?)
• Identities in Two-Valued Calculi
• On classes of relations and graphs determined by subobjects and factorobjects
• On digraph coloring problems and treewidth duality
• Primitive positive formulas preventing a finite basis of quasi-equations
• Quasiidentities of two-element algebras
• Relatively inherently nonfinitely q-based semigroups
• The Number of Semigroups of Order n

Cited in

(6)

• Axiomatizations of universal classes through infinitary logic
• Quasivarieties of graphs
• Constraint satisfaction, irredundant axiomatisability and continuous colouring
• Boolean topological graphs of semigroups: the lack of first-order axiomatization
• Finite bases for flat graph algebras
• Flexible constraint satisfiability and a problem in semigroup theory

This page was built for publication: Quasi-equational bases for graphs of semigroups, monoids and groups.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q535220)