1: \begin{abstract}

2: We exhibit a finite basis  $\mathcal{M}$  for a certain variety $\mathbf{V}$  of medial

3: groupoids.  The set  $\mathcal{M}$ consists of the medial law

4: $(xy)(zt)=(xz)(yt)$  and

5: five other identities involving four variables.  The

6: variety $\mathbf{V}$ is generated by the four groupoids  $\pm x\pm y$  on the

7: integers.  Since $\mathbf{V}$ is a very natural variety, proving it to be

8: finitely based should be of interest.

9: 

10: In an earlier paper, we made a conjecture which implies that $\mathbf{V}$

11: is finitely based.  In this paper, we show that $\mathbf{V}$ is finitely based

12: by proving that  $\mathcal{M}$  is a basis.  Based on our proof,

13: we think that our conjecture will be difficult to prove.

14: 

15: As we explain in the paper, the variety  $\mathbf{V}$  corresponds to the

16: Klein $4$-group.  We use this group to show that  $\mathbf{V}$  has a basis

17: consisting of interchange laws.  (We define ``interchange law''  in

18: the introduction.)  We give more examples of finite groups where

19: such a basis exists for the corresponding groupoid variety.  We

20: also give examples of finite groups where such a basis is

21: impossible.  The second case is a further challenge to anyone

22: who tries to prove our conjecture.

23: 

24: We used four medial groupoids to define $\mathbf{V}$.  We also present a

25: finite basis for the variety generated by any proper subset of

26: these four groupoids.  In an earlier paper with R.~Padmanabhan,

27: we gave the corresponding finite bases when the constant zero

28: is allowed.

29: \end{abstract}

30: