In this note it is shown that the closure condition, X1Y2 = X2Y1, X1Y4 = X2Y3, X3Y3 = X4Y1 --> X4Y2 = X3Y4, (and its dual) is equivalent to the Thomsen condition in quasigroups but not in general. Conditions are also given under which groupoids satisfying it are principal homotopes of cancellative, abelian semigroups, or abelian groups.
We present a short and self-contained proof of the extension property for partial isometries of the class of all finite metric spaces.
We report on a partial solution of the conjecture that the class of finite solvable groups can be characterised by 2-variable identities. The proof requires pieces from number theory, algebraic geometry, singularity theory and computer algebra. The computations were carried out using the computer algebra system SINGULAR.
In a previous paper, the authors studied the polynomial closure of a variety of languages and gave an algebraic counterpart, in terms of Mal’cev products, of this operation. They also formulated a conjecture about the algebraic counterpart of the boolean closure of the polynomial closure – this operation corresponds to passing to the upper level in any concatenation hierarchy. Although this conjecture is probably true in some particular cases, we give a counterexample in the general case. Another...