Abstract
The graph of an algebra A is the relational structure G(A) in which the relations are the graphs of the basic operations of A. Let denote by Open image in new window the class of all graphs of algebras from a class Open image in new window. We prove that if Open image in new window is a class of semigroups possessing a nontrivial member with a neutral element, then Open image in new window does not have finite quasi-equational basis. We deduce that, for a class Open image in new window of monoids or groups with a nontrivial member, Open image in new window also does not have finite quasi-equational basis.
Full Text
Published Version (
Free)
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call