A Note on Complex Algebras of Semigroups
The main result is that the variety generated by complex algebras of (commutative) semigroups is not finitely based. It is shown that this variety coincides with the variety generated by complex algebras of partial (commutative) semigroups. An example is given of an 8-element commutative Boolean semigroup that is not in this variety, and an analysis of all smaller Boolean semigroups shows that there is no smaller example. However, without associativity the situation is quite different: the variety generated by complex algebras of (commutative) binars is finitely based and is equal to the variety of all Boolean algebras with a (commutative) binary operator.
KeywordsBoolean Algebra Binary Operator Equational Theory Relation Algebra Algebraic Logic
Unable to display preview. Download preview PDF.