A classification of tetravalent one-regular graphs of order 3p²
A graph is one-regular if its automorphism group acts regularly on the set of its arcs. In this paper, tetravalent one-regular graphs of order 3p², where p is a prime, are classified.
A graph is one-regular if its automorphism group acts regularly on the set of its arcs. In this paper, tetravalent one-regular graphs of order 3p², where p is a prime, are classified.
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.