ABSTRACT

In [2] it is noted that current computing power may be inadequate to answer some basic questions about a three-element algebra, e.g., does it generate a Mal’cev variety? or a congruence distributive variety? With this challenge in mind a study of all three-element groupoids was undertaken.